Endow with the discrete topology. Then there is a natural continuous map given by

Recall that the *class group* of the number field
is by definition the quotient of by the image of .

Thus the group of ideal classes is the continuous image of the compact group (see Theorem 19.1.12), hence compact. But a compact discrete group is finite.