# Dirichlet’s unit theorem

\PMlinkescapephrase

occur in

Let $K$ be a number field, and let $\mathcal{O}_{K}$ be its ring of integers. Then

 $\mathcal{O}_{K}^{*}\cong\mu(K)\times\mathbb{Z}^{r+s-1}.$

Here $\mathcal{O}_{K}^{*}$ is the group of units of $\mathcal{O}_{K}$, $\mu(K)$ is the finite cyclic group of the roots of unity in $\mathcal{O}_{K}^{*}$, $r$ is the number of real embeddings $K\rightarrow\mathbb{R}$, and $2s$ is the number of non-real complex embeddings $K\rightarrow\mathbb{C}$ (which occur in complex conjugate pairs, so $s$ is an integer).

Title Dirichlet’s unit theorem DirichletsUnitTheorem 2013-03-22 13:22:42 2013-03-22 13:22:42 yark (2760) yark (2760) 10 yark (2760) Theorem msc 11R04 msc 11R27 Regulator