Radice primitiva modulo n: differenze tra le versioni

Versione delle 00:22, 4 ott 2014

Versione delle 02:16, 4 ott 2014

Riga 118:

In particolare se p è un primo di Fermat allora il polinomio delle sue radici primitive sarà: <math>x^{\tfrac{p-1}{2}}+1 \equiv0 \pmod{p}</math> .

Infatti se p è un primo di Fermat esso è del tipo: <math>p=2^{2^{n}}+1</math> ed il numero delle radici primitive sarà <math>\phi(\phi(p))=\phi(p-1)=\phi(2^{2^{n}})=2^{2^{n}-1}</math> , tale sarà anche il grado del polinomio delle radici primitive. Per il Piccolo teorema di Fermat l'equazione che ha per radici tutti degli elementi di <math>Z_p ^*</math> è <math>x^{p-1}-1\equiv(x^{\tfrac{p-1}{2}}-1)(x^{\tfrac{p-1}{2}}+1) \equiv 0 \pmod{p}</math> dove il primo polinomio si annulla solo e solamente per i residui quadratici modulo p (Criterio di Eulero) e poichèpoiché le radici primitive non sono residui quadratici, il polinomio delle radici primitive deve fattorizzare il secondo polinomio. Quest'ultimo è monico e di grado <math>\tfrac{p-1}{2}=2^{2^{n}-1}</math>, cioè ha lo stesso grado del polinomo cercato : pertanto lo è.

==Note==