exo7 2961

1

Soit \(*\) une opération associative sur \(E\), et \(a \in E\) tel que l’application \(E \to E, x \mapsto {a*x*a}\) soit surjective.

Montrer qu’il existe un élément neutre, et que \(a\) est symétrisable.