On dit que
est le symétrique de x.
Def (permutation) : Une bijection de E dans E est appelée
permutation de E.
Rq : 1) S’il existe un élément neutre, alors il est unique.
2) Si
est le symétrique de x, alors x est le symétrique de
.
3) Si
et
sont les symétriques de x et y, et si T est
associative, alors
est le symétrique de
.
4) Si T est associative, et si x est symétrisable, alors x est
simplifiable.
5) Si
est simplifiable et symétrisable, alors son
symétrique est unique.
6) Soient X et Y deux parties de E.
On note
l’ensemble :
yxzYyXxEzYX TT
Soit
, on note
7) Une partie
est dite stable (relativement à T) si
.
Prop : Soient E un ensemble, T une loi de composition sur E
associative, et
.
Alors le composé de
, dans cet ordre, ne dépend pas du
parenthésage, et on le note
.
Notations :
- une loi de composition associative est souvent notée
multiplicativement :
Le composé est appelé produit
L’élément neutre est appelé unité et est souvent noté 1.
Un élément symétrisable est dit inversible, son symétrique est
appelé inverse, et noté
.
On note
le produit nième de x avec lui-même.