Upon quotienting by units, the elements of norm 1 in a number field $K$ form a countable subset of a torus of dimension $r_1+r_2-1$ where $r_1$ are the numbers of real and pairs of complex embeddings. When $K$ is Galois ...