dasjenige Element einer Gruppe, das bei Anwendung der zugrundeliegenden Operation auf ein anderes Element dieses unverändert läßt.

Das Einheitselement e einer Gruppe G ist also formal definiert wie folgt: Für jedes x ∈ G gilt \begin{eqnarray}x\cdot e=e\cdot x=x.\end{eqnarray}

Beispiele hierzu: Ist G eine Abbildungsgruppe, so ist e die identische Abbildung. Ist G die multiplikative Gruppe der positiven reellen Zahlen, so ist e die Zahl Eins. Vergleiche auch Einheit, Eins.