Первообразные корни — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «==Первообразные корни== ===Количество первообразных корней=== * '''Определение.''' ''<math>g</math> наз…»)
 
м (rollbackEdits.php mass rollback)
 
(не показано 18 промежуточных версий 4 участников)
Строка 1: Строка 1:
 +
{{В разработке}}
 +
 
==Первообразные корни==
 
==Первообразные корни==
===Количество первообразных корней===
+
{{Определение
* '''Определение.''' ''<math>g</math> называется первообразным корнем по модулю n, если'' <math>ord(g)=</math>φ<math>(n)</math><br>
+
|definition=
Где <math>ord</math> - порядок числа, а φ - функция Эйлера.<br>
+
Вычет <tex>g</tex> называется '''первообразным корнем''' по модулю <tex>n</tex>, если <tex>ord(g)= \phi(n)</tex>.
* '''Теорема'''. Пусть <math>g</math> - первообразный корень по модулю <math>p</math><tex>\in\mathbb{P}</tex>. Тогда <math>g</math><sup>a</sup> - ''первообразный корень по модулю <math>p</math> <math>\Leftrightarrow</math> НОД<math>(a;p-1)=1</math>.''<br>
+
}}
* '''Доказательство (прямая теорема)'''<br>
+
 
Так как g<sup>a</sup> - первообразный корень, значит (g<sup>a</sup>)<sup>φ(p)</sup>=1, но p<tex>\in\mathbb{P}</tex>, поэтому φ(p)=p-1, значит (g<sup>a</sup>)<sup>p-1</sup>=1, и это же справедливо для g: g<sup>p-1</sup>=1. Пусть НОД(a;p-1)=k, k>1, тогда <math>1=g^{p-1}=(g^{p-1})^{\frac{a}{k}}=(g^{\frac{p-1}{k}})^a=(g^a)^{\frac{p-1}{k}}</math>. Но, по определению ord, <math>p-1</math> - минимальная степень, в которую следует возвести <math>g^a</math>, чтобы получить единицу, а  <math>\frac{p-1}{k}<p-1</math>. Получили противоречие, теорема доказана.
+
Где <tex>ord(n)</tex> — [[порядок числа]] <tex>n</tex>, а <tex>\phi(n)</tex> — [[функция Эйлера]].<br />
* '''Доказательство (обратная теорема)'''<br>
+
 
