Cyclotomic unit

In mathematics, a cyclotomic unit is a unit of an algebraic number field which is the product of numbers of the form for ζ an n^th root of unity and 0 < a < n.

Properties

The cyclotomic units form a subgroup of finite index in the group of units of a cyclotomic field. The index of this subgroup of real cyclotomic units within the full real unit group is equal to the class number of the maximal real subfield of the cyclotomic field.

If is the power of a prime, then is not a unit; however the numbers for, and ±ζ generate the group of cyclotomic units.
If is a composite number having two or more distinct prime factors, then is a unit. The subgroup of cyclotomic units generated by with is not of finite index in general.

The cyclotomic units satisfy distribution relations. Let be a rational number prime to and let denote. Then for we have
Using these distribution relations and the symmetry relation a basis B_n of the cyclotomic units can be constructed with the property that for.