cyclotomic units
Let be a cyclotomic extension of with chosen to be minimal. Then the ring of integers is given by , and we denote the group of units by . The cyclotomic units are the elements of a subgroup of given by
with and relatively prime to .