Пусть существует k такое, что <math>g^{a\cdot k}=1</math>, и <math>k<p-1</math>. Но <math>g^{p-1}=1</math>, значит <math>g^{a\cdot k}=g^{p-1}</math>. Следовательно либо <math>(a*k) \vdots (p-1)</math>, либо <math>(p-1) \vdots (a*k)</math>. Но по определению первообразного корня, и ord, <math>p-1 \leqslant a*k</math>, то есть <math>(a*k) \vdots (p-1)</math>, а так как НОД<math>(a; p-1)=1</math>, то <math>k \vdots (p-1) \Rightarrow p-1 \leqslant k</math>, что противоречит нашему предположению. Обратная теорема доказана.
+
{{Теорема
* '''Следствие (из обратной теоремы)''' ''Количество различных первообразных корней по модулю p равно φ(p-1).''<br>
+
|id=t
'''Доказательство'''<br>
+
|statement=
Пусть g - первообразный корень.<br>
+
Пусть <tex>g</tex> первообразный корень по модулю <tex>p</tex><tex>\in\mathbb{P}</tex>. Тогда <tex>g</tex><sup>a</sup> ''первообразный корень по модулю <tex>p</tex> <tex>\Leftrightarrow</tex> НОД<tex>(a;p-1)=1</tex>.''<br>
Во-первых, при <math>a=k*(p-1)+b \text{, }b<p-1 \colon g^a=(g^{p-1})^{k}*g^b=1\cdot g^{b}</math>. Таким образом есть смысл рассматривать только первообразные корни, образованные из исходного, путем возведения в степень не выше <math>p-1</math>.<br>
+
|proof=
Во-вторых, исходный первообразный корень существует, так как мультипликативная группа поля вычетов <math>\mathbb{Z}/p \mathbb{Z}</math> циклична (то есть <math>\exists a\in\mathbb{Z}/p\mathbb{Z}\colon\forall b\in\mathbb{Z}/p\mathbb{Z} \text{ } \exists k\colon a^k=b</math>).<br>
+
Так как g<sup>a</sup> первообразный корень, значит (g<sup>a</sup>)<sup>φ(p)</sup>=1, но p<tex>\in\mathbb{P}</tex>, поэтому φ(p)=p-1, значит (g<sup>a</sup>)<sup>p-1</sup>=1, и это же справедливо для g: g<sup>p-1</sup>=1. Пусть НОД(a;p-1)=k, k>1, тогда <tex>1=g^{p-1}=(g^{p-1})^{\frac{a}{k}}=(g^{\frac{p-1}{k}})^a=(g^a)^{\frac{p-1}{k}}</tex>. Но, по определению ord, <tex>p-1</tex> минимальная степень, в которую следует возвести <tex>g^a</tex>, чтобы получить единицу, а  <tex>\frac{p-1}{k}<p-1</tex>. Получили противоречие, теорема доказана.
По доказанной обратной теореме <math>\forall a \colon с (a \text{; } p-1)=1 \Rightarrow g^a</math> - первообразный корень. С другой стороны для любого другого a, по прямой теореме <math>g^a</math> не является первообразным корнем. Но по определению <math>\varphi(p-1)</math> равно количеству <math>a \colon </math> НОД <math>(a;p-1)=1</math>. Очевидно, для всех <math>a<p-1\text{, }g^a</math> различны. Теорема доказана.
+
\cdot Теперь докажем обратную теорему:
===Теорема о существовании первообразных корней по модулям <math>4 \text{, }p^n \text{, }2 \cdot p^n</math>===
+
Пусть существует k такое, что <tex>g^{a\cdot k}=1</tex>, и <tex>k<p-1</tex>. Но <tex>g^{p-1}=1</tex>, значит <tex>g^{a\cdot k}=g^{p-1}</tex>. Следовательно либо <tex>(a\cdot k) \vdots (p-1)</tex>, либо <tex>(p-1) \vdots (a\cdot k)</tex>. Но по определению первообразного корня, и ord, <tex>p-1 \leqslant a\cdot k</tex>, то есть <tex>(a\cdot k) \vdots (p-1)</tex>, а так как НОД<tex>(a; p-1)=1</tex>, то <tex>k \vdots (p-1) \Rightarrow p-1 \leqslant k</tex>, что противоречит нашему предположению. Обратная теорема доказана.
 +
}}
 +
{{Теорема
 +
|about=О количестве первообразных корней
 +
|statement=Количество различных первообразных корней по модулю p равно φ(p-1).
 +
|proof=
 +
Пусть g первообразный корень.<br>
 +
Во-первых, исходный первообразный корень существует, так как мультипликативная группа поля вычетов <tex>\mathbb{Z}/p \mathbb{Z}</tex> циклична (то есть <tex>\exists a\in\mathbb{Z}/p\mathbb{Z}\colon\forall b\in\mathbb{Z}/p\mathbb{Z} \text{ } \exists k\colon a^k=b</tex>).<br>
 +
Во-вторых, при <tex>a=k\cdot (p-1)+b \text{, }b<p-1 \colon g^a=(g^{p-1})^{k}\cdot g^b=1\cdot g^{b}</tex>. Таким образом есть смысл рассматривать только первообразные корни, образованные из исходного, путем возведения в степень не выше <tex>p-1</tex>.<br>
 +
По доказанной обратной теореме <tex>\forall a \colon с (a \text{; } p-1)=1 \Rightarrow g^a</tex> первообразный корень. С другой стороны для любого другого a, по прямой теореме <tex>g^a</tex> не является первообразным корнем. Но по определению <tex>\varphi(p-1)</tex> равно количеству <tex>a \colon </tex> НОД <tex>(a;p-1)=1</tex>. Очевидно, для всех <tex>a<p-1\text{, }g^a</tex> различны. Теорема доказана.
 +
}}
 +
 
 +
 
 +
