e commute avec a donc Z n'est pas vide puis calcul x(y.a) et (x.y).a montre que ces deux expressions sont égales ça c'est l'associativite puis montre que sym(x).a=a.sym(x) pour montrer la symétrie (élément symétrique)
J
e commute avec a donc Z n'est pas vide puis calcul x(y.a) et (x.y).a montre que ces deux expressions sont égales ça c'est l'associativite puis montre que sym(x).a=a.sym(x) pour montrer la symétrie (élément symétrique)