Soit G un un ensemble non vide muni d'une loi de composition interne vérifiant les propriétés suivantes:
- la loi * est associative.
- il existe $~e\in G~~$ tel que: $~~x*e=x\qquad(\forall x\in G)$
- $(\forall x\in G)~~(\exists y\in G):\qquad x*y=e$
A solution has been written for this exercise.
View Solution (Opens in New Tab) â