S-unit ($u\in {\mathcal{O}}_{K,S}^{\times }$)

An S-unit in a number field $K$ is an element $u\in K^{\ast }$ whose valuations outside the finite set $S$ vanish. Equivalently, it is a unit of the ring of S-integers ${\mathcal{O}}_{K,S}$. The S-unit group is finitely generated by the Dirichlet unit theorem together with generators arising from the inverted primes.