 Dirichlet's unit theorem

If a number field has $r$ real embeddings and $s$ conjugate pairs of complex embeddings, thenwhere $\mu (K)$ is the finite group of roots of unity in $K$.