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)