2. Groupes
Définition
Un magma (G,∗) est un groupe s'il vérifie les trois conditions suivantes :
i) La loi est associative c'est-à-dire x,y,z∈G, x (y z) (x y) z.
ii) La loi admet un élément neutre c'est-à-dire e∈G x∈G, x e e x x.
iii) Tout élément est symétrisable c'est-à-dire, x∈G,
x'∈G x x' x'x e.
Si, de plus, la loi est commutative, on dit que le groupe est commutatif ou abélien.
Exemples et contre-exemples
Les magmas suivants sont des groupes :
(,+) où est l'addition usuelle.
(*,×) où est la multiplication usuelle.
Soit E un ensembleet soit S(E) bijections de E dans E permutations de E
(S(E),o) est un groupe appelé groupe symétrique de E.
(E,+) où E fonctions numériques définies sur }et est la somme usuelle des fonctions.
C'est-à-dire, f et g étant deux éléments de E, f g est définie, pour tout réel x, par :
(f g)(x) f
(x) g(x).
{0,1} muni d'une loi défini par le tableau suivant :
Les magmas suivants ne sont pas des groupes :
(,×) où est la multiplication usuelle.
(,×) où est la multiplication usuelle.
Remarques
Rappel : L'élément neutre d'un groupe est unique. En particulier, un groupe est toujours non vide.
Le symétrique d'un élément d'un groupe est unique.
Tout élément d'un groupe est simplifiable.
Notation additive de la loi d'un groupe : (G,*) = (G,+).
On note 0
G
l'élément neutre de G.
On parle d'opposé à la place de symétrique et on note
x le symétrique d'un élément x i.e.
l'élément qui vérifie x(
x) (
x) x e 0
G
. Par convention, on pose 0
G
.x 0
G
, 1.x x et,
pour tout entier n 2, n.x xx .....x (n fois) et (
n)
x
(n.x).
Notation multiplicative de la loi d'un groupe : (G,*) = (G,).
On note 1
G
l'élément neutre de G.
On parle d'inverse à la place de symétrique et on note x
−1
le symétrique d'un élément x i.e.
l'élément qui vérifie xx
−1
x
−1
x e 1
G
. Par convention, on pose x
0
1
G
, x
1
x et, pour tout
entier n 2, x
n
xx ..... x (n fois) et x
−n
(x
n
)
−1
(x
−1
)
n
.
La notation additive est plus souvent utilisée pour les groupes commutatifs.
Dans le reste du cours, nous utiliserons de préférence la notation multiplicative.
Dans ce cas, nous noterons x
y la composition de deux éléments x et y d'un groupe (G,).
Propriété
Soit (G,∗) un groupe et soit x un élément de G.
Le symétrique de x est unique.
Francis Wlazinski
3
+0 1
0 0 1
1 1 0