In mathematics, a cyclotomic unit (or circular unit) is a
unit of an
algebraic number field which is the product of numbers of the form (ζa
n − 1) for ζ
n an nth
root of unity and 0 < a < n.
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 (those cyclotomic units in the maximal real subfield) within the full real unit group is equal to the class number of the maximal real subfield of the cyclotomic field. [1]
The cyclotomic units satisfy distribution relations. Let a be a rational number prime to p and let ga denote exp(2πia) − 1. Then for a ≠ 0 we have . [3]
Using these distribution relations and the symmetry relation ζa
n − 1 = −ζa
n (ζ−a
n − 1) a basis Bn of the cyclotomic units can be constructed with the property that Bd ⊆ Bn for d | n.
[4]
In mathematics, a cyclotomic unit (or circular unit) is a
unit of an
algebraic number field which is the product of numbers of the form (ζa
n − 1) for ζ
n an nth
root of unity and 0 < a < n.
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 (those cyclotomic units in the maximal real subfield) within the full real unit group is equal to the class number of the maximal real subfield of the cyclotomic field. [1]
The cyclotomic units satisfy distribution relations. Let a be a rational number prime to p and let ga denote exp(2πia) − 1. Then for a ≠ 0 we have . [3]
Using these distribution relations and the symmetry relation ζa
n − 1 = −ζa
n (ζ−a
n − 1) a basis Bn of the cyclotomic units can be constructed with the property that Bd ⊆ Bn for d | n.
[4]