 Norm-one idele group

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.