Soit \(\star\) une [[Loi de composition|loi de composition]].

\(\star\) possède un élément neutre \(e\) ssi \(\forall x, e \star x = x \star e = e\). Pour les opérations non commutatives on pourra parler de neutre à droite ou à gauche.

lgebra⠀