Additiv Inverses

In den bekannten Zahlenmengen (natürliche Zahlen einschließlich der Null 0, rationale Zahlen usw.) hat man eine Addition mit neutralem Element 0. Das additiv Inverse einer Zahl ${\displaystyle a}$ ist die Zahl, die zu ${\displaystyle a}$ addiert 0 ergibt, also ihr Entgegengesetztes oder auch ihre Gegenzahl ${\displaystyle -a}$.
Addiert man zu einem Term ${\displaystyle a+(-a)=a-a=0}$, fügt man eine so genannte konstruktive oder produktive Null hinzu.

Zum Beispiel ist ${\displaystyle -7}$ das Entgegengesetzte von ${\displaystyle 7}$, denn ${\displaystyle 7+(-7)=(-7)+7=0}$. Aus demselben Grund ist das Entgegengesetzte von ${\displaystyle -7}$ wiederum ${\displaystyle 7}$, also ist ${\displaystyle -(-7)=7}$. Das gilt allgemein für alle Zahlen.

Daher ist das Entgegengesetzte einer Zahl nicht immer eine negative Zahl, also eine Zahl ${\displaystyle a<0}$. Für negative Zahlen ${\displaystyle a}$ gilt: ${\displaystyle -a>0,}$ d. h. das Entgegengesetzte einer negativen Zahl ist eine positive Zahl. Das Entgegengesetzte einer positiven Zahl ist jedoch stets eine negative Zahl.

Das Entgegengesetzte erhält man in diesen Fällen stets durch Multiplikation mit −1, d. h. ${\displaystyle -a=-1\cdot a}$.

Allgemein existiert das additiv inverse Element regelmäßig in additiv geschriebenen abelschen Gruppen ${\displaystyle (G,+)}$. Die Hauptbeispiele hierfür sind:

• ganze Zahlen
• rationale Zahlen
• reelle Zahlen
• komplexe Zahlen
• p-adische Zahlen
• hyperreelle Zahlen

Daneben existieren Zahlenmengen, in denen zwar eine Addition ausführbar ist, in denen jedoch keine additiv inversen Elemente existieren. Solche sind z. B.

• natürliche Zahlen
• Kardinalzahlen
• Ordinalzahlen

Man kann die ganzen Zahlen aus den natürlichen Zahlen konstruieren, indem man formal die Negativen (und 0, falls 0 nicht als natürliche Zahl definiert ist) hinzunimmt und passende Rechenregeln definiert. So gesehen, hat jede natürliche Zahl ein Entgegengesetztes, das gleichzeitig sein Negatives ist. Da dieses jedoch (außer für 0, wenn 0 als natürliche Zahl definiert ist) keine natürliche Zahl ist, ist die Menge der natürlichen Zahlen nicht abgeschlossen unter der Entgegensetzung bzw. der Subtraktion (Addition mit einem Entgegengesetzten).

Multiplikativ Inverses

In den oben angesprochenen Zahlenmengen hat man auch eine Multiplikation mit neutralem Element 1. Das multiplikativ Inverse einer Zahl a ist die Zahl, die mit a multipliziert 1 ergibt. Es ist also der Kehrwert von a.

Zum Beispiel ist der Kehrwert von 7 die rationale Zahl 1/7; in den ganzen Zahlen hat 7 jedoch kein multiplikativ Inverses.

Ist allgemein ein Ring R gegeben, dann heißen die Elemente, die multiplikativ Inverse haben, Einheiten des Rings. In der Theorie der Teilbarkeit unterscheidet man meist nicht zwischen Ringelementen, die sich multiplikativ um eine Einheit unterscheiden (d. h. Elementen ${\displaystyle a}$, ${\displaystyle b}$ mit ${\displaystyle a}$ = ${\displaystyle eb}$ für eine Einheit ${\displaystyle e}$).

In Restklassenringen kann man das multiplikative Inverse mit Hilfe des erweiterten euklidischen Algorithmus berechnen, falls es existiert.

Umkehrfunktion

Betrachte die Menge ${\displaystyle A^{A}}$ aller Funktionen ${\displaystyle f\colon A\to A}$ von einer Menge ${\displaystyle A}$ nach ${\displaystyle A}$. Auf dieser Menge hat man die Komposition (Hintereinanderausführung) als Verknüpfung, definiert durch

${\displaystyle g\circ f\colon \,A\to A,\,a\mapsto (g\circ f)(a):=g(f(a))}$.

Die Komposition ist assoziativ und hat die identische Abbildung ${\displaystyle \operatorname {id} _{A}\colon A\to A,\,a\mapsto a}$ als neutrales Element.

Ist nun eine Funktion ${\displaystyle f\colon A\to A}$ bijektiv, dann ist die Umkehrfunktion ${\displaystyle f^{-1}\colon A\to A}$ das inverse Element von ${\displaystyle f}$ in ${\displaystyle A^{A}}$.

Man verallgemeinert diesen Begriff auf bijektive Funktionen ${\displaystyle f\colon A\to B}$ und erhält eine Umkehrfunktion ${\displaystyle f^{-1}\colon B\to A}$ mit ${\displaystyle f^{-1}\circ f=\operatorname {id} _{A}}$ und ${\displaystyle f\circ f^{-1}=\operatorname {id} _{B}.}$

