Первообразный корень по модулю m ― целое число g такое, что
и
где ― функция Эйлера. Другими словами, первообразный корень — это образующий элемент мультипликативной группы кольца вычетов по модулю m.
Первообразные корни существуют только по модулям вида
где ― простое число. Только в этих случаях мультипликативная группа кольца вычетов по модулю m является циклической группой порядка .
Для первообразного корня g его степени g0=1, g, …, gφ(m) − 1 несравнимы между собой по модулю m и образуют приведенную систему вычетов по модулю m. Поэтому для каждого числа a, взаимно простого с m, найдется показатель ℓ, 0 ⩽ ℓ ⩽ φ(m) − 1, такой, что
Такое число ℓ называется индексом числа a по основанию g.
Если по модулю m существует первообразный корень g, то всего существует φ(φ(m)) различных первообразных корней по модулю m, причём все они имеют вид , где и .
Исследования Виноградова показали, что существует такая константа , что для всякого простого существует первообразный корень . Другими словами, для простых модулей минимальный первообразный корень имеет порядок . Математик Шуп показал, что если Гипотеза Римана верна, то первообразный корень есть среди первых чисел натурального ряда.
Первообразные корни для простых модулей были введены Эйлером, но существование первообразных корней для любых простых модулей было доказано лишь Гауссом в «Арифметических исследованиях» (1801 год).
Число 3 является первообразным корнем по модулю 7. Чтобы в этом убедиться, достаточно каждое число от 1 до 6 представить как некоторую степень тройки по модулю 7:
Примеры наименьших первообразных корней по модулю m (последовательность A046145 в OEIS):
Модуль m | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Первообразный корень | 1 | 2 | 3 | 2 | 5 | 3 | — | 2 | 3 | 2 | — | 2 | 3 |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .