Quizz : Trouver l’élément neutre d’une loi

L’élément neutre (ou élément identité), noté \(e\), est un élément spécial d’un ensemble \(E\) pour une opération \(*\). C’est l’élément qui « ne fait rien » lorsqu’on le compose avec un autre.

Pour être l’élément neutre, \(e\) doit satisfaire deux conditions pour tout élément \(a\) de l’ensemble \(E\) :
1. \(a * e = a\) (Neutre à droite)
2. \(e * a = a\) (Neutre à gauche)

Si un élément ne satisfait qu’une seule de ces conditions, ce n’est pas l’élément neutre.

Question 1 : Quelle est la définition formelle de l’élément neutre \(e\) pour une loi \(*\) sur un ensemble \(E\) ?