Rosenlicht’s unit theorem

Dirichlet’s unit theorem describes the structure of the unit group of any order in a number field. Theorem 1.1 (Dirichlet, 1846). Let K be a number field with r1 real embeddings and 2r2 pairs of complex conjugate embeddings. The unit group of any order in K is finitel