c
Christophe Bertault - MPSI
Exemple
•Dans (N,+), seul 0 possède un inverse. Par contre, tout élément de Cpossède un inverse — ou plutôt un opposé — pour
la loi +. Attention, donc : un élément peut posséder un inverse dans un certain ensemble mais ne pas en posséder dans un
ensemble plus petit, même si la loi est la même.
Dans (N,×), seul 1 possède un inverse ; dans (Z,×), seuls 1 et −1. Dans (C,×), tout élément possède un inverse, à
l’exception de 0 ; dans (C×,×)en revanche, qui est bien un magma, tout élément possède un inverse.
•Pour tout ensemble E, on a vu que ∅est l’élement neutre de P(E),∪et Ecelui de P(E),∩. En fait, seul ∅possède
un inverse pour la réunion — en effet, si A∪B=∅, alors A=B=∅— et seul Epossède un élément neutre pour
l’intersection — en effet, si A∩B=E, alors A=B=E.
•Si Eest un ensemble, les éléments de EEqui possèdent un inverse pour la composition ◦sont exactement toutes les
bijections de Esur E. Ceci n’est qu’une reformulation du théorème affirmant l’équivalence entre la bijectivité et le fait de
posséder une réciproque.
•Si Vest l’ensemble des vecteurs de l’espace, tout élément ~u de Vpossède un opposé, c’est −~u.
1.5 Distributivité d’une loi par rapport à une autre
Définition (Distributivité) Soient ?et |deux lois de composition internes sur un ensemble E. On dit que ?est distributive
par rapport à |si :
∀x, y, z ∈E, x ? (y|z) = (x ? y)|(x ? z)et (y|z)? x = (y ? x)|(z ? x).
2Structure de groupe
2.1 Groupe
Définition (Groupe, groupe abélien)
•On appelle groupe tout magma associatif, possédant un élément neutre, dans lequel tout élément est inversible.
•Un groupe commutatif est très souvent appelé un groupe abélien.
Remarque
•En particulier, dans un groupe, le théorème sur l’inversibilité dans les magmas associatifs possédant un élément neutre
s’applique. Il s’exprime même beaucoup plus simplement puisque tout élément d’un groupe est inversible.
•Généralement, quand on introduit un groupe (G, ?)abstrait, on omet volontairement de mentionner la loi ?pour alléger
les notations ; on dit alors simplement : « Soit Gun groupe ». De même, au lieu de noter x ? x0le produit des deux éléments
xet x0, on se contente de noter xx0.
Exemple
•(Z,+),(Q,+),(R,+) et (C,+) sont des groupes abéliens ; il en est de même de (Q×,×),(R×,×)et (C×,×), ainsi que de
(Q×
+,+),(R×
+,×).
En revanche, Z r 0,×n’est pas un groupe, car tout élément de Zn’est pas inversible pour la multiplication —
considérer 2 par exemple. Par ailleurs (Q×
−,×)et (R×
−,×)ne sont pas des groupes car ce ne sont même pas des magmas
— eh oui, la multiplication de deux réels strictement négatifs n’est pas un réel strictement négatif.
•Si Vest l’ensemble des vecteurs de l’espace, (V,+) est un groupe abélien.
Définition (Groupe symétrique) Soit Eun ensemble non vide. On appelle groupe symétrique de El’ensemble des bijections
de Esur E, noté SE(ou parfois SE).
Le magma (SE,◦)est un groupe d’élément neutre IdE. On peut montrer que ce groupe est non abélien dès que Econtient au
moins trois éléments.
Démonstration Conséquence immédiate des propriétés du magma EE,◦démontrée dans les exemples
précédents.
4