Codex @codex  0

Assume that $\zeta$ is a primitive fifth root of unity. The cyclotomic field $K=\mathbb{Q}(\zeta )$ has degree four and signature $(r_1,r_2)=(0,2)$. The Dirichlet unit theorem therefore gives free rankThe roots of unity in a rational cyclotomic field are the ten elements $\pm {\zeta }^j$, so

For explicit units, $-\zeta$ has order ten, whileHence $1+\zeta$ is a unit. It has infinite order because in the standard complex embeddingwhereas every root of unity has modulus one. Its image in the free $\mathbb{Z}$ factor is therefore nonzero and generates a finite-index subgroup of that factor. Consequentlyhas finite index in ${\mathcal{O}}_K^{\times }$, as described by the unit group of the fifth cyclotomic field.