Par exemple, notons
=T^2+3T+9)
notre polynome.
Alors dans
[T])
, P est irréductible, alors que dans
[T])
, P se factorise en
=(T-5)(T-6)=(T+2)(T+1))
( modulo 7).
Donc tout N qui s'écrit

, avec t=-2+7k ou t=-1+7k, pour un certain entier k strictement positif, on a la propriété: "7 divise N". En effet:
^2+3(-2+7k)+9=4-28k+49k^2-6+21k+9=7-7k+49k^2=7(1-k+7k^2))
et:
^2+3(-1+7k)+9=1-14k+49k^2-3+21k+9=7+7k+49k^2=7(1+k+7k^2))
.
Avec la librairie GP/Pari:
tapez "pol= t^2 + 3*t + 9"
puis "polrootsmod(pol,5)" pour le factoriser modulo 5, ou
"polrootsmod(pol,7)" pour le factoriser modulo 7.
Dans le premier cas on obtient "[]~". Donc aucune factorisation.
Dans le second, on obtient "[Mod(5, 7), Mod(6, 7)]~", qui veut dire la classe de 5 modulo 7, et la classe de 6 modulo 7.
Donc modulo 7,
=(T-5)(T-6)=(T+2)(T+1))
.
Puis on continue:
"polrootsmod(pol,11)" nous montre que P est irréductible modulo 11,
mais "polrootsmod(pol,13)" fournit les solutions classe de 1 et classe de 9 modulo 13.
De cette manière, on trouve les nombres premiers:
7, 13, 19,.31, 37, 43, 61, 67, 73.
Pour chacun de ces 9 nombres premiers, on trouve les classes (je n'en prend qu' une par nombre premier sur les deux):
5+7k, 1+13k, 2+19k, 13+31k, 4+37k, 18+43k, 19+61k, 20+67k, 24+73k.
à suivre...