Ist A ein Körper wie z. B. die reellen Zahlen, dann darf man die Umkehrfunktion ${\displaystyle f^{-1}}$ nicht mit dem Kehrwert ${\displaystyle 1/f}$ verwechseln! Die Umkehrfunktion ist nur definiert, wenn ${\displaystyle f}$ bijektiv ist, und der Kehrwert ist nur definiert, wenn ${\displaystyle f}$ keine Nullstellen hat. Selbst wenn ${\displaystyle f}$ eine Teilmenge von ${\displaystyle \mathbb {R} \setminus \{0\}}$ bijektiv auf sich abbildet, stimmen Umkehrfunktion und Kehrwert im Allgemeinen nicht überein.

Zum Beispiel hat die Funktion ${\displaystyle f\colon \mathbb {R} ^{+}\to \mathbb {R} ^{+},\,x\mapsto x^{2}}$ eine Umkehrfunktion ${\displaystyle f^{-1}\colon \mathbb {R} ^{+}\to \mathbb {R} ^{+},\,x\mapsto {\sqrt {x}}}$ und einen Kehrwert ${\displaystyle \left({\frac {1}{f}}\right)(x)={\frac {1}{f(x)}}={\frac {1}{x^{2}}}}$, die jedoch nicht übereinstimmen. (Dabei ist ${\displaystyle \mathbb {R} ^{+}=(0,\infty )}$ die Menge der positiven reellen Zahlen.)

(schwache) Inverse in einem Magma

Gibt es in einem beliebigen Magma ${\displaystyle (M,*)}$ für ein ${\displaystyle a\in M}$ ein eindeutiges Element ${\displaystyle a^{{-}1}\in M}$, so dass für alle ${\displaystyle b\in M}$ gilt:

${\displaystyle a^{{-}1}*(a*b)=b=(b*a)*a^{{-}1},}$

dann nennt man ${\displaystyle a}$ (schwach) invertierbar und ${\displaystyle a^{{-}1}}$ das (schwache) Inverse von ${\displaystyle a}$. Ein Magma ${\displaystyle (M,*),}$ in dem alle ${\displaystyle a\in M}$ (schwach) invertierbar sind, hat die Inverseneigenschaft (engl. inverse property), und man nennt ${\displaystyle (M,*),}$ dann Quasigruppe mit Inverseneigenschaft.

Ein Magma mit Inverseneigenschaft ist eine Quasigruppe (Beweis siehe Quasigruppe). Eine Halbgruppe, die die Inverseneigenschaft hat, ist demnach sogar bereits eine Gruppe.

Gemäß dieser Definition operieren ${\displaystyle a}$ und ${\displaystyle a^{{-}1}}$ zusammen wie ein neutrales Element auf jedem Element ${\displaystyle b\in M}$, aber es muss nicht unbedingt ein explizites, neutrales Element geben.

In einer Halbgruppe ${\displaystyle (M,*),}$ die die Inverseneigenschaft hat, gilt jedoch wegen des Assoziativgesetzes für alle ${\displaystyle b\in M}$:

${\displaystyle (a^{{-}1}*a)*b=a^{{-}1}*(a*b)=b=(b*a)*a^{{-}1}=b*(a*a^{{-}1}),}$

also ist ${\displaystyle e:=(a^{{-}1}*a)}$ das (eindeutige) neutrale Element von ${\displaystyle (M,*).}$ In (Halb-)Gruppen stimmen also beide Definitionen von inversen Elementen überein, in Quasigruppen nicht unbedingt.

(überkreuzt) Inverse in einem Magma

Gibt es in einem beliebigen Magma ${\displaystyle (M,*)}$ für ein ${\displaystyle a\in M}$ ein Element ${\displaystyle a^{{-}1}\in M}$, so dass für alle ${\displaystyle b\in M}$ gilt:

${\displaystyle a^{{-}1}*(b*a)=b=(a*b)*a^{{-}1},}$

dann nennt man ${\displaystyle a}$ (überkreuzt) invertierbar und ${\displaystyle a^{{-}1}}$ ein (überkreuzt) Inverses (engl. crossed inverse) von ${\displaystyle a}$.

Ein Magma ${\displaystyle (M,*),}$ in dem alle ${\displaystyle a\in M}$ ein (überkreuzt) Inverses haben, hat die Überkreuzt-Inverseneigenschaft (engl. crossed inverse property, CIP), und man nennt ${\displaystyle (M,*),}$ dann auch CIP-Magma (engl. CIP-groupoid).

In einem CIP-Magma ist das (überkreuzt) Inverse für ein Element eindeutig bestimmt. Außerdem ist ein CIP-Magma auch immer eine Quasigruppe (CIP-Quasigruppe).

Eine Abelsche Gruppe hat die Überkreuzt-Inverseneigenschaft, eine nicht-kommutative Gruppe nicht unbedingt:

${\displaystyle (b*a)=(a*b)\implies a^{{-}1}*(b*a)=a^{{-}1}*(a*b)=(a^{{-}1}*a)*b=e*b=b\land (a*b)*a^{{-}1}=(b*a)*a^{{-}1}=b*(a*a^{{-}1})=b*e=b}$

(relativ) Inverse in einer Halbgruppe

In einer inversen Halbgruppe ${\displaystyle (A,*)}$ wird ein (relatives) Inverses (engl. relative inverse) ${\displaystyle y\in A}$ zu einem ${\displaystyle x\in A}$ dadurch definiert, dass gilt:

${\displaystyle x*y*x=x}$ und ${\displaystyle y*x*y=y}$.

Diese Definition ist noch schwächer als in einer Quasigruppe mit Inverseneigenschaft, da ansonsten die inverse Halbgruppe bereits eine Gruppe wäre.