Académique Documents
Professionnel Documents
Culture Documents
Matthieu Romagny
1 Structure de Z/nZ
1.1 Gnralits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Structure de Z/p Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1 Puissances k-imes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Carrs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1 Nombre d'lments de GLr (Z/nZ) et SLr (Z/nZ) . . . . . . . . . . . . . . .
3.2 Surjection SLr (Z) SLr (Z/nZ) . . . . . . . . . . . . . . . . . . . . . . . .
1
2
2
2
4
5
1 Structure de Z/nZ
1.1
Gnralits
Sur le groupe ablien Z/nZ, il n'y a qu'une structure d'anneau possible. En eet, un
produit ab est une somme a + + a avec b termes, donc toute multiplication est une
itration nie d'additions et la multiplication est dtermine par l'addition.
Dit autrement, la structure de l'anneau Z/nZ est dtermine par sa structure de
groupe additif. Ceci se rete aussi sur les lments inversibles de l'anneau, qui sont les
gnrateurs du groupe additif, et sur les idaux, qui sont les sous-groupes additifs.
Un autre fait notable est que dans l'anneau Z/nZ, comme d'ailleurs dans tout anneau
ni A, les lments non nuls sont soit inversibles, soit diviseurs de zro. En eet, pour x
A \ {0}, la multiplication par x donne un endomorphisme de groupe ablien mx : A A.
Si mx est surjectif, alors 1 est dans l'image, donc il existe y A tel que xy = 1 et x est
inversible. Si mx n'est pas surjectif, alors il n'est pas injectif (car A est ni) et donc il y
a un lment non nul y dans le noyau. Alors, xy = 0 et x est un diviseur de zro.
Structure de
Z/p Z
Dcrivons donc plus en dtail l'anneau A = Z/p Z. Une trs bonne manire de se
reprsenter les lments de A est d'utiliser l'criture en base p : pour tout x A, il existe
des entiers uniques 0 xi p 1 tels que x = x0 + x1 p + x2 p2 + + x1 p1 . Si un
lment de A est crit ainsi, on a x A ssi x0 6= 0, ou encore, ssi x 6 (p). En particulier,
on voit que si on note : Z/p Z Z/pZ la surjection canonique, alors x est inversible
dans A si et seulement si (x) est inversible dans Z/pZ. (En gnral, si f : R S est
un morphisme d'anneaux commutatifs et unitaires, l'image d'un inversible est inversible,
mais la rciproque n'est pas vraie.) De plus, l'idal (p) est gal l'idal des lments
nilpotents, et on a A = A t (p).
Par ailleurs, les idaux de A forment une chane :
0 (p1 ) (p2 ) (p) A .
Ceci permet de dnir la valuation p-adique d'un lment non nul x A comme tant
le plus grand entier k 1 tel que x (pk ). On peut alors crire x = pk u, o u est
inversible dans A, et cette criture est unique.
Puissances
Proposition :
k -imes
p1 1
. . . pr r
2.2
Carrs
Le rsultat prcdent dit que l'application d'lvation au carr (k = 2) dans Z/nZ n'est
bijective que lorsque n = 2. Donc en gnral, les carrs forment un sous-ensemble strict,
que l'on va dnombrer, gnralisant le rsultat correspondant pour Z/pZ avec p premier.
Ici encore, en utilisant le thorme chinois, le nombre de carrs est le produit des nombres
de carrs dans des anneaux Z/pi i Z. Ceci nous ramne au cas o n = p et nous citerons
le rsultat dans ce cas. Nous ne traiterons que le cas o p 3, mais le cas o p = 2 se
traite de la mme manire (la seule dirence provenant de la structure du groupe des
inversibles).
Lemme :
Soit
(i) Le cardinal de
1 p1
.
gal p
2
(ii) Soit
(Z/p Z)
un entier.
Z/p Z,
est
2
i1 p1
de p (Z/p Z)
est gal p
.
2
groupes abliens
(iii) Le cardinal
(ii) Il est immdiat de voir que le noyau de la multiplication par pi de Z/p Z dans luimme est gal l'idal engendr par pi , d'o la premire assertion. On peut dcrire
cette application ainsi : x = x0 + x1 p + + xi1 pi1 on associe pi x = pi (x0 + x1 p +
+ xi1 pi1 ). L'image de (Z/pi Z)2 est pi (Z/pi Z)2 . C'est aussi pi (Z/p Z)2 ,
puisque dans l'criture pi (x0 + x1 p + + x1 p1 )2 les termes xj pj avec j i sont
annuls par pi .
(iii) D'aprs (ii) le cardinal de pi (Z/p Z)2 est gal celui de (Z/pi Z)2 , d'o le rsultat
d'aprs (i).
Proposition :
Si
est gal
1+
si
= 2
p1
(p + p3 + + p21 )
2
est pair, et
1+
si
= 2 + 1
A = Z/p Z
p1
(1 + p2 + + p2 )
2
est impair.
Preuve : Si x A est non nul, il s'crit de manire unique sous la forme x = p u avec
i
et seulement si i est pair et u est un carr. En d'autres termes, l'ensemble des carrs non
nuls dans A est
A2 t p2 A2 t p4 A2 t t p22 A2 si = 2 est pair,
si = 2 + 1 est impair.
A2 t p2 A2 t p4 A2 t t p2 A2
En utilisant le lemme qui donne le cardinal de p2k A2 et en tenant compte du fait que
0 A est un carr, on trouve que le nombre de carrs dans A est
1 + p21
p1
p1
p1
+ p23
+ + p
2
2
2
Nombre d'lments de
GLr (Z/nZ)
et
SLr (Z/nZ)
Proposition :
| GL (Z/p Z)| = p
(p 1)(p p) . . . (p p )
Preuve : Commenons par le cas = 1. Dans ce cas, l'anneau de coecients est le corps
On a
(1)r2
r1
k = Z/pZ. Une matrice est dans GLr (Z/pZ) ssi ses vecteurs colonnes forment une base.
Le premier vecteur doit tre non nul, il y a donc pr 1 faons de le choisir. Le deuxime
vecteur ne doit pas tre dans la droite engendre par le premier, il y a donc pr p faons
de le choisir. En continuant ainsi, on trouve | GLr (Z/pZ)| = (pr 1)(pr p) . . . (pr pr1 ).
Passons au cas gnral. On notera Z/p Z Z/pZ, x 7 x le morphisme de rduction. Rappelons-nous que x est inversible ssi x est inversible (voir 1.2). Nous allons
voir que le morphisme induit : GLr (Z/p Z) GLr (Z/pZ) est surjectif. En eet, si
M GLr (Z/pZ) et qu'on considre une matrice N Mr (Z/p Z) obtenue en relevant
de manire arbitraire les coecients de M , on a det(N ) = det(M ) qui est inversible.
Donc det(N ) est inversible, i.e. N GLr (Z/p Z) et N est un antcdent pour M . On
regarde maintenant le noyau H = ker(). C'est l'ensemble des matrices Id +N o N est
coecients dans p(Z/p Z) ' Z/p1 Z. Comme les matrices ont r2 coecients, on trouve
2
|H| = (p1 )r . Finalement | GLr (Z/p Z)| = | GLr (Z/pZ)|.|H| et ceci donne le rsultat
annonc.
Proposition :
| SL (Z/p Z)| = p
(p 1)(p p) . . . (p p )p
Preuve : On considre le morphisme dterminant det : GL (Z/p Z) (Z/p Z) . Il est
On a
(1)(r2 1)
r2
r1
surjectif, car tout x (Z/p Z) est le dterminant d'une matrice de dilatation diagonale
(x, 1, . . . , 1). Il s'ensuit que le cardinal du noyau, le groupe spcial linaire, est
corps nis est fait dans Perrin [P]. Le calcul du cardinal de SL2 (Z/nZ) peut tre trouv
dans [FGN2], exercice 3.23 (lire la n de la correction).
3.2
Surjection
On peut se poser la question de savoir si toute matrice inversible coeciens dans Z/nZ
peut tre releve en une matrice inversible coecients dans Z. Mais ceci est presque
tout le temps faux, pour la raison que le groupe des inversibles de Z/nZ est plus gros que
le groupe des inversibles de Z : il est clair qu'une matrice de GLr (Z/nZ) de dterminant
inversible, mais distinct de 1, ne peut pas tre releve dans GLr (Z). Le thorme suivant
est donc assez surprenant :
Thorme :
SL (Z) SL (Z/nZ)
Preuve : On fait une rcurrence sur r. Comme SL (Z) ' SL (Z/nZ) ' 1, le rsultat est
Le morphisme de rduction
est surjectif.
clair pour r = 1. Supposons-le vrai pour l'entier r 1, et soit A Mr (Z) une matrice
carre telle que det(A) 1 (n). D'aprs le thorme des invariants de similitude, il existe
deux matrices U, V dans GLr (Z) telles que U AV est une matrice diagonale, d'lments
a1 , . . . , am . Posons b = a2 . . . am et considrons les matrices
b
b1
W =
1
1
1
0
, X=
1
.
a2
1
1 a2
, A0 =
1
.
0
a1 a2
1
.
1
0
a
1
B = U 1 W 1
C
0
1 1
X V
Remarques et rfrences :
Ce groupe intervient dans l'tude des formes modulaires, qui sont l'un des ingrdients de
la preuve du thorme de Fermat. Vous trouverez plus de dtails sur tout cela dans le
livre d'Hellegouarch [H].
Rfrences