2
En premier lieu, il est clair que mZ/nZest cyclique puisque [m]nest un g´en´erateur.
D’autre part, on remarque que l’ordre de [m]nest q. En effet, pour x∈Z,xm ≡0
(mod n) si et seulement si q|x, d’o`u le r´esultat.
Exercice 3.
Soient m1,...,mr∈Ntels que (mi, mj) = 1 si i6=j. Montrer que Z/(m1···mr)Z
et Z/m1Z× · · · × Z/mrZsont isomorphes.
Solution.
On proc`ede par r´ecurrence sur r≥2. Si m1, m2sont deux entiers premiers entre
eux, consid´erons l’homomorphisme
f:Z/m1m2Z→Z/m1Z×Z/m2Z
[x]m1m27→ ([x]m1,[x]m2).
Il s’agit d’une application bien d´efinie, puisque si x≡y(mod m1m2), alors
m1m2|x−y, donc mi|x−y, i.e. x≡y(mod mi) pour i= 1,2. De plus, elle
est surjective. En effet, puisque (m1, m2) = 1, il existe une identit´e de B´ezout
m1a+m2b= 1
pour a, b ∈Z(voir s´erie 2, exercice 2). Par cons´equent,
m2b≡1 (mod m1)
m1a≡1 (mod m2).
Ainsi, pour tous x, y ∈Z, on a
f(m1ay +m2bx) = ([x]m1,[y]m2),
d’o`u la surjectivit´e. Comme |Z/m1m2Z|=m1m2=|Z/m1Z×Z/m2Z|, l’homo-
morphisme fest bijectif, donc il s’agit d’un isomorphisme. Le r´esultat est ainsi
´etabli pour r= 2. Si r > 2, alors
Z/m1Z× · · · × Z/mrZ= (Z/m1Z×...Z/mr−1Z)×Z/mrZ
∼
=Z/(m1···mr−1)Z×Z/mrZ
∼
=Z/(m1···mr)Z
si l’on suppose le r´esultat vrai pour r−1, ce qui termine la d´emonstration.
De mani`ere ´equivalente, on peut aussi obtenir le cas r= 2 par un r´esultat du
cours : l’entier m1m2annule A=Z/m1m2Z, par cons´equent
A∼
=m1Z/m1m2Z×m2Z/m1m2Z∼
=Z/m2Z×Z/m1Z,
o`u le deuxi`eme isomorphisme provient de l’exercice 2.
Exercice 4.
Soient A:= Z/9Z×Z/9Zet B:= Z/9Z×Z/3Z×Z/3Z.
(1) Calculer 3Aet 3B.
(2) Est-ce que Aet Bsont isomorphes ? Pensez `a bien justifier votre r´eponse.