tu y arrives pas c'est tout
Dans un premier, on va montrer qu'il existe un élément neutre.
prenons la propriété pour l'appliquer au couple (a,a) où a est dans E.
on a : il existe (e,e') / a=e'*a=a*e
Prenons un élément b de E (quelconque) et montrons que b=e'*b
par la propriété on a : il existe (x,y) / b=a*x=y*a
alors b=e'*a*x=e'*b (associativité de *)
de meme on montre que b=y*a=y*a*e=b*e
On a montré qu'il existe un neutre à gauche (e') et un neutre à droite (e).
Montrons que e=e'
on a d'après ce qui précède :
e=e'*e
e'=e'*e
d'ou on a la relation e=e'
L'élément neutre existe donc, on le note e.
Montrons que chaque élément est inversible.
Prenons un élément x quelconque de E.
Avec la propriété appliqué à (e,x), on a : il existe (x',x) / e=x*x'=x*x
Montrons que x'=x
On a : x*e=x*x*x'=e*x' (associativité)
soit x=x