13. Первообразный корень. Индексы чисел и классов по данному модулю.

§2. Первообразные корни

Число классов с заданным показателем. Каждый класс, взаимно простой с модулем m, имеет свой порядок, который делит φ(m). Верно ли обратное, т. е. если d - натуральный делитель φ (m), то найдется ли класс, имеющий порядок d?Оказывается, это верно не для любого модуля. Пусть d - натуральный делитель φ(m). Обозначим через ψ(d) количество классов, имеющих порядок d.

Например, если m=13, то ψ(l2)=4, ψ(6) = 2, ψ(4)= 2 (смотри примеры предыдущего параграфа). Для некоторых d может оказаться, что ψ(d) равно нулю. Очевидно, что если d₁,d₂ ,…,d_s - все натуральные делители φ(m), то ψ(d₁)+ψ(d₂)+…+ψ(d_s)=φ(m), так как всего φ(m) классов, взаимно п

Теорема 1. До простому модулю p если к делит φ(p), (k€N), то ψ(k)=φ(k).

Доказательство. Пусть k делит φ(p)=p-1. Может оказаться, что ψ(k)=0.Есда же найдётся элемент а, имеющий порядок k то будем искать часло классов, имеющих тот же порядок. Так как числа, имеющие порядок k удовлетворяют сравнению х^k≡ l(mod р) (l) то искомые классы находятся среди решений этого сравнения. Но все решения этого сравнения исчерпываются классами ā,ā²,…,ā^k (2)

Действительно, все эти классы 1) являются решениями (1), ибо (aⁱ)^k=(a^k)ⁱ≡1(modp); 2) классы различны, так как аⁱ и a^j не сравнимы по модулю p при i≠j(свойство 8 показателей) и 3) их число равно к, то есть максимально возможному количеству решений сравнения (]) (сравнение по простому модулю степени k не может иметь больше, чем k решений).Поэтому остаётся разыскать среди классов (2) те. которые имеют порядок к. Из свойств 6 и 7 показателей следует, что среди классов (2) āⁱ имеет тот же порядок, что и ā, тогда и только тогда, когда (k,i)= 1. А так как среди чисел 1,2,..,k содержится ровно φ(к) чисел, взаимно простых с к, то в ряду (2) φ(к) классов, имеющих порядок к. Следовательно, ψ(k)=φ(k).

Итак,ψ(k)=φ(k) или ψ(k)=0. Равенство (*) при m=р имеет вид ∑ψ(k)=p-1. По лемме ∑φ(к) =р -1. Поэтому ∑ψ(k)=∑φ(к) откуда легко видно, что ψ(к)= φ(к) для любого делителя k числа р -1. Действительно, если бы для некоторых k было бы ψ(к) = 0, то в правой части равенства остались бы лишние положительные слагаемые и равенство бы нарушилось.

2. Первообразные корни по простому модулю Определение. Пусть (g, m) = 1, m€N. Число g называют первообразным корнем по модулю m, если порядок числа g по модулю m равен φ(m). Так как P(g) = P(ḡ)то первообразным корнем можно называть и класс ḡ .

Примеры. 1. Найдём первообразные корни по модулю 7. φ(7)= 6. Порядок любого числа а - делитель числа 6. Поэтому для нахождения порядка а достаточно рассмотреть а² и а³, так как а⁶ ≡ l(mod 7) по теореме Эйлера. Будем искать порядки представителей всех классов по модулю 7, взаимно простых с модулем. 1 имеет порядок 1. По модулю 7 имеем: 2²≡ 4, 2³≡1 , Р(2) = 3, 2 - не первообразный корень. 3² =2, 3³ =-1 по модулю 7, следовательно, Р(3) = 6 и 3 - первообразный корень по модулю 7. По свойствам порядков тот же порядок имеет 3^k, где (к, 6) = 1, то есть ещё только 3⁵ = З³• 3²≡ -9≡5(mod7). Следовательно, первообразные корни по модулю 7 только 3 и 5. По модулю 13 первообразными корнями являются 2. 6, 7 и 11. Так как их порядок равен 12 = φ(13) (смотри примеры §1).

Теорема 2. По простому модулю р существует φ(р — ]) классов первообразных корней.

Доказательство. Порядок первообразного корня по модулю р равен р -1. Из теоремы 1 количество классов, имеющих порядок р -1, равно φ(р - l). Следовательно, количество первообразных корней по модулю р равно φ(р-1). Заметим, что первообразные корни существуют не по любому модулю, а только но модулям 2,4, р^α и 2р^α, гдер-простое нечётное число, а α>=1

Теорема 3. Если g - первообразный корень по модулю m. то числа образуют приведённую систему вычетов по модулю m. Доказательство. Так как P_m(g)=φ(m), то по свойству 8 показателей и числа попарно не сравнимы по модулю m. Они взаимно просты с m так как (g,m)=1 и этих чисел φ(m). По признаку приведённой системы вычетов эти числа образуют приведению систему вычетов по модулиm. В частности, если g — первообразный корень по простому модулю р. То g,g²,...,g^φ(m)- приведённая система вычетов по модулю р, которую можно заменить также системой g° =1 ,g¹,...,g^p-2.