Groupes rsolubles, nilpotents, et -groupes

Thibault Monfort
Promoteur : Pr. Marino Gran
Universit catholique de Louvain
Facult des Sciences
cole de Mathmatiques
20102011
Table des matires
Remerciements 5
Introduction 7
1 Groupes 9
1.1 Rappels : Thormes disomorphisme . . . . . . . . . . . . . . . . . . . . . . 9
1.2 Groupes rsolubles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2.1 Concepts de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2.2 Proprits de stabilit . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3 Groupes nilpotents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.3.1 Concepts de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.3.2 Proprits de stabilit . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.4 Construction du groupe libre . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2 -groupes 25
2.1 Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2 Thormes disomorphisme . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.3 -groupes abliens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.4 -groupes rsolubles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.4.1 Concepts de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.4.2 Proprits de stabilit . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.5 -groupes nilpotents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.5.1 Concepts de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.5.2 Proprits de stabilit . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Conclusion 43
Bibliographie 45
3
Remerciements
Avant toute chose, je tiens remercier ici Monsieur le Professeur Marino Gran qui ma
accompagn tout au long de ce travail. Son soutien et ses conseils mont t trs prcieux.
5
Introduction
Lalgbre, et notamment la thorie des groupes, correspond une dmarche et une
tournure desprit que japprcie tout particulirement. Cest donc tout naturellement que
je me suis tourn vers ce domaine.
Jai t rapidement intress par lide de dvelopper les notions de groupes rsolubles
et de groupes nilpotents, qui peuvent tre vus comme des gnralisations des groupes ab-
liens. En eet, ceux-ci ont dintressantes applications dans de nombreux domaines de
lalgbre. Les groupes rsolubles, par exemple, sont trs utiles en thorie de Galois. Dans
cette thorie, en grande partie dveloppe par le mathmaticien franais variste Galois
(Bourg-la-Reine, 25 octobre 1811 - Paris, 31 mai 1832), cette notion est intimement lie
la rsolution dquations polynomiales par des radicaux. On peut en eet associer toute
quation polynomiale coecients dans un corps K une extension de corps, note L : K,
cest--dire un morphisme injectif i : K L, o L est galement un corps. On dnit
ensuite les K-automorphismes de L comme tant les automorphismes de L tels que
(k) = k, k K. On peut montrer quen gnral, si L : K est une extension de corps,
lensemble de tous les K-automorphismes de L forme un groupe pour la composition des
fonctions, que lon nomme groupe de Galois de L : K. Enn, on peut voir que la rsolubilit
dune quation polynomiale est lie la rsolubilit de son groupe de Galois, ce qui justie
le terme de groupe rsoluble.
Dans ce chapitre, je rappellerai des notions fondamentale de la thorie des groupes, avant
de mintresser essentiellement aux notions de suite drive et de suite centrale descendante
qui seront primordiales pour dnir les groupes rsolubles et nilpotents respectivement. Je
prsenterai galement quelques rsultats intressants (par exemple la non-rsolubilit de
S
n
, ds que n 5), et les proprits de stabilit des groupes rsolubles et nilpotents sous
les oprations usuelles de groupe (passage un sous-groupe, passage au quotient, . . .). Pour
ce chapitre, je me suis essentiellement bas sur [5] et [6].
Il ma galement t propos de prsenter les groupes oprateurs multiples au sens de
Higgins, aussi connus sous le nom d-groupes. Jai immdiatement t attir par lide
dtudier cette thorie, qui gnralise non seulement la thorie des groupes, mais gale-
ment celle des anneaux, modules, espaces vectoriels,. . .. On peut en eet voir, travers
cette notion d-groupes, quel point ces structures algbriques sont proches les unes des
autres et partagent de nombreux points communs, ce qui napparat pas immdiatement.
Dans ce chapitre, je donnerai des dnitions, et jillustrerai les parallles entre les -
groupes et les structures algbriques les plus connues (groupes, anneaux, modules, . . .). Je
mattacherai galement dmontrer les thormes disomorphisme dans les -groupes, et
jintroduirai les notions de suite drive et de suite centrale descendante dun -groupe,
et je dnirai les notions d-groupes rsolubles et nilpotents. Pour ce chapitre, je me suis
bas essentiellement sur larticle de Higgins, [4].
7
Le contenu du prsent travail est accessible tout lecteur familier avec les notions dve-
loppes dans le cours dalgbre de deuxime anne.
8
1 Groupes
1.1 Rappels : Thormes disomorphisme
Dnition 1.1. Soit G un groupe. Un sous-groupe H G est dit distingu ou normal
dans G, si
x G, xHx
1
H.
On note alors H G.
Enonons maintenant le thorme de factorisation canonique dun morphisme de groupes.
Thorme 1.1. Soit f : G G

un morphisme de groupes. f se factorise sous la forme

f = i
G
f
//

G/ker(f)

//
f(G) = im(f)
i
OO
o x, (x) = x = xker(f) est le quotient canonique, le morphisme tel que (g) = f(g))
est bijectif et i dni par i(f(g)) = f(g), est un monomorphisme.
Le premier thorme disomorphisme, que nous nonons maintenant est une cons-
quence directe du thorme de factorisation canonique dun morphisme de groupes.
Thorme 1.2. (Premier thorme disomorphisme) Soit f : G G

un morphisme de
groupes. f induit un isomorphisme : G/ker(f)

= im(f).
Le deuxime thorme disomorphisme snonce comme suit :
Thorme 1.3. (Deuxime thorme disomorphisme) Soit G un groupe, H G un sous-
groupe de G et K G. Alors,
HK/K

= H/H K,
o HK = hk[h H, k K.
Enn, le troisime thorme disomorphisme snonce de la manire suivante :
Thorme 1.4. (Troisime thorme disomorphisme) Soit G un groupe, H K G tels
que H G et K G. Alors, K/H G/H, et on a un isomorphisme
G/K

=
G/H
K/H
.
9
1. Groupes
1.2 Groupes rsolubles
Nous allons voir une gnralisation du concept de groupe ablien.
1.2.1 Concepts de base
Nous aurons besoin des dnitions suivantes :
Dnition 1.2. Soit G un groupe, et soient x, y G. On dnit le commutateur de x et
y comme suit : [x, y] = xyx
1
y
1
Dnition 1.3. Soit G un groupe. On appelle sous-groupe driv de G et on note [G, G]
le sous-groupe de G engendr par les commutateurs [x, y], o x, y G.
Rappelons que le sous-groupe driv [G, G] est toujours un sous-groupe distingu de G,
ce qui nous permet de quotienter G par [G, G].
Proposition 1.5. Soit G un groupe. Alors, G/[G, G] est ablien. De manire plus gnrale,
si HG est un sous-groupe distingu, alors G/H est ablien si et seulement si [G, G] H.
Cette proposition implique que G/[G, G] est le plus grand quotient ablien de G.
Nous pouvons dnir la suite drive :
D
0
G = G,
D
n
G = [D
n1
G, D
n1
G], n 1,
et nous avons G D
1
G D
2
G ....
Dnition 1.4. On dit quun groupe G est rsoluble sil existe n N tel que D
n
G = 1.
On appelle classe de rsolubilit de G le plus petit n N pour lequel D
n
G = 1. On le note
cl(G).
Exemple 1.1. Si G = 1, alors G est trivialement rsoluble, et cl(G) = 0. En eet, si on
se ramne la dnition, on voit que D
0
G = G = 1.
Si G est un groupe ablien non trivial, alors D
1
G = 1,et cl(G) = 1.
Il existe dans la littrature une autre dnition (quivalente) de groupe rsoluble, qui
est donne par le point (3) de la proposition suivante.
Proposition 1.6. Soit G un groupe, n N, n 1. Les conditions suivantes sont quiva-
lentes :
1. G est rsoluble et cl(G) n
2. il existe une suite
1 = G
n
G
n1
. . . G
0
= G
telle que i 0, . . . , n 1,G
i
G, et G
i
/G
i+1
est ablien.
3. G admet une suite ablienne, cest--dire une suite
1 = G
n
G
n1
. . . G
0
= G
telle que i 0, . . . , n 1, G
i
/G
i+1
est ablien.
4. il existe A G, tel que A est ablien et tel que G/A est rsoluble, de classe de
rsolubilit cl(G/A) n 1
10
1.2. Groupes rsolubles
Dmonstration. (1) (2) : Posons, pour tout i 0, G
i
= D
i
G.
Nous aimerions voir que 1 i n, D
i
GG. Lide est en fait de voir que 1 i n,
D
i
G est stable pour tout automorphisme de G, car alors ce serait en particulier le cas pour
tout automorphisme intrieur et on aurait
a G, x D
i
G,
a
(x) = axa
1
D
i
G,
et par consquent D
i
GG.
Montrons cela par rcurrence : D
1
G est stable pour tout automorphisme de G. En eet,
soit x D
1
G. Il existe donc x
1
, . . . , x
n
, y
1
. . . , y
n
G tels que
x = [x
1
, y
1
]

1
[x
2
, y
2
]

2
. . . [x
n
, y
n
]

n
,
o
i
= 1 , i = 1, ..., n, car D
1
G est le groupe engendr par les commutateurs de G.
Soit un automorphisme de G. On a donc que (g) G, g G. On a
(x) =
_
n

i=1
[x
i
, y
i
]

i
_
=
_
n

i=1
(x
i
y
i
x
1
i
y
1
i
)

i
_
=
n

i=1
((x
i
y
i
x
1
i
y
1
i
)

i
))
=
n

i=1
((x
i
)(y
i
)(x
1
i
)(y
1
i
))

i
=
n

i=1
[(x
i
), (y
i
)]

i
D
1
G.
Donc, D
1
G est stable par automorphisme.
Montrons maintenant que si D
k1
G est stable par automorphisme de G, alors D
k
G est
stable par automorphisme de G. Soit donc un automorphisme de G, et soit x D
k
G. Il
existe donc x
1
, . . . , x
n
, y
1
. . . , y
n
D
k1
G tels que
x = [x
1
, y
1
]

1
[x
2
, y
2
]

2
. . . [x
n
, y
n
]

n
,
o
i
= 1 ,i = 1, ..., n, car D
k
G est le groupe engendr par les commutateurs de D
k1
G.
De la mme manire que ci-dessus, on peut crire
(x) =
n

i=1
[(x
i
), (y
i
)]

i
,
o le membre de droite est bien un lment de D
k
G, car (x
i
), (y
i
) D
k1
G, grce
lhypothse de stabilit de D
k1
G par automorphisme de G.
Finalement, on a donc montr que i = 1, . . . , n, D
i
GG, et comme on a bien galement
1 = D
n
G . . . D
1
G D
0
G = G,
par la rsolubilit de G, lassertion (1) (2) est prouve.
11
1. Groupes
(2) (3) : Cette assertion est trs simple dmontrer. Il sut en eet de remarquer
que si G
i
G, i et si G
i
G
i+1
, alors G
i
G
i+1
, et donc toute suite satisfaisant (2)
satisfait galement (3).
(3) (1) : Par hypothse, on a donc une suite
1 = G
n
. . . G
0
= G,
o G
i
/G
i+1
est ablien.
Nous allons maintenant montrer par rcurrence que D
i
G G
i
1 i n.
On sait dj par la proposition 1.5 que D
1
G G
1
, car G
0
/G
1
= G/G
1
est ablien.
Montrons maintenant que si D
k1
G
k1
, alors D
k
G
k
. Supposons donc que D
k1

