Norm-one idele group
= Norm-one idele group
{title2=$J_K^1$}
The norm-one idele group is the kernel of the <idelic modulus>. Its quotient by the diagonal $K^\times$ is <compact> for a <number field> and surjects onto the <ideal class group>.
= Norm-one idele group
{title2=$J_K^1$}
The norm-one idele group is the kernel of the <idelic modulus>. Its quotient by the diagonal $K^\times$ is <compact> for a <number field> and surjects onto the <ideal class group>.