Ein Gesetz, das aussagt, dass für ein gegebenes Element a in einer Menge mit Identität e ein Element b (genannt Inverses von a) existiert, sodass a·b = b·a = e; üblicherweise sind damit zweiseitige Inverse gemeint, in schwächeren Kontexten können einseitige Inverse gelten.

Prinzip

Lösbarkeit und Rückgängigmachung: Ein Inverses ermöglicht eine reversible Wirkung der Verknüpfung, macht Gleichungen lösbar und erlaubt Kürzen in Verbindung mit der Existenz einer Einheit.

Demonstration

In der Gruppe der von Null verschiedenen reellen Zahlen unter Multiplikation hat jedes a ≠ 0 das Inverse 1/a, da a·(1/a) = (1/a)·a = 1; in additiven Gruppen ist das Inverse von a das Element −a, weil a + (−a) = 0.

Fehlanwendung

Zu behaupten, alle Elemente seien invertierbar in Strukturen ohne Einheit (z. B. Null als multiplikatives Inverses zu behandeln) oder ein linksseitiges Inverses mit einem zweiseitigen zu verwechseln in nichtunitalen Kontexten.

Konsequenz

Wenn jedes Element ein Inverses besitzt und eine Einheit vorhanden ist, ist die Struktur eine Gruppe; Inverse erlauben das Lösen von Gleichungen, Division und die Konstruktion von Quotienten durch Einheiten.

Umkehrung

Nichtinvertierbarkeit: das Vorkommen nichtinvertierbarer Elemente oder Nullteiler, für die kein zweiseitiges Inverses existiert; solche Elemente verhindern Division und erfordern alternative Methoden wie Lokalisierung oder Einschränkung auf Einheiten.

Abgrenzung

Bezieht sich auf eine festgelegte Einheit und Verknüpfung; Inverse sind zweiseitig eindeutig, können aber fehlen; schwächere Begriffe sind links- oder rechts-Inverse sowie Pseudo-Inverse in der linearen Algebra.

Semantische Spannung

Invertierbarkeit vs Kürzbarkeit: Invertierbare Elemente sind kürzbar, aber ein Element kann kürzbar sein, ohne invertierbar zu sein (z. B. in manchen Halbgruppen), die Begriffe sind verwandt, aber nicht identisch.

Synthese

Das Inversgesetz sichert reversible Elemente, die die Verknüpfung bezüglich der Einheit aufheben; wo es gilt entstehen Gruppen und Division, fehlt es, so sind andere algebraische Strategien gefragt.