G
k1
. Comme G
k1
/G
k
est ablien, G
k
D
1
G
k1
D
1
(D
k1
G), la premire inclusion
tant due la proposition 1.5, et la deuxime tant due lhypothse de rcurrence et au
fait (vident) que H G D
1
H D
1
G. Et donc, nalement, G
k
D
k
G.
Par consquent, D
n
G G
n
= 1, et donc D
n
G = 1, ce qui termine de prouver lasser-
tion.
(1) (4) : Posons A = D
n1
G. On montre aisment que A est ablien : D
n
G =
D
1
D
n1
G = 1, donc D
1
A = 1, et A est donc ablien. On a ensuite que A G,
car on a prouv plus tt que D
k
G G, 1 k n. Il reste maintenant voir que
G/A est rsoluble, avec cl(G/A) n 1. Il sut pour cela de remarquer quon a 1 =
D
n1
G/D
n1
G D
n2
G/D
n1
G . . . D
0
G/D
n1
G = G/D
n1
G = G/A, et par
consquent, G/A est rsoluble, de classe de rsolubilit n 1
(4) (1) : On a par hypothse un sous-groupe distingu A G, tel que A est ab-
lien, et G/A est rsoluble de classe de rsolubilit n1. On a, par (1) (2), quil existe
une srie B
0
= G/A B
1
. . . B
n1
= 1, avec B
i
G/A, 1 i n 1, et donc
il existe une suite A
0
= G A
1
. . . A
n1
= A, o A
i
/A = B
i
, 1 i n 1, et
o A
i
G, 1 i n 1, et telle que la suite G/A A
1
/A . . . A
n1
/A = 1 vrie
(2). Finalement, la suite G A
1
. . . A
n1
1 vrie (2). Finalement, limplication
(2) (1) applique G permet de conclure.
Remarque 1.1. La classe de rsolubilit dun groupe est galement la longueur de la
suite ablienne la plus courte (la longueur de la suite ablienne 1 = G
n
G
n1
. . .
G
1
G
0
= G tant gale n). Cette nouvelle "dnition" de la classe de rsolubilit est
bien quivalente celle donne dans la dnition 1.4, grce lquivalence (1) (3) de la
proposition prcdente.
Exemple 1.2. Le groupe S
3
des permutations 3 lments nest pas ablien. Par contre,
il est rsoluble, de classe de rsolubilit cl(S
3
) = 2. En eet,
D
0
S
3
= S
3
D
1
S
3
=
__
1 2 3
1 2 3
_
,
_
1 2 3
2 3 1
_
,
_
1 2 3
3 1 2
__
D
2
S
3
=
__
1 2 3
1 2 3
__
= 1
S
3
(Identit sur S
3
).
Pour se convaincre du fait que
D
1
S
3
=
__
1 2 3
1 2 3
_
,
_
1 2 3
2 3 1
_
,
_
1 2 3
3 1 2
__
,
12
1.2. Groupes rsolubles
calculons, titre dexemple, le commutateur :
__
1 2 3
2 3 1
_
,
_
1 2 3
3 2 1
__
=
_
1 2 3
2 3 1
__
1 2 3
3 2 1
__
1 2 3
2 3 1
_
1
_
1 2 3
3 2 1
_
1
=
_
1 2 3
2 3 1
__
1 2 3
3 2 1
__
1 2 3
3 1 2
__
1 2 3
3 2 1
_
=
_
1 2 3
3 1 2
_

__
1 2 3
1 2 3
_
,
_
1 2 3
2 3 1
_
,
_
1 2 3
3 1 2
__
.
En calculant tous les autres commutateurs dlments du groupe S
3
, on se rend compte
quon tombe toujours sur lune des trois permutations suivantes :
_
1 2 3
1 2 3
_
,
_
1 2 3
2 3 1
_
,
_
1 2 3
3 1 2
_
.
Ces trois permutations formant dj un groupe, le groupe quelles engendrent est prcis-
ment
__
1 2 3
1 2 3
_
,
_
1 2 3
2 3 1
_
,
_
1 2 3
3 1 2
__
.
On remarque enn que
_
1 2 3
2 3 1
_
et
_
1 2 3
3 1 2
_
sont inverses lune de lautre. Par consquent, les seuls commutateurs possibles dlments
du groupe
__
1 2 3
1 2 3
_
,
_
1 2 3
2 3 1
_
,
_
1 2 3
3 1 2
__
sont gaux
_
1 2 3
1 2 3
_
= 1
S
3
,
ce qui termine dtablir la rsolubilit de S
3
.
Rappelons deux dnitions :
Dnition 1.5. Soit G un groupe. On appelle sous-groupe propre de G tout sous-groupe
de G distinct de G.
Dnition 1.6. Un groupe G est simple sil est non trivial et si ses seuls sous-groupes
distingus sont 1 et G.
Remarque 1.2. Une autre manire de formuler la dnition prcdente est de dire quun
groupe est simple sil ne possde aucun sous-groupe propre distingu dirent de 1.
Il existe un rsultat intressant, qui caractrise les groupes rsolubles simples. Mais avant,
rappelons le thorme de Lagrange :
Proposition 1.7. (Thorme de Lagrange) Soit G un groupe ni et soit H G un sous-
groupe de G. Alors, lordre de H divise lordre de G.
13
1. Groupes
Nous aurons galement besoin du rsultat suivant :
Thorme 1.8. Les seuls groupes abliens simples sont les groupes cycliques dordre pre-
mier.
Dmonstration. Soit G un groupe ablien simple. Comme G ,= 1, il existe un lment
g G, g ,= 1. Le sous-groupe engendr par g, g est normal (tout sous-groupe dun groupe
ablien est normal), et non-trivial. Par consquent, on doit avoir g = G, et G est donc
monogne.
G est galement ni (et, par la mme occasion, cyclique). En eet, si ce ntait pas le
cas, il serait isomorphe Z (voir, par exemple, [3], Thorme 2.13.7, page 39), et donc il
existerait un sous-groupe H G, H

= 2Z, qui serait un sous-groupe normal propre non
trivial, ce qui serait une contradiction. Par consquent, G est dordre n, o n est un entier
positif. Supposons que n ne soit pas premier. Alors, comme G

= Z/nZ, on a que pour tout
entier positif m tel que m[n, le sous-groupe m(Z/nZ) est distingu dans Z/nZ. Ds lors, il
existe H G, H

= (Z/nZ), qui est donc tel que H G, et qui est non-trivial, et distinct
de G. On arrive donc une contradiction, et n ne peut qutre premier.
Rciproquement, le thorme de Lagrange (proposition 1.7) assure quun groupe cyclique
dordre premier ne possde pas de sous-groupe propre, et par consquent est simple.
Proposition 1.9. Soit G un groupe rsoluble. Il est simple si et seulement si il est cyclique,
et dordre premier.
Dmonstration. Comme G est rsoluble, il admet une suite ablienne
1 = G
n
G
n1
. . . G
0
= G,
o lon peut supposer sans perte de gnralit que G
i
,= G
i+1
. Par consquent, G
1
est
un sous-groupe propre distingu de G. Comme G est simple, par hypothse, G
1
= 1.
Par consquent, G/G
1
= G, et comme on a suppos que la suite ci-dessus tait ablienne,
G/G
1
est ablien, donc G est ablien. Le thorme prcdent permet de conclure.
1.2.2 Proprits de stabilit
La rsolubilit dun groupe est une proprit stable pour beaucoup doprations sur les
groupes.
Proposition 1.10. Tout sous-groupe dun groupe rsoluble est rsoluble.
Dmonstration. Soit, en eet, un groupe G rsoluble, et soit H G. Trivialement, on a
que [H, H] [G, G], et en appliquant plusieurs fois ce rsultat, D
n
H D
n
G = 1, et
donc D
n
H = 1, ce qui prouve la rsolubilit de H.
Rappelons la dnition du groupe altern :
Dnition 1.7. Soit S
n
le groupe symtrique de degr n. On dnit le groupe altern (A
n
)
de degr n le noyau du morphisme
sgn : S
n
1, 1,
qui, chaque permutation S
n
, associe sa signature.
14
1.2. Groupes rsolubles
Nous accepterons le rsultat suivant, dont la dmonstration est reprise dans [7] :
Proposition 1.11. Si n 5, alors A
n
est simple.
Ceci nous mne un rsultat trs important :
Thorme 1.12. Si n 5, alors S
n
nest pas rsoluble.
Dmonstration. Supposons au contraire que S
n
est rsoluble. Alors, par la proposition 1.10,
A
n
est galement rsoluble. De plus, par le thorme prcdent, A
n
est simple. Nous
pouvons donc conclure de la proposition 1.9 que A
n
est cyclique et dordre premier. Or,
[A
n
[ =
n!
2
(voir [3], page 55), et
n!
2
nest pas premier, ds lors que n 5.
Revenons aux proprits de stabilit :
Proposition 1.13. Soit G un groupe rsoluble et N G. Alors G/N est rsoluble.
Dmonstration. G tant rsoluble, il admet, par la proposition 1.6 un suite ablienne
1 = G
n
. . . G
0
= G.
Par consquent, G/N admet une suite
1 = N/N = G
n
N/N G
n1
N/N . . . G
0
N/N = G/N
dans laquelle on voudrait voir que
G
i+1
N/N
G
i
N/N
est ablien. Or, par le troisime thorme disomorphisme,
G
i+1
N
G
i
N
=
G
i+1
(G
i
N)
G
i
N

=
G
i+1
G
i+1
(G
i
N)

=
G
i+1
/G
i
(G
i+1
(G
i
N))/G
i
.
Le dernier terme est un quotient de G
i+1
/G
i
, qui est ablien (par dnition de suite
ablienne). Ce dernier terme est donc lui aussi ablien. G/N est donc rsoluble.
Introduisons deux nouvelles dnitions :
Dnition 1.8. Soient (G
i
)
iI
(o I est au plus dnombrable) des groupes, et f
i
: G
i

G
i+1
des morphismes de groupe. Une suite
. . . G
0
f
1
//
G
1
f
2
//
G
2
f
3
//
. . . G
i
f
i
//
G
i+1
f
i+1
// . . .
est une suite exacte si i I, im(f
i1
) = ker(f
i
).
Dnition 1.9. Soit G un groupe, et N G un sous-groupe distingu. On dnit une
extension de G par G/N par une suite exacte
1
//
N
i
//
G

//
G/N
//
1
Remarque 1.3. Dans la dnition prcedente, on voit que i est un monomorphisme (cest-
-dire, pour rappel, un morphisme injectif), tandis que est un pimorphisme (cest--dire,
pour rappel, un morphisme surjectif). En eet, ker(i) = 1, par dnition de suite exacte,
et im() = G/N
15
1. Groupes
Notation 1. Lextension de la dnition ci-dessus peut galement se noter de la faon
suivante :
N
i
//
G

//
G/N
La rsolubilit est galement conserve par extension de groupe :
Proposition 1.14. Soit G un groupe et N G un sous-groupe distingu. Si N et G/N
sont rsolubles, alors G est rsoluble.
Dmonstration. Par rsolubilit de N et de G/N, il existe deux suites abliennes
1 = N
m
N
m1
. . . N
1
N
0
= N
et
1 = N/N = G
n
N/N G
n1
N/N . . . G
1
N/N G
0
N/N = G/N.
En "multipliant" les termes de la deuxime suite par N, et en "concatnant" la suite ainsi
obtenue avec la suite ablienne de N, on obtient une suite :
1 = N
m
N
m1
. . . N
1
N
0
= N = G
n
G
n1
. . . G
1
G
0
= G.
Il reste voir que cette suite est ablienne. Or, les quotients dun lment de la suite
par son conscutif sont de la forme N
i+1
/N, ou G
i+1
/G
i
. Le premier de ces quotients est
ablien, par rsolubilit de N, et le deuxime est ablien, car il est isomorphe
G
i+1
/N
G
i
/N
qui est ablien par rsolubilit de G/N.
Enn, le produit cartsien prserve la rsolubilit :
Proposition 1.15. Soient G et H deux groupes rsolubles, avec cl(G) n et cl(H) m.
Le produit cartsien GH est rsoluble, et cl(GH) max(n, m).
Dmonstration. Par hypothse, D
n
G = 1 = D
m
H. Soient g
1
, g
2
G et h
1
, h
2
H. Par
dnition, la loi de composition sur G H est donne par (g
1
, h
1
)(g
2
, h
2
) = (g
1
g
2
, h
1
h
2
),
et on a galement que (g
1
, h
1
)
1
= (g
1
1
, h
1
1
). Par consquent, on dnit un commutateur
sur GH comme suit :
[(g
1
, h
1
), (g
2
, h
2
)] = (g
1
, h
1
)(g
2
, h
2
)(g
1
, h
1
)
1
(g
2
, h
2
)
1
= (g
1
g
2
g
1
1
g
1
2
, h
1
h
2
h
1
1
h
1
2
)
= ([g
1
, g
2
], [h
1
, h
2
]).
Par rcurrence, on trouve sans peine que D
k
(GH) = D
k
GD
k
H.
Finalement, on conclut aisment que si l = max(m, n), alors
D
l
(GH) = D
l
GD
l
H = 1 1.
Le rsultat est donc prouv.
16
1.3. Groupes nilpotents
1.3 Groupes nilpotents
1.3.1 Concepts de base
Dnition 1.10. La suite centrale descendante dun groupe G est la suite (note (C
n
G)
n1
)
dnie par
C
1
G = G
C
n+1
G = [G, C
n
G](n 1)
Proposition 1.16. Soit G un groupe. Pour tout n 1, C
n
GG.
Dmonstration. Nous allons suivre le mme genre dide que dans la dmonstration de
lassertion (1) (2) dans la dmonstration de la proposition 1.6. Nous allons en eet
montrer que n 1, C
n
G est stable pour tout automorphisme de G.
Dmontrons ce rsultat par rcurrence. Pour n = 1, le rsultat est trivial, puisque C
1
G = G.
Supposons le rsultat vrai pour n = k, et prenons x C
k+1
G. Par dnition de C
k+1
G, x
peut scrire de la manire suivante :
x =
l

i=1
[x
i
, y
i
]

i
,
o x
i
G et y
i
C
k
G.
Soit maintenant un automorphisme de G. On a,
(x) =
_
l

i=1
[x
i
, y
i
]

i
_
=
l

i=1
([x
i
, y
i
]

i
)
=
l

i=1
[(x
i
), (y
i
)]

i
,
o (x
i
) G, car x
i
G, et (y
i
) C
k
G, car y
i
C
k
G, et on a suppos C
k
G stable par
automorphisme de G.
C
n
G tant stable pour tout automorphisme de G, il est en particulier stable pour tout
automorphisme intrieur de G, et par consquent, g G, x C
n
G (n 1),
g
(x) =
gxg
1
C
n
G, et donc C
n
GG.
Dnition 1.11. Soit G un groupe. On dit que G est nilpotent sil existe n N tel que
C
n+1
G = 1. On appelle alors classe de nilpotence de G le plus petit n N tel que
C
n+1
G = 1.
Exemple 1.3. Le groupe 1 est trivialement nilpotent.
Tout groupe ablien est nilpotent, de classe de nilpotence 1 (lgalit a lieu si le
groupe ablien est non-trivial).
17
1. Groupes
Nous allons voir que les groupes nilpotents sont galement, en particulier, rsolubles.
Proposition 1.17. Tout groupe nilpotent est rsoluble.
Dmonstration. Soit G un groupe nilpotent. On a facilement, pour tout n 0, D
n
G
C
n+1
G. Par consquent, comme G est nilpotent, il existe n tel que C
n+1
G = 1, et donc,
pour ce n, D
n
G = 1.
Contre-exemple 1.4. S
3
est rsoluble mais nest pas nilpotent. En eet,
C
1
S
3
= S
3
,
C
2
S
3
=
__
1 2 3
1 2 3
_
,
_
1 2 3
2 3 1
_
,
_
1 2 3
3 1 2
__
,
C
3
S
3
=
__
1 2 3
1 2 3
_
,
_
1 2 3
2 3 1
_
,
_
1 2 3
3 1 2
__
= C
2
S
3
,
. . .
Le fait que
C
2
S
3
=
__
1 2 3
1 2 3
_
,
_
1 2 3
2 3 1
_
,
_
1 2 3
3 1 2
__
est tout simplement d au fait que C
2
G = D
1
G pour tout groupe G, et le dveloppement
de D
1
S
3
a dj t fait dans lexemple 1.2 .
Pour voir que C
3
S
3
= C
2
S
3
, il sut de montrer que
_
1 2 3
2 3 1
_
ou
_
1 2 3
3 1 2
_
est dans C
3
S
3
, car ces deux permutations sont inverses lune de lautre, et si lune est dans
C
3
S
3
, lautre devra forcment y tre galement, puisque C
3
S
3
est un groupe. De plus,
C
3
S
3
C
2
S
3
, ce qui entrane forcment lgalit. Calculons donc :
__
1 2 3
1 3 2
_
,
__
1 2 3
3 2 1
_
,
_
1 2 3
2 3 1
___
=
_
1 2 3
2 3 1
_

__
1 2 3
1 2 3
_
,
_
1 2 3
2 3 1
_
,
_
1 2 3
3 1 2
__
.
Les dtails de ce calcul sont laisss au lecteur. On remarque donc que la suite devient
stationnaire, ce qui implique que S
3
nest pas un groupe nilpotent.
1.3.2 Proprits de stabilit
Proposition 1.18. Tout sous-groupe dun groupe nilpotent est nilpotent.
Dmonstration. Soit G un groupe nilpotent, et H G. On a que, pour tout k, C
k
H C
k
G
et, par consquent, il existe n telque C
n
H = 1.
18
1.3. Groupes nilpotents
Par la suite, nous aurons besoin du lemme suivant :
Lemme 1.19. Soient A et B deux groupes, et un morphisme : A B surjectif. Le
morphisme
(n)
: C
n
A C
n
B, induit par est surjectif quelque soit n N.
C
n
A

(n)
//
i

C
n
B
j

//
B
Les morphismes i et j du diagramme prcdent reprsentent les injections canoniques. Nous
utiliserons les mmes notations par la suite.
Dmonstration. Pour n = 1, il ny a rien prouver. En eet, par dnition, C
1
G = G
pour tout groupe G.
Supposons lassertion vraie pour n. Il faut donc voir que lassertion reste vraie pour n+1.
Comme lassertion est vraie pour n, si : A B est un pimorphisme, alors
(n)
: C
n
A
C
n
B est galement un pimorphisme. On a donc
C
n
A

(n)
//
i

C
n
B
j

//
B
Il reste donc voir que le morphisme
(n+1)
: C
n+1
A C
n+1
B induit par
(n)
est
surjectif :
C
n+1
A

(n+1)
//

C
n+1
B

C
n
A

(n)
//
i

C
n
B
j

//
B
Or, C
n+1
A = [A, C
n
A] et C
n+1
B = [B, C
n
B]. Prenons un lment de C
n+1
B. Cet lment
est de la forme
k

i=1
[b
i
, b

i
]

i
, b
i
B, b

i
C
n
B et
i
= 1.
Or, tout b
i
B a un antcdent par dans A, puisque est surjectif, et tout lment b

i
de C
n
B a un antcdent par
(n)
dans C
n
A par lhypothse de rcurrence. Tout lment
[b
i
, b

i
]

i
de C
n+1
B a donc un antcdent [a
i
, a

i
]

i
C
n+1
A, et donc

k
i=1
[b
i
, b

i
]

i
a un
antcdent

k
i=1
[a
i
, a

i
]

i
par
(n+1)
dans C
n+1
A.
(n+1)
est donc un pimorphisme, ce qui
termine de prouver lassertion.
Proposition 1.20. Soit G un groupe et N G un sous-groupe distingu de G. Si G est
nilpotent, alors G/N est nilpotent.
Dmonstration. Par le lemme 1.19, lpimorphisme : G G/N (quotient canonique)
induit un pimorphisme : C
n+1
G C
n+1
(G/N). Par consquent,
C
n+1
(G/N) = C
n+1
((G)) =
(n+1)
(C
n+1
G) =
(n+1)
(1) = 1,
o
(n+1)
dsigne la restriction de C
n+1
G, conformment la notation du lemme 1.19.
G/N est donc nilpotent.
19
1. Groupes
Rappelons la dnition du centre dun groupe :
Dnition 1.12. Soit G un groupe. On appelle centre de G lensemble
(G) = x G[gx = xg g G.
Dnition 1.13. Une extension centrale dun groupe K est un groupe G tel quil existe
une suite exacte
1 H G K 1
telle que H (G).
Le lemme suivant nous sera utile dans la dmonstration de la proposition 1.22 :
Lemme 1.21. Soient G et G

deux groupes. On a :
1. Tout morphisme f : G G

se factorise comme compos dun pimorphisme et

dun monomorphisme i.
2. Si le compos i dun pimorphisme et dun monomorphisme i est tel que
(i )(G) = 1, alors (G) = 1.
Dmonstration. 1. Par le thorme 1.1, f se factorise sous la forme i , o i est un
monomorphisme, un isomorphisme et un pimorphisme. En prenant = , on
obtient le rsultat dsir.
G
f
//

=
((
P
P
P
P
P
P
P
P
P
P
P
P
P
P G

G/ker(f)

//
f(G) = im(f)
i
OO
2. Dans le diagramme ci-dessus, cela revient dire que f(G) = 1, et le fait que (G) =
1 suit directement. Plus rigoureusement, si (i)(G) = 1, alors i((G)) = 1. Comme
i est un monomorphisme, (G) ne peut tre que trivial.
Proposition 1.22. Un groupe G est nilpotent de classe n + 1 si et seulement sil est
une extension centrale dun groupe nilpotent K de classe n.
Dmonstration. () : Comme G est nilpotent de classe n + 1, on a par dnition
que C
n+2
G = 1. On a donc immdiatement que H := C
n+1
G (G). En eet, soit
x C
n+1
G. Comme 1 = C
n+2
G = [G, C
n+1
G], on a g G, [x, g] = 1. Par consquent,
x commute avec tout lment de G, donc x (G).
Si on pose K = G/C
n+1
G, on a immdiatement que la suite
1 H G K 1
est une suite exacte, telle que H (G). G est donc une extension centrale de K. Or, par
le lemme 1.19, l pimorphisme : G G/C
n+1
G (quotient canonique) induit un pimor-
phisme
(n+1)
: C
n+1
G C
n+1
(G/C
n+1
G), tel que le diagramme suivant commute :
C
n+1
G

(n+1)
//
i

C
n+1
(G/C
n+1
G)
j

//
G/C
n+1
G
20
1.4. Construction du groupe libre
Or, ( i)(C
n+1
G) = 1
G/C
n+1
G
, donc par le lemme 1.21, comme
(n+1)
est un pimor-
phisme, C
n+1
(G/C
n+1
G) = C
n+1
K doit tre rduit au neutre. Par consquent, K est
nilpotent, de classe n.
() : Supposons que G est une extension centrale dun groupe K, avec C
n+1
K = 1 (K
est nilpotent de classe n). Ds lors, il existe une suite exacte
1 H G K 1,
avec H (G). Or, par dnition de suite exacte, H est le noyau du morphisme G K.
Donc, comme C
n+1
K = 1, on doit avoir que C
n+1
G H, car le morphisme G K
induit un morphisme [G, G] [K, K], et plus gnralement un morphisme C
n+1
G
C
n+1
K dont le noyau est inclus dans celui de G K.
Par consquent, C
n+1
G (G), et donc C
n+2
G = [G, C
n+1
G] = 1. G est donc nilpotent
de classe n + 1.
Terminons cette section par le rsultat suivant :
Proposition 1.23. Soient G et H deux groupes nilpotents. Le produit cartsien GH est
galement nilpotent.
Dmonstration. De manire similaire ce qui a t fait dans la dmonstration de la propo-
sition 1.15, on montre que C
k
(GH) = C
k
GC
k
H. G tant nilpotent, il existe n N tel
que C
n
G = 1. De mme, comme H est nilpotent, il existe m N tel que C
m
H = 1.En
prenant l = max(n, m), on obtient : C
l
(GH) = C
l
GC
l
H = 1 1, ce qui prouve
le rsultat.
1.4 Construction du groupe libre
Dnition 1.14. Soit X un ensemble dindtermines et i : X G linsertion canonique
de X dans G. G sera appel le groupe libre sur X si pour toute application f : X H,
avec H un autre groupe, il existe un unique morphisme

f : G H tel que

f i = f.
On nomme lexistence (et lunicit) de

f la proprit universelle du groupe libre.
X
i
//
f

f
~~~
~
~
~
~
~
~
~
H
Thorme 1.24. Soit X un ensemble. Il existe un groupe libre sur X, unique isomor-
phisme prs.
Dmonstration. Dans cette dmonstration, nous allons construire le groupe libre en ques-
tion.
Commenons par introduire des inverses formels aux lments de X. Nous construisons
donc lensemble
X := X x
1
[x X.
Nous appellerons cet ensemble lalphabet du groupe libre. Pour n N, nous dnissons
W
n
(X) := x
1
...x
n
[x
1
, ..., x
n
X
lensemble des mots de longueur n dans X. En particulier, est le mot de longueur 0.
Dnissons enn
J(X) =
_
nN
W
n
(X),
21
1. Groupes
lensemble des mots dans X.
Il faut ensuite se donner une loi associative sur J(X). Dnissons pour ce faire l op-
ration dite produit par concatnation comme suit : tant donns deux mots x
1
...x
n
et
x

1
...x

m
dans J(X),
(x
1
...x
n
) (x

1
...x

m
) = x
1
...x
n
x

1
...x

m
.
Cette opration est clairement associative. Bien videmment, si on se donne x
1
...x
n
dans
J(X), on remarque de plus que
x
1
...x
n
= x
1
...x
n
= x
1
...x
n
,
ce qui signie plus simplement que est llment neutre de J(X).
Remarquons maintenant que les seuls inverses dlments de X que nous ayons introduits
sont des inverses formels. Autrement dit, x x
1
et x
1
x ne sont pas forcment gaux
. Nous allons donc introduire la relation dquivalence
x x
1
= xx
1
x
1
x = x
1
x,
qui induit naturellement une relation dquivalence sur
x
1
...xx
1
...x
n
x
1
...x
n
x
1
...x
1
x...x
n
.
Nous appellerons la suppression ou linsertion dans un mot quelconque de xx
1
ou de x
1
x
une modication lmentaire, et nous dirons que deux mots w
1
et w
2
sont quivalents (
w
1
w
2
) sils ne se direncient que par un nombre ni de modications lmentaires.
Il faut ensuite vrier que le produit par concatnation permet de munir J(X)/
(lensemble des classes dquivalence par la relation sur J(X)) dune structure de
groupe. Premirement, nous remarquons que si w
1
w

1
et w
2
w

2
, alors w
1
w
2
w

1
w

2
.
Par consquent, le produit induit un produit sur J(X)/ dni comme suit :
[w
1
] [w
2
] = [w
1
w
2
].
Lassociativit du produit dcoule directement de celle du produit , et [] est bien le
neutre pour le produit , puisque est le neutre pour . Si maintenant on prend un lment
[x
1
...x
n
] de J(X)/ , et quon crit
x
1
i
=
_
x
1
si x
i
= x (x X),
x si x
i
= x
1
(x
1
X X,)
on remarque directement que
[x
1
...x
n
] [x
1
n
...x
1
1
] = [] = [x
1
n
...x
1
1
] [x
1
...x
n
],
et donc que tout lment de J(X)/ possde un inverse par rapport au produit .
Vrions que le groupe (J(X)/ , , []) est bien un groupe libre sur X. Soit donc
linclusion i : X J(X)/ dnie par i(x) = [x], G un groupe et f : X G une
application. Montrons quil existe un unique morphisme

f : J(X)/ G tel que

f i =
f, ce qui impliquera que (J(X)/ , , []) est un groupe libre sur X, en vertu de la
22
1.4. Construction du groupe libre
dnition 1.14. Pour ce faire, dnissons une application

f : J(X) G comme suit : soit
x

1
1
...x

n
n
/(X), o
i
= 1 , alors on pose :

f(x

1
1
...x

n
n
) = f(x
1
)

1
.....f(x
n
)

n
.
On veut que

f(x) = f(x). On veut galement que

f induise un morphisme, et donc
que

f prserve le produit. Cette dnition de

f est donc lunique possible. On remarque
immdiatement que

f(x

1
1
...x

i
i
xx
1
x

i+1
i+1
...x

n
n
) = f(x
1
)

1
....f(x
i
)

i
.f(x).f(x)
1
.f(x
i+1
)

i+1
....f(x
n
)

n
= f(x
1
)

1
....f(x
i
)

i
.f(x
i+1
)

i+1
....f(x
n
)

n
= f(x
1
)

1
....f(x
i
)

i
.f(x)
1
.f(x).f(x
i+1
)

i+1
....f(x
n
)

n
=

f(x

1
1
...x

i
i
x
1
xx

i+1
i+1
...x

n
n
).
Donc, deux lments de J(X) quivalents par la relation dnie plus haut ont la mme
image par

f dans G :
w
1
w
2


f(w
1
) =

f(w
2
).
Par consquent, lapplication

f : J(X)/ G dnie par

f([w]) =

f(w) est bien dnie.
En particulier,

f i est bien gal f. Cest bien un morphisme, car

f([w
1
] [w
2
]) =

f([w
1
w
2
])
=

f(w
1
w
2
)
=

f(w
1
).

f(w
2
)
=

f([w
1
]).

f([w
2
])
Finalement, lunicit de

f entrane celle de

f. (J(X)/ , , []) est donc bien un groupe
libre sur X.
Pour terminer cette dmonstration, il reste prouver que (J(X)/ , , []) est lunique
groupe libre sur X, isomorphisme prs.
Soit donc un autre groupe libre G sur X. Nommons j linclusion canonique de X dans
G. Comme J(X) est libre sur X, linclusion j induit un unique morphisme

j tel que le
diagramme suivant commute :
X
i
//
j

J(X)

j
||x
x
x
x
x
x
x
x
x
G
Linclusion i de X dans J(X), quant elle, induit un unique morphisme

i tel que le
diagramme suivant commute :
X
j
//
i

i
||x
x
x
x
x
x
x
x
J(X)
Or, on remarque que lidentit sur G, que lon note id
G
estun morphisme tel que le dia-
gramme
X
j
//
j

G
id
G
~~~
~
~
~
~
~
~
~
G
23
1. Groupes
commute. Mais le morphisme

j

i fait galement commuter le diagramme

X
j
//
j

i
~~~
~
~
~
~
~
~
~
G
et donc

j

i = id
G
. De mme,

i

j = id
W(X)
. Finalement,

i et

j sont des isomorphismes,
ce qui prouve que G et J(X) sont isomorphes.
24
2 -groupes
Nous allons parler dans ce chapitre de groupes oprateurs multiples, ou d-groupes,
qui constituent une gnralisation de la notion de groupe, mais aussi des notions danneau,
module, espace vectoriel, . . ..
Avant de commencer, xons la convention suivante :
Convention 1. Dans ce chapitre, sauf mention contraire, les lettres x, y, . . . (minuscule
ou majuscule) reprsenteront des indtermines ou des ensembles dindtermines et les
lettres g, h, . . . (minuscule ou majuscule) reprsenteront gnralement les lments ou des
sous-ensembles dun -groupe.
2.1 Dnition
En gnral, on dit dun ensemble S quil est muni dun ensemble doprateurs nis, si
chaque lment a un poids n = n(), o n N, et si pour ce n, associe chaque
ensemble ordonn de n lments a
1
, . . . , a
n
S un unique lment (a
1
, . . . , a
n
) S.
Dnition 2.1. Un ensemble G est un -groupe si
(
1
) G est un groupe pour loprateur (+)
(
2
) G est muni dun ensemble doprateurs nis.
(
3
) Pour tout , (0, . . . , 0) = 0, o 0 est le neutre pour +.
Exemple 2.1. Un groupe est un -groupe, avec =
Un anneau est un -groupe, o contient un unique lment : la multiplication
binaire. Remarquons ici que nous ne parlons pas forcment dun anneau unitaire (cest-
-dire un anneau contenant un neutre pour la multiplication).
Un espace vectoriel E sur un corps K est galement un -groupe, o =
k
=
multiplication scalaire par k[k K. Si K est inni non-dnombrable (R ou C, par
exemple), alors sera galement inni non-dnombrable
Maintenant que nous avons dni la notion d-groupe, nous devons nous intresser
la construction dun -groupe libre sur un ensemble donn X. La raison pour laquelle
la construction dun -groupe libre est importante est que les -groupes ne sont pas des
structures algbriques "xes" (la structure varie en fonction de lensemble doprateurs).
Nous ne pourrons pas travailler, comme en thorie des groupes, simplement partir des
axiomes, nous devrons travailler sur les "mots" forms partir des lments de lensemble
X.
Justement, nous dnissons les mots dans lalphabet X, comme tant les expressions
formes en appliquant formellement aux lments de X, et au symbole 0 les oprateurs de
groupe (+) et (), et les oprateurs de . Il faut bien entendu appliquer ces oprateurs
prcautionneusement, cest--dire en vitant dappliquer un oprateur n-aire un nombre
dlments dirent de n. On adoptera une notation sous forme fonctionnelle des mots :
25
2. -groupes
f(x
1
, . . . , x
n
), qui savrera un rien plus lgre par la suite. On acceptera galement des
cas particuliers de la forme x pour les mots identits (f(x) = x), qui sont en fait des mots
de longueur 1, et de la forme 0 pour le mot de longueur nulle. Cette dernire notation est
plus en adquation avec la notation fonctionnelle que celle du premier chapitre. Il est
vident que lensemble X admet lensemble (, +, ) doprateurs.
Une fois ces dnitions et conventions xes, nous pouvons parler de la construction de
l-groupe libre. Il est inutile de stendre sur le sujet, dans la mesure o nous avons dj
fait une grande partie du travail. En eet, la construction de l-groupe libre est en tout
point identique celle du groupe libre, ceci prs que la relation dquivalence utilise
dans la dmonstration de la proposition 1.1, doit galement inclure le fait que les mots
peuvent tre obtenus en appliquant des n-uples dlments de X des oprateurs n-aires
de et que (0, . . . , 0) = 0.
Notation 2. Si f(x
1
, . . . , x
n
) et g(x
1
, . . . , x
n
) reprsentent le mme lment dans l-groupe
libre sur x
1
, . . . , x
n
, nous crirons : f(x
1
, . . . , x
n
) = g(x
1
, . . . , x
n
).
Quand il ny a pas de confusion, on peut galement parler de mots dans les lments
dun -groupe G. Dans ce cas, si g
1
, . . . , g
n
G, on notera par f(g
1
, . . . , g
n
) llment de G
obtenu en remplaant x
i
par g
i
dansf(x
1
, . . . , x
n
), en remplaant 0 par le neutre de G, et
en calculant lexpression obtenue selon les oprations dnies dans G. On peut galement
voir f(g
1
, . . . , g
n
) comme un mot dans g
1
, . . . , g
n
. Bien videmment, si f(x
1
, . . . , x
n
) =
g(x
1
, . . . , x
n
), alors f(g
1
, . . . , g
n
) = g(g
1
, . . . , g
n
).
Remarque 2.1. Limplication inverse nest pas forcment vraie : en eet, on peut trs
bien avoir f(g
1
, . . . , g
n
) = g(g
1
, . . . , g
n
), mais f(x
1
, . . . , x
n
) ,= g(x
1
, . . . , x
n
). Par exemple,
si G est ablien, on aura que f(g
1
, g
2
) = g
1
+g
2
+(g
1
) = g
2
= (g
1
) +g
2
+g
1
= g(g
1
, g
2
),
alors que f(x
1
, x
2
) reprsente le mot x
1
+ x
2
+ (x
1
), qui nest pas le mme mot que
(x
1
) +x
2
+x
1
, qui est reprsent par g(x
1
, x
2
).
Notation 3. On notera x pour reprsenter un n-uple (qui est, pour rappel, un ensemble
ordonn) de la forme (x
1
, . . . , x
n
).
On notera f(x, y) pour f(x
1
, . . . , x
n
, y
1
, . . . , y
m
).
Enn, si x et y ont le mme nombre dlments, on notera x+y pour (x
1
+y
1
, . . . , x
n
+y
n
).
Nous allons maintenant introduire une gnralisation de la notion de commutateur uti-
lise en thorie des groupes.
Dnition 2.2. Soit f(x,y) un mot dans deux ensembles disjoints x et y. On dit que
f(x,y) est un mot commutateur en x et y si f(x, 0) = f(0, y) = 0.
Notation 4. Lensemble des mots commutateurs en x et y, o x X et y Y (X et Y
disjoints) sera not [X, Y ].
Nous dnissons galement :
Dnition 2.3. Soit f(x,y) un mot dans deux ensembles disjoints x et y. On dit que
f(x,y) est un mot idal en x et y si f(0, y) = 0.
Notation 5. Lensemble des mots idaux en x et y, o x X et y Y (X et Y disjoints)
sera not X
Y
.
Remarque 2.2. Insistons sur le fait que lordre a de limportance dans la dnition dun
"mot idal en x et y". Si nous avions not "mot idal en y et x", cela aurait signi que
f(x, y) tait tel que f(x, 0) = 0.
26
2.1. Dnition
Il existe une caractrisation des mots commutateurs et des mots idaux :
Lemme 2.1. 1. Un mot f(x,y) est un mot commutateur en x et y si et seulement sil
existe un mot g(x,y) tel que
f(x,y) = g(x, 0) g(0, y) +g(x,y)
2. Un mot f(x,y) est un mot idal en x et y si et seulement sil existe un mot g(x,y)
tel que
f(x,y) = g(0, y) +g(x,y)
Dmonstration. (1) : Si f(x, y) [X, Y ], alors par dnition, f(0, y) = f(x, 0) = 0, et par
consquent,
f(x, y) = f(x, 0) f(0, y) +f(x, y).
Le sens () est donc prouv, en posant g = f.
Rciproquement, si f(x, y) est un mot tel que
f(x, y) = g(x, 0) g(0, y) +g(x, y)
pour un certain mot g(x, y), alors
f(0, y) = g(0, 0) g(0, y) +g(0, y) = 0 = g(x, 0) g(0, 0) +g(x, 0) = f(x, 0),
et f(x, y) est bien un mot commutateur en x et y, ce qui prouve le sens () de lassertion.
(2) : La preuve de cette assertion se fait de la mme faon que celle de lassertion (1),
en prenant g = f dans le sens () et en remarquant que f(x, y) = g(0, y) +g(x, y) est
un mot idal en x et y pour le sens ().
Remarque 2.3. Notons lutilisation de laxiome (
3
) permettant darmer que g(0, 0) = 0
la n de la preuve de lassertion(1).
Une autre caractrisation des mots commutateurs et des mots idaux est donne par le
lemme suivant :
Lemme 2.2. 1. Un mot f(x,y) est un mot commutateur en x et y si et seulement sil
existe un mot g(.) et des ensembles x et y contenant le mme nombre dlments
et tels que les lments de x sont 0 ou des lments de x et ceux de y sont 0 ou des
lments de y, satisfaisant la formule suivante :
f(x,y) = g(x) g(y) +g(x +y).
2. Un mot f(x,y) est un mot idal en x et y si et seulement sil existe un mot g(.) et
des ensembles x et y rpondant aux mmes conditions quau point 1, et satisfaisant
la formule suivante :
f(x,y) = g(y) +g(x +y).
Dmonstration. (1) Le sens () est assez vident : tant donn que
f(x, y) = g(x) g(y) +g(x +y),
o les lments de x sont 0 ou des lments de x et ceux de y sont 0 ou des lments de
y, on a directement :
f(x, 0) = g(x) +g(0) +g(x) = 0,
27
2. -groupes
et
f(0, y) = g(0) g(y) +g(y) = 0.
Par consquent, f(x, y) est un mot commutateur en x et y.
Dans le sens (), on suppose que f(x, y) = f(x
1
, . . . , x
m
, y
1
, . . . , y
n
) est un mot com-
mutateur en x et y. En posant g(.) = f(.), x = (x
1
, . . . , x
m
, 0, . . . , 0) (avec n zros) et
y = (0, . . . , 0, y
1
, . . . , y
n
) (avec m zros), on a immdiatement que
g(x) g(y) +g(x +y) = f(x, 0) f(0, y) +f(x, y) = f(x, y),
o la dernire galit est due au fait que f(x,y) est un mot commutateur en x et y.
(2) La dmonstration de cette proprit est du mme acabit que celle de la proprit (1).
Pour le sens (), on a que
f(x, y) = g(y) +g(x +y),
et donc
f(0, y) = g(y) +g(0 +y).
Et pour le sens (), on pose g(.) = f(.) et x et y rpondant aux mmes conditions que
dans (1). On a donc immdiatement que
g(y) +g(x +y) = f(0, y) +f(x, y) = f(x, y),
o la dernire galit est due au fait que f(x, y) est un mot idal en x et y.
Comme nous lavons vu prcdemment, on peut parler de mots forms partir des
lments dun -groupe G, en remplaant les x
i
dans lexpression f(x
1
, . . . , x
n
) par des
g
i
G. Bien entendu, si f(x, y) est un mot commutateur (resp. idal) en x et y, alors
f(g
1
, g
2
) (g
1
et g
2
tant respectivement un n-uple et un m-uple dlments de G) sera un
mot commutateur (resp. idal) en g
1
et g
2
. La rciproque nest cependant pas vraie. Etant
donn un mot f(g
1
, g
2
) commutateur (resp.idal) en g
1
et g
2
, supposons que f

(g
1
, g
2
) =
f(g
1
, g
2
) dans G. f

(g
1
, g
2
) ne sera pas forcment un mot commutateur (resp. idal) en
g
1
et g
2
. Voyons en eet le contre-exemple suivant, illustrant ce que nous venons de dire
pour le cas dun mot commutateur (le cas dun mot idal est tout fait semblable) :
Contre-exemple 2.2. Si G est un groupe commutatif, et si f(g, h) = [g, h] et f

(g, h) =
[h, g], on voit que f

= f(= 0) sur G. Par contre, si x

1
et x
2
sont deux indtermines,
f(x
1
, x
2
) = x
1
+x
2
+(x
1
)+(x
2
) et f

(x
1
, x
2
) = x
2
+x
1
+(x
2
)+(x
1
) ne reprsentent
pas les mmes mots.
Remarque 2.4. Il y a une prcaution importante prendre pour pouvoir parler dun
mot f(g
1
, g
2
) commutateur ou idal en g
1
et g
2
. En eet, quand nous avons introduit les
notions de mot commutateur et de mot idal en x et y, nous les avions dnis comme tant
des mots sur des ensembles disjoints x et y. Dans un mot f(g
1
, g
2
), si g
1
et g
2
ne sont pas
disjoints, il faudra considrer chaque occurrence dun lment commun g
1
et g
2
comme
tant un lment de g
1
ou un lment de g
2
.
La dnition suivante est une sorte de gnralisation de la notion de sous-groupe driv :
Dnition 2.4. Soient A et B deux sous-ensembles dun -groupe G. Lensemble des
lments f(a,b), o f(x,y) est un mot commutateur en x et y, a est un m-uple dlments
de A et b est un n-uple dlments de B sera appel le groupe commutateur de A et B.
On dnotera cet ensemble par [A, B].
28
2.2. Thormes disomorphisme
On peut galement dnir :
Dnition 2.5. Soient A et B deux sous-ensembles dun -groupe G. Lensemble des
lments f(a,b), o f(x,y) est un mot idal en x et y, a est un m-uple dlments de A
et b est un n-uple dlments de B sera appel la transforme de A par B. On dnotera
cet ensemble par A
B
.
Le contre-exemple 2.2 montre que le fait que f(a, b) [A, B] (resp.A
B
)pour tout a
m-uple dlments de A et tout b n-uple dlments de B nimplique pas que f(x, y) est
un mot commutateur (resp. idal) en x et y. Par contre, on a un rsultat important, qui
permet de dterminer si un mot donn est dans [A, B] (resp. A
B
) :
Lemme 2.3. Soient A et B deux sous-ensembles dun -groupe G, a un m-uple dlments
de A et b un n-uple dlments de B, et f(x,y) un mot en x et y. Alors,
1. Si f(a, 0) = f(0, b) = 0, alors f(a,b) [A, B].
2. Si f(0, b) = 0, alors f(a,b) A
B
.
Dmonstration. Pour dmontrer la premire proprit, supposons que f(a, 0) = f(0, b) = 0
et posons g(x, y) = f(x, 0) f(0, y) + f(x, y). Par le lemme 2.2, g(x, y) est un mot
commutateur en x et y, donc g(a, b) [A, B]. Or, g(a, b) = f(a, 0) f(0, b) +f(a, b) =
f(a, b), donc f(a, b) [A, B].
La deuxime proprit se dmontre de la mme faon, en posant g(x, y) = f(0, y) +
f(x, y).
2.2 Thormes disomorphisme
Dans cette section, nous nous attacherons gnraliser les thormes disomorphisme,
dont nous connaissons dj une formulation dans le cadre de la thorie des groupes, et
dans celui de la thorie des anneaux.
Dnition 2.6. Soit G un -groupe et G

un ensemble muni des oprateurs (, +, ). On

appelle homomorphisme de G dans G

une application : G G

telle que
(Hom
1
) g
1
, g
2
G, (g
1
+g
2
) = (g
1
) +(g
2
)
(Hom
2
) g G, (g) = (g)
(Hom
3
) g
1
, . . . , g
n
G et , ((g
1
, . . . , g
n
)) = ((g
1
), . . . , (g
n
)).
Si lhomomorphisme de la dnition prcdente est, de plus, bijectif, on le nomme un
isomorphisme.
On remarque aisment que limage (G) dun -groupe G par un homomorphisme
est galement un -groupe. En eet, un homomorphisme prserve la structure de groupe
de G, grce aux conditions (Hom
1
) et (Hom
2
), tandis que la condition (0, . . . , 0) = 0 est
prserve par (Hom
3
).
Dnition 2.7. Soit : G G

un homomorphisme. On dnit le noyau de comme

tant lensemble
ker = g G[(g) = 0.
Notons que si H est le noyau dun homomorphisme : G G

, et que si f(x, y) est un

mot quelconque, on aura que, pour tout n-uple h dlments de H et pour tout m-uple g
dlments de G,
(f(h, g)) = f((h), (g)) = f(0, (g)).
29
2. -groupes
Par consquent, si f(x, y) est un mot idal en x et y, (f(h, g)) = 0, et donc f(h, g) H.
On reformule cette proprit sous la forme suivante : H
G
H. Ces considrations nous
mnent introduire une nouvelle dnition :
Dnition 2.8. Soit G un -groupe. On appelle idal de G tout sous-ensemble H G
tel que H
G
H.
Trivialement, si H est un idal dun -groupe G, alors H
G
= H. En eet, on peut
identier H f(h, g)[h H, g G, o f(x, y) = x, qui est un mot idal en x et y. Par
consquent, h = f(h, g) H
G
, et donc H H
G
.
Introduisons la notion suivante :
Dnition 2.9. Un -sous-groupe H dun -groupe G est un sous-ensemble H G
contenant 0, stable pour les oprations de groupe dnies sur G, et stable pour les oprateurs
de ((h
1
, . . . , h
n
) H, h
1
, . . . , h
n
G).
Un -sous-groupe H dun -groupe G est toujours un -groupe. En eet, comme il est
stable pour les oprations de groupe dnies sur G, il est lui-mme un groupe. De plus, la
condition (0, . . . , 0) = 0 est bien videmment toujours respecte.
On remarque en outre quun idal est toujours un -sous-groupe. En eet, comme H
G

H et que 0 H
G
(0 est trivialement un mot idal), on aura toujours que 0 H. De plus, si
h
1
, h
2
H, h
1
H, car f(x, y) = x est un mot idal en x et y, donc h
1
= f(h
1
, g)
H
G
H et, de mme, h
1
+h
2
H, car f(x
1
, x
2
, y) = x
1
+x
2
est un mot idal en (x
1
, x
2
)
et y, et donc h
1
+ h
2
= f(h
1
, h
2
, g) H
G
H. Enn, les mots idaux en H et G sont
prservs par les oprateurs . Soient en eet un oprateur n-aire, et soient n
mots idaux
f
1
(h
1
, g
1
), . . . , f
n
(h
n
, g
n
).
On note
( f)(h, g) = (f
1
(h
1
, g
1
), . . . , f
n
(h
n
, g
n
)).
Ce mot est bien un mot idal, car
( f)(0, g) = (f
1
(0, g
1
), . . . , f
n
(0, g
n
)) = (0, . . . , 0) = 0.
Limage dun n-uple de mots idaux en H et G (et donc dun n-uple dlments de H,
puisque H
G
= H) reste un mot idal en H et G (et donc un lment de H). H est donc
stable par les oprateurs de , ce qui termine de prouver quun idal est toujours un -
sous-groupe.
En fait, la notion didal dun -groupe gnralise la notion de sous-groupe distingu
dun groupe, ou encore didal dun anneau. Pour ce qui est des sous-groupes distingus,
on peut sen convaincre en remarquant que si lon se donne H G, o G est un groupe,
les expressions du type ghg
1
, avec g G et h H sont des mots idaux en h et g, et
que H G ghg
1
H h H, g G H
G
H. Le cas des idaux est tout
fait semblable, en prenant par exemple comme mots idaux gh et hg. Il semble opportun
dintroduire, comme dans le cas des groupes, la notion de "quotient" dun -groupe par
un idal.
30
2.2. Thormes disomorphisme
Lemme 2.4. Soit G un -groupe, et H un idal de G. Alors lensemble des ensembles
g + H = H + g, o g G est un -groupe que nous appellerons le quotient de G par H,
et que nous noterons G/H, dans lequel
f(H +g
1
, . . . , H +g
n
) = H +f(g
1
, . . . , g
n
).
De plus, lapplication
: G H
g g +H
est un homomorphisme de G dans G/H, dont le noyau est gal H.
Dmonstration. Ecrivons g g

si g g

H. "" dnit une relation dquivalence sur

G. En eet, g
1
, g
2
, g
3
G, g
1
g
1
, car g
1
g
1
= 0, et 0 H, car H est un idal ; si
g
1
g
2
, alors g
1
g
2
H, et g
1
g
2
= (g
2
g
1
) H, car H est un idal, et est donc
stable par passage linverse ; et si g
1
g
2
et g
2
g
3
, alors g
1
g
2
H et g
2
g
3
H
donc, comme H est un idal, g
1
g
3
= (g
1
g
2
) + (g
2
g
3
) H. La classe dquivalence
[g] de g G est lensemble g + H. De plus, soit un mot f(x), et soit g

g. Cette
dernire relation scrit galement g

= h+g, avec h un n-uple dlments de H. Ds lors,

f(g

)f(g) = f(h+g)f(g) H
G
(= H, par hypothse). On a donc que f(g

) f(g). On
peut donc dnir f([g]) = [f(g)], ce qui fait de G/H un -groupe (f([0]) = [f(0)] = [0]).
Le reste du rsultat est vident.
Introduisons maintenant les thormes disomorphisme, qui sont une gnralisation des
thormes disomorphisme de la thorie des groupes.
Thorme 2.5. (Premier thorme disomorphisme) Soit G un -groupe et : G G

un homomorphisme. Alors le noyau ker() de est un idal de G, et on a lisomorphisme

im() := (G)

= G/ker().
Dmonstration. On a dj vu que le noyau dun homomorphisme : G G

tait toujours
un idal de G. Par la proposition prcdente, on peut donc construire l-groupe quotient
G/ker(). Les lments de (G) sont de la forme (g), g G. De plus, (g
1
) = (g
2
)
si et seulement si g
1
g
2
ker(). Cette dernire relation est une relation dquivalence
(g
1
g
2
, comme dans la preuve prcdente, avec H = ker()). On a donc une bijection f
entre (G) et G/ker(), donne par f((g)) = g +ker(). Cette bijection tant galement
un homomorphisme, on a bien lisomorphisme souhait.
Il est assez vident quun homomorphisme : G G

= (G) envoie tout -sous-groupe

H de G sur un -sous-groupe H

de G

. En eet, un -sous-groupe H dun -groupe G est

toujours un -groupe lui-mme. Par consquent, son image (H) est toujours un -groupe
H

, tel que H

(autrement dit, (H) est un -sous-groupe H

de l-groupe G

). La
question est maintenant de savoir si limage dun idal par un homomorphisme est toujours
un idal.
Nous aurons pour cela besoin du rsultat suivant, dont la dmonstration est assez vi-
dente pour ne pas tre faite ici :
Lemme 2.6. Soient A et B deux sous-ensembles de l-groupe G. Si est un homomor-
phisme de G, alors ([A, B]) = [(A), (B)] et (A
B
) = (A)
(B)
.
31
2. -groupes
Par ce lemme, on peut donc conclure que limage (H) dun idal H dun -groupe G
par un homomorphisme : G G

est un idal de (G). En eet, si H est un idal de G,

alors H
G
H, et par le lemme, (H)
(G)
(H).
Rciproquement, tout -sous-groupe H

dun -groupe G

est limage dun -sous-

groupe H dun -groupe G par un certain homomorphisme : G G

. En eet, on
peut dnir

1
(H

) = g G[(g) H

,
et remarquer que (
1
(H

)) = H

, puisque tout lment de H

est limage dun lment

de G. On termine en constatant que
1
(H

) est un -sous-groupe deG : en eet, si g est

un n-uple dlments de
1
(H

), alors (g) H

, et pour tout mot de la forme f(x),

(f(g)) = f((g)) H

, et donc f(g) H. H est donc stable pour les oprateurs de .

La stabilit de H sous les oprations de groupe de G est vidente.
Nous prouverons le troisime thorme disomorphisme avant le deuxime. Le rsultat
suivant nous permettra de dmontrer le troisime thorme disomorphisme.
Thorme 2.7. 1. Soient G et G

des -groupes, et : G G

un homomorphisme.
Il existe une bijection H H

entre les -sous-groupes de G contenant ker()

est les -sous-groupes de G

. Dans ce cas on aura (H) = H

,H =
1
(H

) et
H

= H/ker().
2. De plus, comme restriction du point prcdent, on a lquivalence : K est un idal de
G si et seulement si (K) = K

est un idal de G

, et dans ce cas, G/K

= G

/K

.
Dmonstration. Soit H

un -sous-groupe de G

. De manire vidente, l-sous-groupe

H =
1
(H

) de G contient ker() (0 H

, par dnition d-sous-groupe). Cet -sous-

groupe H est galement tel que (H) = H

. H est, de surcrot, lunique -sous-groupe

de G vriant ces deux proprits. En eet, soit H
1
un autre -sous-groupe de G tel que
ker() H
1
et (H
1
) = H

. Ds lors, h H, (h) H

, et (h) = (h
1
) pour un
certain h
1
H
1
. Par consquent, h h
1
ker(), et h ker() +h
1
U
1
, o la dernire
inclusion est valable, puisque x ker(), (x + h
1
) = (x) + (h
1
) = (h
1
) H

,
et donc x + h
1
H
1
. Par consquent, H H
1
. Linclusion H
1
H suit directement
du fait que (H
1
) = H

et de la dnition de H. Donc, H
1
= H, et H est bien lunique
-sous-groupe de G vriant les proprits voulues. La bijection souhaite est donc tablie.
Ensuite, on remarque que, par construction, ker([
H
) = ker(), o [
H
reprsente la
restriction de de H. Par consquent,on a immdiatement H

= H/ker() par le pre-
mier thorme disomorphisme.
Pour lquivalence "K est un idal de G (K) = K

est un idal de G

", remarquons
que nous avons dj montr le sens () prcdemment. Pour le sens (), soit K

un idal
de G

. On dnit un homomorphisme = : G G

/H

,o : G

/H

est le quo-
tient canonique (cest une gnralisation du quotient canonique de la thorie des groupes).
Le noyau ker( ) est donc K =
1
(K

). K est donc un idal de G, puisque le noyau dun

homomorphisme est toujours un idal.
Finalement, G/K

= G

/K

par le premier thorme disomorphisme, puisque K est le

noyau du morphisme : G G

/H

.
32
2.2. Thormes disomorphisme
On obtient, comme corollaire de ce thorme, le :
Thorme 2.8. (Troisime thorme disomorphisme) Soit G un -groupe. Si H et K
sont des idaux de G, tels que H K, alors K/H est un idal de G/H, et
G/K

=
G/H
K/H
.
Dmonstration. En appliquant le thorme prcdent lhomomorphisme : G G/H,
o est le quotient canonique de G, on obtient trivialement que K/H est un idal de G/H
(K/H est limage par de K, qui est un idal de G), et que G/K

=
G/H
K/H
(cela revient
poser G

= G/H et K

= K/H dans le thorme prcdent).

Remarque 2.5. Dans lnonc du thorme prcdent, on notera que "K/H" a du sens
car, trivialement, si H est un idal de l-groupe G, alors pour tout -sous-groupe K de
G, contenant H, H est un idal de K.
On peut tirer comme consquence du thorme 2.7 et du premier thorme disomor-
phisme, le rsultat suivant :
Thorme 2.9. (Deuxime thorme disomorphisme ) Soit H un -sous-groupe quel-
conque dun -groupe G, et soit K un idal de G. Alors H +K = K +H est un -sous-
groupe de G, K H est un idal de H, et
K +H
K

=
H
K H
.
Dmonstration. Si H est un -sous-groupe quelconque de G, on remarque que le mor-
phisme : G G/K envoie H sur (H) = K +H. En eet,
(g) (H) h H : (g) = (h)
(g) (h) = 0
(g h) = 0
g h K
g K +H.
Par le thorme 2.7, on a donc lisomorphisme
K +H
K

= (H).
Or, on remarque galement que la restriction : H (H) de H a pour noyau
ker( ) = KH (ce qui prouve, par la mme occasion, que KH est un idal, car le noyau
dun homomorphisme est toujours un idal). Par le premier thorme disomorphisme, on
a donc
H
K H

= (H),
ce qui prouve lisomorphisme
K +H
K

=
H
K H
.
33
2. -groupes
2.3 -groupes abliens
Cette section a pour but de gnraliser le concept de groupe ablien.
Dnition 2.10. Soit G un -groupe. On dit que G est ablien si [G, G] = 0.
On remarque que cette dnition se particularise facilement au cas des groupes abliens.
En eet, si G est un groupe, la condition [G, G] = 0 revient tout simplement dire que
laddition est commutative.
La particularisation de ce concept au cas des anneaux est, elle, un peu plus tonnante.
En eet, si G est un anneau (cest--dire un -groupe, o est rduit la multiplication
binaire interne), la condition [G, G] = 0 implique en fait que tous les mots commutateurs
en A et B, o A et B sont respectivement un n-uple et un m-uple dlments de G, sont
nuls. En particulier, si g
1
, g
2
G, alors g
1
g
2
= 0. G doit donc tre ce quon appelle un
0-anneau (cest--dire un anneau tel que tout produit de deux de ses lments est nul).
Rciproquement, on peut montrer que tout 0-anneau est un -groupe ablien. En eet,
soit G un 0-anneau. Les commutateurs de G sont les expressions de la forme
[g, g] =
n

i=1
g
i
g

i
et
n

i=1
g

i
g
i
pour un certain n N, o g = (g
1
, . . . , g
n
) et g = (g

1
, . . . , g

n
) sont des n-uples dlments
de G. Or, comme G est un 0-anneau,
n

i=1
g
i
g

i
=
n

i=1
g

i
g
i
= 0,
et, par consquent, [G, G] = 0, ce qui fait de G un -groupe ablien, ds lors que lon
considre la multiplication binaire comme tant lunique lment de lensemble dopra-
teurs.
Remarquons dans un -groupe G ablien, on aura toujours que
f(g
1
, g
2
) = f(0, g
2
) +f(g
1
, 0) = f(g
1
, 0) +f(0, g
2
).
La premire galit est due au fait que, par le lemme 2.1, tout mot de la forme
f(g
1
, g
2
) f(0, g
2
) f(g
1
, 0)
est un mot commutateur, et donc, par la condition [G, G] = 0,
f(g
1
, g
2
) f(0, g
2
) f(g
1
, 0) = 0.
La deuxime galit est due au fait que, pour les mmes raisons,
f(g
1
, g
2
) f(0, g
2
) f(g
1
, 0) = 0,
et donc,
(f(g
1
, g
2
) f(0, g
2
) f(g
1
, 0)) = f(g
1
, 0) +f(0, g
2
) f(g
1
, g
2
) = 0.
Par consquent, tout -groupe G ablien est tel que laddition sur G est commutative. De
plus, cette proprit permet, par rcurrence, de dnir pour tout oprateur n-aire
34
2.3. -groupes abliens
une dcomposition en n oprateurs 1-aire, de la manire suivante :
Soit de poids n, et g
1
, . . . , g
n
des lments de G. Alors,
(g
1
, . . . , g
n
) = (g
1
, 0, . . . , 0) +(0, g
2
, 0, . . . , 0) +. . . +(0, . . . , 0, g
n
).
En identiant (g
1
, 0, . . . , 0)
1
(g
1
), (0, g
2
, 0, . . . , 0)
2
(g
2
), . . ., et (0, . . . , 0, g
n
)

n
(g
n
), on peut donc crire
(g
1
, . . . , g
n
) =
1
(g
1
) +
2
(g
2
) +. . . +
n
(g
n
).
On peut aller plus loin, en remarquant que

i
(g
1
+g
2
) = (0, . . . , 0, g
1
+g
2
, 0, . . . , 0)
= (0, . . . , 0, g
1
, 0, . . . , 0) +(0, . . . , 0, g
2
, 0, . . . , 0)
=
i
(g
1
) +
i
(g
2
),
o la deuxime galit vient de ce que lon a dit plus haut (f(g
1
, g
2
) = f(g
1
, 0) +f(0, g
2
)).
Les oprateurs
i
dnissent donc des endomorphismes de G.
Rciproquement, si G est un -groupe sur lequel laddition est commutative, et tel que
tous les oprateurs sont de la forme
(g
1
, . . . , g
n
) =
1
(g
1
) +
2
(g
2
) +. . . +
n
(g
n
),
o
i
, i = 1, . . . , n sont tous des endomorphismes de G, alors G sera, par construction, un
-groupe ablien.
Rappelons que dans la thorie des groupes, tout sous-groupe dun groupe ablien G est
distingu dans G. Ici, on peut montrer que tout -sous-groupe H dun -groupe ablien
G est un idal de G. Pour cela, nous aurons besoin du lemme suivant :
Lemme 2.10. Soit un mot f(x, y), A et B deux sous-ensembles arbitraires dun -groupe
G. Alors, pour tout n-uple a dlments de A et tout m-uple b dlments de B,
A
B
= A + [A, B] = [A, B] +A,
o A dsigne l -groupe engendr par A.
Dmonstration. On sait que tout mot de la forme x et tout mot commutateur en x et y
est galement un mot idal en x et y. La somme de deux mots de ce type l est donc
trivialement, elle aussi, un mot idal en x et y. Par consquent,
A + [A, B] A
B
et
[A, B] +A A
B
.
Voyons maintenant linclusion inverse : on sait que tout lment g de A
B
est de la forme
g = f(a, b), avec f(x, y) X
Y
, a un n-uple dlments de A et b un m-uple dlments
de B. Or, on remarque que si f(x, y) X
Y
, alors f(x, 0) +f(x, y) [X, Y ].
En rcrivant g comme suit :
g = f(a, 0) + (f(a, 0) +f(a, b)),
on voit que g A + [A, B]. De manire similaire, en crivant
g = (f(a, b) f(a, 0)) +f(a, 0),
o f(x, y) f(x, 0) X
Y
, on aura g [A, B] +A.
35
2. -groupes
Revenant la discussion prcdemment commence, si H est un -sous-groupe dun
-groupe ablien G, alors, comme [H, G] [G, G] = 0, on aura que
H
G
= H + [H, G] = H.
Comme dans la thorie des groupes, on peut dnir le centre dun -groupe :
Dnition 2.11. Le centre (G) dun -groupe G est lensemble :
(G) = z G[[z, G] = 0
Thorme 2.11. Soit G un -groupe. Son centre (G) est un idal de G, et [(G), G] = 0.
Par consquent, (G) est un -groupe ablien.
Nous aurons besoin dun lemme, que nous pouvons mettre en parallle avec le lemme 1.19 :
Lemme 2.12. Soient G et G

deux -groupes, et un homomorphisme surjectif : G G

.
Lhomomorphisme : [G, G] [G

, G

] induit par est galement surjectif.

[G, G]

//
i

[G

, G

]
j

//
G

Dmonstration. Soit un lment a de [G

, G

]. a est donc un mot commutateur en G

et
G

. Par consquent, a est de la forme

a = f(g

1
, g

2
),
o g

1
= (g

11
, . . . , g

1n
) et g

2
= (g

21
, . . . , g
2m
) sont respectivement un n-uple et un m-uple
dlments de G

, et o f(x, y) est un mot commutateur en les indtermines x et y. Or,

comme est un homomorphisme surjectif de G vers G

, tous les lments g

1i
, g

2j
, avec
i 1, . . . , n et j 1, . . . , m ont des antcdents g
1i
et g
2j
dans G. Or, comme est
un homomorphisme, on a
f(g

1
, g

2
) = f(g

11
, . . . , g

1n
, g

21
, . . . , g

2m
)
= f((g
11
), . . . , g
1n
, g
21
, . . . , g
2m
)
= (f(g
11
, . . . , g
1n
, g
21
, . . . , g
2m
))
= (f(g
11
, . . . , g
1n
, g
21
, . . . , g
2m
)),
o la dernire galit est due au fait que f(g
11
, . . . , g
1n
, g
21
, . . . , g
2m
) [G, G], puisque
f(x, y) est un mot commutateur en x et y. Tout lment de [G

, G

] a donc un antcedent
dans [G, G] par , et par consquent est surjectif.
La proposition suivante est une gnralisation de la proposition 1.5 :
Proposition 2.13. Soit G un -groupe et H un idal de G. Les conditions suivantes sont
quivalentes :
1. G/H est ablien
2. D
1
G H
Dmonstration. Soit : G G/H le quotient canonique. Par le lemme 2.12,
D
1
(G/H) = D
1
(G) = (D
1
G),
o est la restriction de D
1
G. La condition D
1
(G/H) = 0 est donc quivalente
la condition D
1
G H, ce qui prouve lassertion.
36
2.4. -groupes rsolubles
2.4 -groupes rsolubles
Dans cette section, nous verrons la gnralisation de la notion de groupe rsoluble intro-
duite dans le premier chapitre.
2.4.1 Concepts de base
Une notion centrale dans la dnition dun groupe rsoluble tait celle de suite drive.
Dans le cas des -groupes, la dnition est en tout point semblable : on pose
D
0
G = G
et
D
i
G = [D
i1
G, D
i1
G],
o G est, cette fois-ci, un -groupe.
Dnition 2.12. Un -groupe G est rsoluble sil existe n N tel que D
n
G = 0. On
appellera classe de rsolubilit de G, et on notera cl(G) le plus petit n satisfaisant cette
condition.
D
i
G (i > 1) nest pas, en gnral, un idal de G, mais D
i
G est bien entendu un idal
de D
i1
G (pour tout -groupe G, l-sous-groupe driv [G, G] est un idal de G), et
D
i1
G/D
i
G est un -groupe ablien, par la proposition 2.13.
Exemple 2.3. 1. Bien entendu, un -groupe ablien G (trivial ou non) est toujours
rsoluble, et cl(G) 1 (on aura lgalit si et seulement si G est non trivial).
2. Tout groupe rsoluble est en particulier un -groupe rsoluble (avec = ).
Nous aurons besoin du lemme suivant, qui est une gnralisation du lemme 2.12 :
Lemme 2.14. Soient G et G

deux -groupes, et soit : G G

un homomorphisme sur-
jectif. Pour tout n N, lhomomorphisme
(n)
: D
n
G D
n
G

induit par est galement

surjectif.
D
n
G

(n)
//
i

D
n
G

//
G

Dmonstration. Le cas n = 0 est trivial puisque, par dnition, D

0
G = G. Remarquons
galement que le cas n = 1 est exactement lobjet du lemme 2.12. Supposons maintenant
le rsultat vrai pour n (cest--dire que lhomomorphisme
(n)
: D
n
G D
n
G

induit par
est surjectif). Lhomomorphisme
(n+1)
: D
n+1
G D
n+1
G

est galement surjectif, car

D
n+1
G = [D
n
G, D
n
G] (et, de mme, D
n+1
G

= [D
n
G

, D
n
G

]), et par consquent, comme

(n)
: D
n
G D
n
G

est surjectif, le cas n = 1 implique que

(n+1)
: D
n+1
G D
n+1
G

est surjectif :
D
n+1
G

(n+1)
//
i

D
n+1
G

D
n
G

(n)
//
D
n
G

.
(Intuitivement, on remplace "" par "
(n)
", " " par "
(n+1)
", "G" et "G

" par "D

n
G" et
"D
n
G

", et [G, G] et [G

, G

] par "D
n+1
G" et "D
n+1
G

" dans le lemme 2.12).

37
2. -groupes
Remarque 2.6. Par abus de notation, on dsigne par i et j toutes les inclusions cano-
niques. Il est vident que, par exemple,
D
n
G
i
//
G
et
D
n+1
G
i
//
G
ne dsignent pas la mme injection, et donc pas le mme homomorphisme. Cependant, le
contexte est assez clair pour ne pas crire explicitement la distinction entre ces homomor-
phismes.
Il existe une gnralisation de la proposition 2.13 pour les -groupes rsolubles :
Proposition 2.15. Soit G un -groupe et H un idal de G. Les conditions suivantes sont
quivalentes :
1. G/H est rsoluble
2. D
n
G H
Dmonstration. De manire semblable a la dmonstration de la proposition 2.13, nous
remarquons que :
D
n
(G/H) = D
n
(G) =
(n)
(D
n
G),
o dsigne lhomomorphisme quotient canonique, qui est un homomorphisme surjectif,
et
(n)
dsigne sa restriction D
n
G, conformment aux notations du lemme 2.14.
2.4.2 Proprits de stabilit
Les proprits de stabilit des groupes rsolubles abordes dans le premier chapitre
peuvent bien entendu se gnraliser dans le cadre des -groupes rsolubles. Nous allons en
voir quelques exemples.
Proposition 2.16. Soit G un -groupe rsoluble. Si H est un -sous-groupe de G, alors
H est rsoluble.
Dmonstration. Comme H G, on a trivialement que [H, H] [G, G] et, plus gnra-
lement : D
k
H D
k
G, k N. Par consquent, G tant rsoluble, il existe n N tel
que D
n
G = 0 et donc D
n
H = 0 (D
n
H tant un -sous-groupe, on a toujours que
0 D
n
H). H est donc rsoluble.
Proposition 2.17. Soit G un -groupe rsoluble. Si H est un idal de G, alors G/H est
rsoluble.
Dmonstration. G tant rsoluble, il existe n N tel que D
n
G = 0. Or, lhomomor-
phisme surjectif quotient canonique : G G/H induit un homomorphisme surjectif

(n)
: D
n
G D
n
(G/H). Or, comme D
n
G = 0,
(n)
(D
n
G) = 0
D
n
(G/H)
, et par
surjectivit de (n), D
n
(G/H) = 0
G/H
, et donc G/H est rsoluble.
On peut donner une dnition du produit cartsien de deux -groupes :
Dnition 2.13. Soient G et H deux -groupes, munis de lensemble doprateurs . On
peut dnir le produit cartsien GH comme tant le produit cartsien GH des groupes
G et H, muni de lensemble doprateurs , de telle sorte que si est un oprateur
(n + m)-aire (0
G
, 0
H
) = 0
GH
:= (0
G
, 0
H
), o 0
G
et 0
H
dsignent respectivement un
n-uple de llment neutre 0
G
de G et un m-uple de llment neutre 0
H
de H.
38
2.5. -groupes nilpotents
Et on se rend compte que, comme dans le cas des groupes, le produit cartsien prserve
la rsolubilit :
Proposition 2.18. Soient G et H deux -groupes rsolubles. Leur produit cartsien GH
est galement rsoluble.
La dmonstration de cette proposition suit exactement le mme principe que la dmons-
tration de la proposition 1.15. Il sut de montrer que D
n
(G H) = D
n
G D
n
H, et
prendre l = max(n, m) o n et m dsignent respectivement la classe de rsolubilit de G
et celle de H. On aura ds lors D
l
(GH) = (0
G
, 0
H
).
2.5 -groupes nilpotents
Dans cette section, nous verrons la gnralisation aux -groupes de la notion de groupe
nilpotent introduite lors du premier chapitre.
2.5.1 Concepts de base
De la mme manire que la suite drive, ncessaire pour la dnition dun groupe rso-
luble admet une gnralisation dans le cadre des -groupes, une suite centrale descendante
peut galement tre dnie pour des -groupes, gnralisant ainsi la notion de suite cen-
trale descendante dun groupe, et permettant de dnir les -groupes nilpotents : on pose
donc
C
1
G = G
et, de manire inductive,
C
n
G = [G, C
n1
G], n > 1,
o G est un -groupe.
Comme on sy attend, on dnit :
Dnition 2.14. Un -groupe G est nilpotent sil existe n N tel que C
n+1
G = 0. On
appellera classe de nilpotence de G le plus petit n satisfaisant cette condition.
Exemple 2.4. 1. Un groupe nilpotent est un -groupe nilpotent, avec = .
2. Dans le cadre des anneaux commutatifs (non ncessairement unitaires), on peut ga-
lement dnir la suite centrale descendante. En eet, soit un anneau commutatif R.
La suite centrale descendante de R est donne par
R RR RRR . . . ,
o
RR = ab[a, b R,
RRR = abc[a, b, c R
. . .
(pour plus de dtails, voir [2]), et on dira que R est nilpotent sil existe n N tel que
RR. . . R
. .
n+1
= 0.
39
2. -groupes
Cette dnition est assez intuitive, car on voit immdiatement quelle gnralise la
notion de 0 -anneau vue un peu plus haut, qui est le seul type danneau ablien, quand
on regarde les anneaux comme des -groupes, o ne contient que la multiplication
binaire.
Nous aurons besoin du lemme suivant, qui est une autre gnralisation possible du
lemme 2.12 :
Lemme 2.19. Soient G et G

deux -groupes, et soit : G G

un homomorphisme
surjectif. Pour tout n N

= N0, lhomomorphisme
(n)
: C
n
G C
n
G

induit par
est galement surjectif.
C
n
G

(n)
//
i

C
n
G

//
G

Dmonstration. Pour n = 1, il ny a rien montrer, puisque C

1
G = G pour tout -
groupe G. Le cas n = 2, quant lui, est exactement lobjet du lemme 2.12. Supposons
maintenant la proprit vraie pour n(> 2). Lhomomorphisme
(n)
: C
n
G C
n
G

in-
duit par est donc surjectif. Il nous reste montrer que lhomomorphisme
(n+1)
:
C
(n+1)
G C
(n+1)
G

est surjectif. Soit donc un lment a

de C
n+1
G

. Comme, par d-
nition, C
n+1
G

= [G

, C
n+1
G

], a

doit tre un mot commutateur en G

et C
n+1
G

. On
doit donc avoir :
a

= f(g

, b

),
o g

et b

sont respectivement un n-uple dlments de G

et un m-uple dlments de
C
n
G, et o f(x, y) est un mot commutateur en les indtermines x et y. Or comme les
homomorphismes : G G

et
(n)
: C
n
G C
n
G

sont tous deux surjectifs, on peut

trouver des antcdents par des lments g

1
, . . . , g

n
formant g

et des antcdents par

(n)
des lments b

1
, . . . , b

m
formant b

. On a donc :
a

= f(g

, b

)
= f(g

1
, . . . , g

n
, b

1
, . . . , b

m
)
= f((g
1
), . . . , (g
n
),
(n)
(b
1
), . . . ,
(n)
(b
m
))
=
(n+1)
(f(g
1
, . . . , g
n
, b
1
, . . . , b
m
))
=
(n+1)
(f(g, b))
=
(n+1)
(a),
pour certains (g
1
, . . . , g
n
) = g et (b
1
, . . . , b
n
) = b respectivement un n-uple dlments
de G et un m-uple dlments de C
n
G, et o a = f(g
1
, . . . , g
n
est un mot commutateur
en G et C
n
G, cest--dire un lment de [G, C
n
G]. Les trois dernires galits sont bien
videmment dues au fait que les restrictions de et de
(n)
C
n+1
G sont gales
(n+1)
.
Par consquent, l homomorphisme
(n+1)
est galement surjectif, ce qui achve de prouver
lassertion.
Remarque 2.7. Remarquons que la notation utilise pour dsigner la restriction C
n
G
dun homomorphisme de G est la mme que celle utilise pour dsigner la restriction D
n
G
dun homomorphisme de G. Cependant, le contexte nous permet didentier aisment dans
quel cas on se trouve, ce qui nous permet de ne pas introduire une nouvelle notation.
40
2.5. -groupes nilpotents
Il existe, galement dans le cadre des -groupes nilpotents, un gnralisation de la pro-
position 2.13 :
Proposition 2.20. Soit G un -groupe et H un idal de G. Les conditions suivantes sont
quivalentes :
1. G/H est nilpotent
2. C
n+1
G H
Dmonstration. Si dsigne lhomomorphisme (surjectif) quotient canonique : G
G/H alors, par le lemme 2.19, on peut crire :
C
n+1
(G/H) = C
n+1
(G) =
(n+1)
(C
n+1
G),
o
(n+1)
dsigne la restriction de C
n+1
G, conformment aux notations du lemme 2.19.
Par consquent, la condition C
n+1
(G/H) = 0 est bien quivalente celle C
n+1
G H,
ce qui achve la preuve.
Nous avons galement, comme dans le cas des groupes, la proprit suivante :
Proposition 2.21. Tout -groupe nilpotent est galement rsoluble.
Dmonstration. Soit Gun -groupe nilpotent. On a forcment la relation suivante : D
n
G
C
n+1
G. Par consquent, comme G est nilpotent, C
n+1
G = 0 pour un certain n N, et
donc D
n
G = 0.
2.5.2 Proprits de stabilit
Les proprits de stabilit des groupes nilpotents vues dans le cadre du premier chapitre
se gnralisent relativement aisment au cas des -groupes nilpotents. Nous allons en voir
quelques exemples.
Proposition 2.22. Tout -sous-groupe dun -groupe nilpotent est nilpotent.
Dmonstration. Soit G un -groupe nilpotent et H un -sous-groupe de G. De manire
vidente, on voit que, pour tout k N, C
k
H C
k
G. Or, comme G est nilpotent, il existe
n N tel que C
n+1
G = 0. Par consquent, pour ce n, C
n+1
H = 0, ce qui prouve
lassertion.
Proposition 2.23. Soit G un -groupe et H un idal de G. Si G est nilpotent, alors G/N
est nilpotent.
Dmonstration. Par le lemme 2.19, on peut crire :
C
n+1
(G/H) = C
n+1
((G)) =
(n+1)
(C
n+1
G),
o : G G/H est lhomomorphisme (surjectif) quotient canonique, et
(n+1)
sa restric-
tion C
n+1
G, conformment aux notations du lemme 2.19. Par consquent, comme G est
nilpotent, C
n+1
G = 0, et donc
(n+1)
(C
n+1
G) = 0, et ds lors, C
n+1
(G/H) = 0, ce
qui prouve lassertion.
41
Conclusion
Dans le premier chapitre, jai abord les groupes rsolubles et nilpotents et leurs propri-
ts de stabilit. Nous avons pu voir quils taient stables sous un bon nombre doprations
de groupe, ce qui constitue un avantage. Nous les croiserons encore dans le futur, et ils
savreront tre de prcieux outils.
Dans le deuxime chapitre, nous nous sommes intresss aux -groupes, et nous avons
fait quelques parallles avec des rsultats connus dans des cas particuliers (essentiellement
en thorie des groupes). Une des choses retenir, est sans doute le fait quil est indispensable
dutiliser un formalisme relativement lourd tant quon reste dans le cadre de la thorie des
-groupes, puisque ces derniers ne sont pas des structures algbriques "xes". Pour se
dpartir de ce formalisme, il faudra prendre un peu plus de recul et entrer dans le cadre
de la thorie des catgories.
43
Bibliographie
[1] P.B. Bhattacharya, S.K. Jain et S.R. Nagpaul. Basic Abstract Algebra. Cam-
bridge : Cambridge University Press, 1994.
[2] Tomas Everaert and Marino Gran. On low-dimensional homology in categories.
Homology, Homotopy and Applications 9 (2007), 275293
[3] Marino Gran. Algbre multilinaire et thorie des groupes. Universit catholique de
Louvain.
[4] P.J. Higgins. Groups with multiple operators. Proc. London Math. Soc. 6 (1956),
366416.
[5] Derek J. S. Robinson. A Course in the Theory of Groups.New York : Springer-Verlag,
1982.
[6] Jean-Pierre Serre. Groupes nis. Cours lEcole Normale Suprieure de Jeunes
Filles, 1978/1979
[7] Ian Stewart. Galois Theory. New York : Chapman and Hall Mathematics, 1989.
45
Index
-groupe, 25
-groupe ablien, 34
-groupe nilpotent, 39
-groupe rsoluble, 37
-sous-groupe, 30
0-anneau, 34
alphabet, 21
centre, 20
centre dun -groupe, 36
classe de nilpotence, 17, 39
classe de rsolubilit, 10, 37
commutateur, 10
extension centrale, 20
extension de groupe, 15
groupe altern, 14
groupe commutateur, 28
groupe libre, 21
groupe rsoluble, 10
groupe simple, 13
homomorphisme, 29
idal, 30
isomorphisme, 29
isomorphisme (deuxime thorme), 9, 33
isomorphisme (premier thorme), 9, 31
isomorphisme (troisime thorme), 9, 33
mot, 22
mot commutateur, 26
mot idal, 26
nilpotent, 17
proprit universelle du groupe libre, 21
sous-groupe driv, 10
sous-groupe distingu, 9
sous-groupe propre, 13
suite centrale descendante, 17
suite drive, 37
suite exacte, 15
transforme, 29
47