[[Категория: Теория чисел]]

Текущая версия на 19:04, 4 сентября 2022

Эта статья находится в разработке!

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

Определение:
Вычет [math]g[/math] называется первообразным корнем по модулю [math]n[/math], если [math]ord(g)= \phi(n)[/math].


Где [math]ord(n)[/math]порядок числа [math]n[/math], а [math]\phi(n)[/math]функция Эйлера.

Теорема:
Пусть [math]g[/math] — первообразный корень по модулю [math]p[/math][math]\in\mathbb{P}[/math]. Тогда [math]g[/math]aпервообразный корень по модулю [math]p[/math] [math]\Leftrightarrow[/math] НОД[math](a;p-1)=1[/math].
Доказательство:
[math]\triangleright[/math]

Так как ga — первообразный корень, значит (ga)φ(p)=1, но p[math]\in\mathbb{P}[/math], поэтому φ(p)=p-1, значит (ga)p-1=1, и это же справедливо для g: gp-1=1. Пусть НОД(a;p-1)=k, k>1, тогда [math]1=g^{p-1}=(g^{p-1})^{\frac{a}{k}}=(g^{\frac{p-1}{k}})^a=(g^a)^{\frac{p-1}{k}}[/math]. Но, по определению ord, [math]p-1[/math] — минимальная степень, в которую следует возвести [math]g^a[/math], чтобы получить единицу, а [math]\frac{p-1}{k}\lt p-1[/math]. Получили противоречие, теорема доказана. \cdot Теперь докажем обратную теорему:

Пусть существует k такое, что [math]g^{a\cdot k}=1[/math], и [math]k\lt p-1[/math]. Но [math]g^{p-1}=1[/math], значит [math]g^{a\cdot k}=g^{p-1}[/math]. Следовательно либо [math](a\cdot k) \vdots (p-1)[/math], либо [math](p-1) \vdots (a\cdot k)[/math]. Но по определению первообразного корня, и ord, [math]p-1 \leqslant a\cdot k[/math], то есть [math](a\cdot k) \vdots (p-1)[/math], а так как НОД[math](a; p-1)=1[/math], то [math]k \vdots (p-1) \Rightarrow p-1 \leqslant k[/math], что противоречит нашему предположению. Обратная теорема доказана.
[math]\triangleleft[/math]
Теорема (О количестве первообразных корней):
Количество различных первообразных корней по модулю p равно φ(p-1).
Доказательство:
[math]\triangleright[/math]

Пусть g — первообразный корень.
Во-первых, исходный первообразный корень существует, так как мультипликативная группа поля вычетов [math]\mathbb{Z}/p \mathbb{Z}[/math] циклична (то есть [math]\exists a\in\mathbb{Z}/p\mathbb{Z}\colon\forall b\in\mathbb{Z}/p\mathbb{Z} \text{ } \exists k\colon a^k=b[/math]).
Во-вторых, при [math]a=k\cdot (p-1)+b \text{, }b\lt p-1 \colon g^a=(g^{p-1})^{k}\cdot g^b=1\cdot g^{b}[/math]. Таким образом есть смысл рассматривать только первообразные корни, образованные из исходного, путем возведения в степень не выше [math]p-1[/math].

По доказанной обратной теореме [math]\forall a \colon с (a \text{; } p-1)=1 \Rightarrow g^a[/math] — первообразный корень. С другой стороны для любого другого a, по прямой теореме [math]g^a[/math] не является первообразным корнем. Но по определению [math]\varphi(p-1)[/math] равно количеству [math]a \colon [/math] НОД [math](a;p-1)=1[/math]. Очевидно, для всех [math]a\lt p-1\text{, }g^a[/math] различны. Теорема доказана.
[math]\triangleleft[/math]