Die Aussage, dass es ein besonderes Element e in einer Menge mit binärer Verknüpfung · gibt, so dass für jedes Element a gilt e·a = a·e = a; e heißt Identitätselement oder neutrales Element der Verknüpfung.

Prinzip

Neutralität: Das Identitätselement wirkt als Einheit unter der Verknüpfung, verändert kein Element und dient als Bezugspunkt für Invertierbarkeit und strukturelle Einordnung.

Demonstration

In (R, +) ist 0 das additive Identitätselement, da 0 + a = a + 0 = a für alle reellen a gilt; in (R\{0}, ×) ist 1 das multiplikative Identitätselement, da 1·a = a·1 = a.

Fehlanwendung

Identität mit Idempotenz verwechseln oder annehmen, jede algebraische Struktur habe ein Identitätselement; manche Halbgruppen besitzen keine Identität und manche Ringe sind nicht unital.

Konsequenz

Die Existenz einer Identität ermöglicht die Definition von Einheiten (invertierbare Elemente), erleichtert das Lösen von Gleichungen mit Inversen und liefert kanonische homomorphe Abbildungen (identitätserhaltend).

Umkehrung

Absorbierendes Element oder Fehlen einer Einheit: Ein absorbierendes Element z erfüllt a·z = z·a = z (z. B. Null bei der Multiplikation), was konzeptionell dem neutralen Verhalten einer Identität entgegensteht; manche Strukturen haben überhaupt keine Einheit.

Abgrenzung

Gilt für eine bestimmte Verknüpfung und verlangt, dass e mit jedem Element neutral wirkt; ist die Identität vorhanden, so ist sie eindeutig, ihre Existenz ist jedoch nicht allgemein garantiert.

Semantische Spannung

Identität vs Identitätsabbildung/Idempotent: 'Identitätselement' ist ein algebraischer Begriff und darf nicht mit der Identitätsabbildung oder mit idempotenten Elementen verwechselt werden, die a·a = a erfüllen.

Synthese

Die Identitätsgesetz stellt ein neutrales Element bereit, das Operanden unter der Verknüpfung unverändert lässt; diese Einheit ist grundlegend zur Definition von Inversen, Einheiten und zur Strukturierung algebraischer Systeme.