Lycée Louis-Le-Grand, Paris Pour le 18/12/2014
MPSI 4 – Mathématiques
A. Troesch
DM no9 : Groupes abéliens
Problème 1 Structure des groupes abéliens de type fini
On dit qu’un groupe abélien G(noté additivement) est de type fini s’il existe un système générateur (ou famille
génératrice) fini(e) Xde G, autrement dit, s’il existe un nombre fini d’éléments (xi)i[[1,n]] tels que
G=hx1i+hx2i+···+hxni={α1x1+···+αnxn,(α1,...,αn)Zn}.
Le but de ce problème est de montrer le théorème de structure des groupes abéliens de type fini, stipulant que tout
groupe abélien de type fini est isomorphe à un groupe
Zk×(Z/d1Z)× · · · × (Z/dZ),
où on a une chaîne de divisibilité d|d1| · · · | d1, avec d1>2.
Dans tout le problème, les groupes sont supposés abéliens, et notés additivement.
Partie I Sommes directes
Soit Gun groupe abélien (additif), et H1et H2deux sous-groupes de G. On définit la somme
H1+H2={h1+h2|h1H1, h2H2}.
On dit que la somme est directe si pour tout xH1+H2, l’écriture de xsous la forme x=h1+h2est unique (avec
h1H1et h2H2) On désigne dans ce cas par H1H2la somme directe.
1. Dans Z2, soit H1=Z·(2,1) = {n(2,1), n Z}et H2=Z·(0,2). Décrire la somme H1+H2. Est-elle directe ?
2. Dans (Z,+), décrire la somme aZ+bZ, où (a, b)(Z)2. Est-elle directe ?
3. Soit H1et H2deux sous-groupes d’un groupe abélien G.
(a) Montrer que H1+H2est un sous-groupe de G.
(b) Montrer que si H1+H2est directe, alors les groupes H1H2et H1×H2sont isomorphes.
4. Montrer que si H1,H2et H3sont des sous-groupes d’un groupe abélien G, on a :
(H1+H2) + H3=H1+ (H2+H3),
et que si les deux sommes du membre de gauche sont directes, il en est de même des deux sommes du membre
de droite. Cela nous autorise à écrire plus simplement H1+H2+H3, et dans le cas où les sommes sont directes,
H1H2H3, et plus généralement H1+···+Hnet H1 · · · Hn.
Partie II Groupes abéliens libres de type fini
On définit de façon plus générale une somme d’une infinité de sous-groupes (Hi)iIpar
X
iI
Hi=(X
iI
hi|hiHi,presque tous nuls),
ce qui signifie que dans chacun des sommes, seul un nombre fini de termes hiest non nul. On dit que la somme est
directe si tout élément de la somme se décompose de façon unique de cette manière.
On dit qu’un groupe abélien Gest libre s’il existe un système générateur X={xi, i I} ⊂ Gtel que pour tout tout
i[[1, n]],hxiiest isomorphe à Z, et tel que
G=M
iI
hxii,
notation synthétique signifiant que Gest la somme directe de la famille infinie de groupes hxii.
On dit dans ce cas que (xi)iIest une base de G.
On dit qu’un groupe abélien libre Gest de type fini s’il existe une base finie (x1,...,xn)de G.
On se donne un groupe abélien G, supposé libre et de type fini, et (x1,...,xn)une base de G.
1
1. Soit (yi)iIune base infinie de G. En considérant les décompositions des xien sommes de yi, montrer qu’il existe
une sous-famille finie (yi)iJde (yi)iItelle que pour tout [[1, n]],xM
jJ
hyji.
En déduire que toute base de Gest finie.
2. Soit ϕ:G7→ Gdéfinie par x7→ 2x.
(a) Montrer que ϕest un morphisme de groupes.
(b) Montrer que ϕ(G)est un groupe libre dont une base est donnée par (2x1,...,2xn).
(c) Quel est le cardinal de l’ensemble des classes de Gmodulo ϕ(G)?
3. Déduire du résultat précédent que toute base de Gest de cardinal n. Ce cardinal commun est appelé rang du
groupe libre G.
Partie III Groupes abéliens sans torsion
On dit qu’un groupe abélien Gest sans torsion si tout x6= 0,xest d’ordre infini.
On dit qu’un groupe abélien Gest un groupe de torsion si tout xGest d’ordre fini.
1. Qest-il un groupe de torsion ? un groupe sans torsion ? Même question pour le groupe quotient Q/Z. Même
question pour C.
2. Montrer qu’un groupe abélien libre est sans torsion.
3. On veut montrer que réciproquement, un groupe sans torsion de type fini est libre. Soit Gun groupe abélien de
type fini, sans torsion.
(a) On suppose que Gn’admet pas de base. Justifier, pour toute famille génératrice Xde cardinal fini, l’existence
du minimum mXde l’ensemble
CX=(X
xX
|nx|nxZnon tous nuls et X
xX
nxx= 0.),
puis l’existence d’une famille génératrice Xde cardinal minimal ntelle que mXsoit minimale parmi les
familles génératrices de cardinal n. On se donne une telle famille et des coefficients nxassociés réalisant le
minimum mX.
(b) Montrer que l’existence d’un élément xZtel que |nx|= 1 contredirait la minimalité du cardinal de X.
(c) On suppose donc que pour tout xX,|nx| 6= 1. Justifier qu’il existe xet ydans Xtels que |nx|<|ny|et
|nx|ne divise pas |ny|.
(d) En effectuant la division euclidienne de |ny|par |nx|, trouver une famille génératrice de Gcontredisant la
minimalité de mX.
4. En déduire que tout groupe libre de type fini sans torsion est isomorphe à un groupe Zn, et ceci pour une unique
valeur de n.
Partie IV – Groupes de torsion
On suppose ici que Gest un groupe abélien de torsion de type fini non réduit à {0}.
1. Montrer que Gest un groupe fini.
2. Soit xun élément de Gd’ordre maximal, cet ordre étant noté d1. Montrer que pour tout yde G, l’ordre de y
divise d1.
3. Soit Hle sous-groupe de Gengendré par x. Justifier que la loi de groupe de Gpasse au quotient sur l’ensemble
G/H des classes d’équivalence modulo H, et qu’elles définissent sur G/H une structure de groupe.
4. Justifier que Gest isomorphe à H×G/H
5. En déduire qu’il existe une chaîne d’entiers strictement supérieurs à 1, tels que d|d1| · · · | d1, telle que G
soit isomorphe à Z/d1Z× · · · × Z/dZ.
Par convention, on considérera que le groupe nul {0}admet une décomposition de ce type avec = 0.
Partie V – Théorème de structure des groupes de type fini
On démontre ici le résultat annoncé dans l’introduction. On se donne Gun groupe abélien de type fini, et on définit
T(G)le sous-ensemble de Gformé des éléments d’ordre fini de G.
1. Montrer que T(G)est un sous-groupe de G, et que le groupe quotient G/T (G)est un groupe libre de type fini
et sans torsion.
2. En déduire le théorème de structure donné dans l’introduction du problème.
3. Démontrer l’unicité des exposants net di.
2
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !