1. Groupes et sous-groupes
1.1 Notion de groupe
Un groupe est un ensemble non vide G, muni d’une loi de composition interne notée multiplicativement (ou parfois additivement) :
, telle que :
- Associativité : Pour tout
, on a
.
- Élément neutre : Il existe un élément
tel que pour tout
,
.
- Symétrique : Pour tout
, il existe
tel que
.
On note souvent un groupe par le couple . Si la loi est commutative, c’est-à-dire
, on dit que le groupe est abélien.
1.2 Sous-groupe
Soit un groupe. Un sous-ensemble
est un sous-groupe de
si
est un groupe pour la loi induite de
, c’est-à-dire :
- Pour tout
,
(stabilité).
- Pour tout
,
.
, où
est l’élément neutre de
.
1.3 Cas particulier des groupes finis
Un groupe est dit fini s’il contient un nombre fini d’éléments. Ce nombre est appelé ordre du groupe, noté
.
Exemples :
- Le groupe
est un groupe abélien fini d’ordre
.
- Le groupe des permutations
est un groupe fini non abélien d’ordre
.
2. Groupes monogènes, groupes cycliques
2.1 Sous-groupe engendré par un élément
Soit un groupe et
. Le sous-groupe engendré par
, noté
, est l'ensemble des puissances de
(ou des entiers multiples si la loi est additive) :
- Si la loi est multiplicative :
- Si la loi est additive :
est un sous-groupe de
.
2.2 Groupes monogènes, groupes cycliques
Un groupe est dit monogène ou cyclique s’il existe un élément tel que
. Dans ce cas, on dit que
est un générateur de
.
Exemples :
- Le groupe
est cyclique engendré par
.
- Le groupe
est cyclique, engendré par
.
2.3 Générateurs d’un groupe cyclique
Soit un groupe cyclique d’ordre
. Les éléments
tels que
sont aussi des générateurs de
.
Il y a exactement générateurs de
, où
est la fonction indicatrice d’Euler.
2.4 Groupes finis d’ordre premier
Tout groupe fini d’ordre premier est cyclique. Autrement dit, tout groupe
tel que
, avec
premier, est isomorphe à
.
En effet, tout élément non neutre engendre tout le groupe :
.
3. Morphismes de groupes
3.1 Notion de morphisme de groupes
Soient et
deux groupes. Une application
est appelée un morphisme de groupes si pour tous
, on a :
Un morphisme de groupes respecte donc la structure de groupe.
3.2 Image et noyau
- Image : L’image de
est
.
- Noyau : Le noyau de
est
, où
est l’élément neutre de
.
Le noyau est toujours un sous-groupe de , et il est normal.
3.3 Isomorphismes de groupes
Un morphisme est un isomorphisme s’il est bijectif. Dans ce cas,
et
sont dits isomorphes, et on note :
Deux groupes isomorphes ont la même structure algébrique.
3.4 Automorphismes de groupes
Un automorphisme d’un groupe est un isomorphisme de
dans lui-même :
bijectif et tel que
.
L’ensemble des automorphismes de , noté
, forme un groupe pour la composition des applications.
3.5 Automorphismes intérieurs et centre
Pour tout , l'application
définie par
est appelée un automorphisme intérieur.
L’ensemble des automorphismes intérieurs est un sous-groupe de , noté
.
Le centre de , noté
, est l’ensemble des éléments de
qui commutent avec tous les éléments de
:
Plus le centre est grand, plus le groupe est proche d’être abélien.