the unit group of AK but has a finer topology (using the restricted product topology ensures that a 7→ a−1 is continuous, which is not true of the subspace topology). As a topological group, IK is locally compact and Hausdorff. The multiplicative group K× is canonically embedded as a discrete subgroup of IK via the diagonal map x 7→ (x, x, x, . . .), and the idele class group is the quotient CK...