Théorème : Si la loi admet un élément neutre, ce
dernier est unique .
Exples :
• Dans Z , 0 est élément neutre pour la loi + , 1
est élément neutre pour la loi ×
• Dans E , ensemble des applications de X sur X (
X non-vide), IdX est élément neutre pour la loi o .
Déf : On suppose que E admet un élément neutre. On dit
que x de E admet un opposé s’il existe y de E tel que : x
+ y = y + x = 0E .
On dit que x de E admet un inverse s’il existe y de E tel
que x . y = y . x = 1E .
Théorème : ( en notation × )
Si la loi est associative , admet un élément neutre et si x
est inversible, alors son inverse est unique.
Notations : En loi × , l’inverse de x se note x –1 .
En loi + , l’opposé de x se note –x .
Théorème : (en notation multiplicative)
On suppose que la loi admet un élément neutre et que x
de E est inversible .
∀ y,z ∈ E :
(i) (x . y = x . z) ⇔ (y = z)
(ii) (y . x = z . x) ⇔ (y = z)