В математике циклотомическая единица (или круговая единица ) — это единица алгебраического числового поля , которая является произведением чисел вида (ζа
н − 1) для ζ
нкорень n -й степени из единицы и 0 < a < n .
Циклотомические единицы образуют подгруппу конечного индекса в группе единиц циклотомического поля . Индекс этой подгруппы действительных циклотомических единиц (те циклотомические единицы в максимальном действительном подполе) в полной действительной группе единиц равен номеру класса максимального действительного подполя циклотомического поля . [1]
Циклотомические единицы удовлетворяют соотношениям распределения . Пусть a — рациональное число, простое с p , и пусть g a обозначает exp(2 πia ) − 1 . Тогда для a ≠ 0 имеем . [3]
Используя эти соотношения распределения и соотношение симметрии ζа
н− 1 = −ζа
н(ζ− а
н− 1) базис B n циклотомических единиц может быть построен со свойством, что B d ⊆ B n для d | n . [4]