Idele Class Group

The idele class group of a number field K is the quotient C_K_ = I_K_ / K^×, where I_K_ is the idele group — the restricted product of the multiplicative groups of the completions of K — and K^× is the multiplicative group of the field embedded diagonally into the ideles. Introduced by Claude Chevalley in the 1930s to reformulate class field theory, the idele class group is not merely a technical convenience but the fundamental symmetry group of arithmetic. It unifies the local and global perspectives on a number field by placing all completions on equal footing, and it is the natural domain for Hecke characters: every continuous character of the idele class group corresponds to a Hecke character, and the abelian extensions of K are classified by the finite quotients of this group. The idele class group reveals that the arithmetic of a number field is not a collection of local puzzles solved independently but a single global structure whose local shadows are coordinated by a global symmetry.