WikiDer > Циклотомическая единица

Cyclotomic unit

В математике циклотомическая единица (или же круговой блок) это единица измерения из поле алгебраических чисел которое является произведением чисел вида (ζа
п - 1) для ζ
п ан пth корень единства и 0 < а < п.

Характеристики

Циклотомические единицы образуют подгруппу конечных показатель в группа единиц из круговое поле. Индекс этой подгруппы настоящий циклотомические единицы (те циклотомические единицы в максимальном действительном подполе) в пределах полной реальной группы единиц равны номер класса максимального вещественного подполя поля круговое поле.[1]

Если п степень простого числа, то ζа
п - 1 не является единицей; однако числа (ζа
п - 1) / (ζ
п - 1) для (а, п) = 1 и ± ζа
п генерировать группу циклотомических единиц в этом случае (п степень простого числа).

Если п это составное число, подгруппа циклотомических единиц, порожденная (ζа
п - 1) / (ζ
п - 1) с (а, п) = 1, вообще говоря, не имеет конечного индекса.[2]

Циклотомические единицы удовлетворяют отношения распределения. Позволять а быть рациональным числом, простым с п и разреши грамма обозначим exp (2πiа) −1. Тогда для а≠ 0 имеем .[3]

Используя эти соотношения распределения и соотношение симметрии ζа
п - 1 = -ζа
п (ζ-а
п - 1) основа Bп круговых единиц могут быть построены со свойством, что Bd ⊆ Bп за d | п.[4]

Смотрите также

Рекомендации

  1. ^ Вашингтон, теорема 8.2
  2. ^ Вашингтон, 8.8, стр. 150, для п равно 55.
  3. ^ Лэнг (1990) стр.157
  4. ^ http://perisic.com/cyclotomic
  • Ланг, Серж (1990). Циклотомические поля I и II. Тексты для выпускников по математике. 121 (второе объединенное изд.). Springer Verlag. ISBN 3-540-96671-4. Zbl 0704.11038.
  • Наркевич, Владислав (1990). Элементарная и аналитическая теория чисел (Вторая, существенно переработанная и расширенная ред.). Springer-Verlag. ISBN 3-540-51250-0. Zbl 0717.11045.
  • Вашингтон, Лоуренс К. (1997). Введение в циклотомические поля. Тексты для выпускников по математике. 83 (2-е изд.). Springer-Verlag. ISBN 0-387-94762-0. Zbl 0966.11047.