Первообразный корень из единицы

Первообразный корень (или примитивный корень) степени из единицы в поле ― это такой элемент , что и для любого натурального .

Если ― поле комплексных чисел, то степени первообразного корня образуют циклическую группу корней порядка из единицы.

Свойства

править
  • Если в поле   существует первообразный корень степени  , то   взаимно просто с характеристикой поля  .
  • Алгебраически замкнутое поле содержит первообразный корень любой степени, взаимно простой с характеристикой поля.
  • Если   ― первообразный корень степени  , то для любого   взаимно простого с  , элемент   также является первообразным корнем. Откуда, в частности, следует, что число всех первообразных корней степени   (когда они существуют) равно значению функции Эйлера  .
  • В поле комплексных чисел первообразные корни степени m имеют вид:
     ,
    где   взаимно просто с  .

Литература

править
  • Ван дер Варден Б. Л. Алгебра. Определения, теоремы, формулы. — СПб.: Лань, 2004. — 624 с. — ISBN 5-8114-0552-9. Архивная копия от 4 марта 2016 на Wayback Machine
  • Milne, James S. Algebraic Number Theory. Course Notes (2014). Дата обращения: 1 октября 2014. Архивировано 17 декабря 2014 года.