Agrégation interne de mathématiques RK
Thème : Zn
1 Description des sous-groupes de Zn
Soit Gun groupe abélien, dont la loi est notée additivement, isomorphe à Zn. Si φ:Zn→Gest un
isomorphisme, alors, en posant ei=φ(0,...,0,1,0,...,0) (où le 1est à la iième place), φest de la
forme :
φ:Zn→G
(x1, x2, . . . , xn)7→ x1e1+x2e2+. . . +xnen
Une famille telle famille (e1, e2, . . . , en)est appelée base G.
Deux bases éventuelles ont même longueur : si (e1, e2, . . . , en)et (f1, f2, . . . , fm)sont deux bases de
G, alors il existe A= (ai,j )i,j ∈Mn,m(Z)et B= (bi,j )i,j ∈Mm,n(Z)telles que :
∀j∈[[1, m]], fj=
n
X
i=1
ai,j eiet ∀i∈[[1, n]], ei=
m
X
k=1
bk,ifk
Il vient, pour tout j∈[[1, m]],fj=
n
X
i=1
ai,j
m
X
k=1
bk,ifk=
m
X
k=1 n
X
i=1
bk,iai,j !fk, d’où BA =Im. De la
même façon, AB =Inet l’on a m= Tr(BA) = Tr(AB) = n.
Si un groupe abélien Gadmet une base de longueur n, c’est-à-dire est isomorphe à Zn, l’entier nest
donc déterminé de manière unique. On dit que Gest un groupe abélien libre de rang n.
Proposition 1 Si Hest un sous-groupe de Zn, alors Hest un groupe abélien libre de rang r6n.
Preuve : par récurrence sur n.
n= 1 : Un sous-groupe de Zsont de la forme aZ, donc isomorphe à {0}ou Z. Il est donc libre de rang
r= 0 ou 1.
Supposons n > 1et le résultat vrai au rang n−1. Soit Hun sous-groupe de Zn. Notons p:Zn→Z
l’application définie par p(x1, x2, . . . , xn) = x1. L’ensemble p(H)est un sous-groupe de Z. Si p(H) =
{0}alors H⊂ {0} × Zn−1et l’hypothèse de récurrence permet de conclure. Sinon, p(H)est de la
forme aZ, où a∈N∗. Soit f1∈Htel que p(f1) = a. On a, pour tout x∈H, l’existence de k∈Z
tel que p(x) = k.a =k.p(f1)d’où p(x−k.f1) = 0 et x−k.f1∈({0} × Zn−1)∩H. Ceci montre
H=Zf1⊕({0} × Zn−1)∩H(la somme est clairement directe puisque Zf1⊕({0} ∩ Zn−1) = {0})
et l’hypothèse de récurrence permet de conclure.
Théorème 1 Soient Gun groupe abélien libre de rang net Hun sous-groupe de G, de rang r6n. Il
existe une base (e1, e2, . . . , en)de Get a1, a2, . . . , ar∈N\ {0}vérifiant ai|ai+1 pour tout i∈[[1, r −1]]
et tels que (a1e1, a2e2, . . . , arer)soit une base de H.
1