Idele norm (source code)

= Idele norm
{title2=$N_{L/K}:\mathbb I_L\to\mathbb I_K$}

The $v$-component of the idele norm is $\prod_{w\mid v}N_{L_w/K_v}(x_w)$. It descends to an <idèle class group> norm $C_L\to C_K$.