DAnnexe : <strong>Les</strong> résidus quadratiquesRappelsSoit p = 2m + 1 un nombre premier impair . On rappelle que F p = Z=p Z est un corps commutatif,n oet que le groupe multiplicatif G p = F p n b 0 est cyclique d'ordre 2m .Proposition 3nL'ensemble C p = bc 2 G p /9 b 2 G p bc = b o2 est un sous-groupe <strong>de</strong> G p d'ordre m .<strong>Les</strong> éléments <strong>de</strong> C p sont appelés les résidus quadratiques non nuls modulo p .JusticationLa stabilité <strong>de</strong> C p est immédiate . D'autre part, dans G p , ba 2 = b 2 () ba = b ou ba = b ,n oet donc C p = bb 2 / 1 b m a pour cardinal m .n o n oAinsi, par exemple, C 13 = b 1 2 , b2 2 , b3 2 , b4 2 , b5 2 , b6 2 = b 1 , b3 , b4 , b9 , b10 , b12 .Proposition n 4C p = ba 2 G po/ ba m = b1noet G p n C p = ba 2 G p / ba m = b1 .JusticationL'ordre d'un élément quelconque ba <strong>de</strong> G p divise l'ordre 2m <strong>de</strong> G p , donc ba 2m = b1 , et donc ba m = b1 :Soit bg un élément générateur <strong>de</strong> G p . Il existe alors un entier k tel que ba = bg k .Si ba m = b1 ; alors bg k m = 1 , donc k est pair (car g est d'ordre 2m) et il existe donc un entier h tel quek = 2h , d'où ba = bg 2h = bg h 22 Cp .Inversement, si ba 2 C p , il existe b b 2 G p tel que ba = b b 2 ; et donc ba m = b b 2m = b1 :Proposition 5Soit un entier a vériant 1 a 2m . Pour tout entier k vériant 1 k m , il existe un uniquecouple (q k ; r k ) d'entiers vériant : ka = pq k + r k et m r k m .Si on pose l p (a) = card fk 2 N / 1 k m et r k < 0g , alors C p = f ba 2 G p / l p (a) est pair g .JusticationLe nombre premier p = 2m + 1 ne divisant ni a ni k , il ne divise pas ka , et donc r k 6= 0 .D'autre part, si 1 h < k m; alors (k h) a = p (q k q h ) + (r k r h ) .Or p ne divise ni a ni (k h) , donc p ne divise pas (r k r h ) ; et donc r k 6= r h .<strong>de</strong> même p ne divise pas (k + h) a , donc p ne divise pas (r k + r h ) , et donc r k 6= r h .Finalement jr k j 6= jr h j , et donc fjr k j / 1 k mg = fk / 1 k mg .Pour tout nombre entier k vériant 1 k m , ka r k [p] , donc m! a m m QOr p ne divise pas m! , donc a m ( 1) lp(a) [p] .En conséquence, ba 2 C p () ba m = b1 () a m 1 [p] () l p (a) est pair .k=1r k (1) lp(a) m! [p].Ghislain.Dupont@univ-lemans.fr 4 / 5 Département <strong>de</strong> Mathématiques
Proposition 6Si p = 2m + 1 est un nombre premier impair, alors( (2 m +1 [p] si p 1 [8]3 m +1 [p] si p 1 [12]et2 m 1 [p] sinon3 m 1 [p] sinonJusticationOn se limite désormais aux <strong>de</strong>ux cas particuliers a = 2 et a = 3 .Soit k un entier vériant 1 k m et r k < 0 . Alors ka < pq k et donc q k > 0 .D'autre part m r k , donc pq k = ka r k ka + m 3k + m 4m < 2p , et donc q k < 2 .q k = 1 est donc la seule valeur possible, et dans ce cas :m r k 1 , m ka p 1 , p m ka p 1 , m + 1 ka 2m .Inversement, si k est un entier vériant m + 1 ka 2m , alors 1 k m et m ka p 1d'où q k = 1 et r k < 0 .Donc dans les <strong>de</strong>ux cas particuliers a = 2 et a = 3; on a l p (a) = card fk 2 N / m + 1 ka 2mg .D'où, en notant [x] la partie entière du nombre réel x , et en discutant selon la valeur <strong>de</strong> m : m + 1 p + 1l p (2) = card fk 2 N / m + 1 2k 2mg = = et2 4 m + 1 p + 1l p (3) = card fk 2 N / m + 1 3k 2mg = = .3 6Enn, en se souvenant que p est premier et impair, on vérie aisément que : p + 12 m 1 [p] () b2 2 C p () l p (2) est pair () est pair () p 1 [8] et4 p + 13 m 1 [p] () b3 2 C p () l p (3) est pair () est pair () p 1 [12] .6Ghislain.Dupont@univ-lemans.fr 5 / 5 Département <strong>de</strong> Mathématiques