Magma (Mathematik)

In der Mathematik ist ein Magma (neutrum, Mehrzahl Magmen oder Magmata) eine algebraische Struktur, bestehend aus einer Menge von Elementen zusammen mit einer Verknüpfung zweier beliebiger Elemente dieser Menge, die wiederum ein Element aus dieser Menge ergibt. Es wird auch Gruppoid, manchmal Binar oder Operativ genannt. Weitere Anforderungen an die Struktur eines Magmas werden nicht gestellt. Der Begriff Magma wurde erstmals 1964 vom französischen Mathematiker Jean-Pierre Serre in seinen Vorlesungen an der Harvard University verwendet. Im Französischen bedeutet Magma – zwar veraltet, aber gebräuchlich – sinngemäß: Wirres, unauflösbares Gemisch, Gemenge abstrakter Dinge (siehe Bedeutung 3 in Magma im französischen Wiktionary) und soll somit sinnbildlich für diese algebraische Struktur stehen. Dieser von Jean-Pierre Serre gewählte Begriff wurde in die 1974 erschienene Auflage des Standardwerks Algebra I vom französischen Autorenkollektiv Nicolas Bourbaki übernommen und hat sich damit in Fachkreisen etabliert.

Eine Verallgemeinerung des Magmas ist das Pseudo-Magma, in dem die Verknüpfung nicht mehr auf der ganzen zugrundeliegenden Menge erklärt sein muss, also partiell sein kann.

Definitionen

Magma

Ein Magma ist ein Paar $(M,*),$ bestehend aus einer Menge $M$ (der Trägermenge) und einer zweistelligen inneren Verknüpfung $*\,\colon \,M\times M\rightarrow M.$

Für $a*b$, die Verknüpfung zweier Elemente $a,b\in M$, schreibt man auch kurz $ab$.

Die leere Menge $\emptyset$ kann auch als Trägermenge $M$ zugelassen werden; das Paar $(\emptyset ,\emptyset )$ ist auf triviale Weise ein Magma.

Ist die Verknüpfung kommutativ, so heißt das Magma kommutativ oder abelsch; ist sie assoziativ, so heißt das Magma assoziativ oder Halbgruppe.

Untermagma

• Sei ${\boldsymbol {M}}=(M,*)$ ein Magma. Ein Magma ${\boldsymbol {U}}=(U,\circ )$ heißt Untermagma von ${\boldsymbol {M}}$, wenn $U\subseteq M$ und $\circ =*|_{U\times U}$, d. h., die Verknüpfung $\circ$ ist die Einschränkung von $*$ auf $U\times U$.

Genau dann ist also ${\boldsymbol {U}}$ ein Untermagma von ${\boldsymbol {M}}$, wenn $U\subseteq M$ und $U$ abgeschlossen ist bezüglich $*$, d. h., es gilt

$a\circ b=a*b\in U$ für alle $a,b\in U$.

${\boldsymbol {M}}$ nennt man dann auch Obermagma von ${\boldsymbol {U}}$.

• Der Durchschnitt von Untermagmen ist ein Untermagma.
• Jede Teilmenge $U\subset M$ eines Magmas ist enthalten in einem kleinsten Untermagma, das $U$ enthält. Dieses Untermagma heißt von $U$ erzeugt.

Beispiele

Die folgenden Beispiele sind Magmen, die keine Halbgruppen sind:

• $(\mathbb {Z} ,-)$: die ganzen Zahlen mit der Subtraktion
• $(\mathbb {R} \setminus \{0\},/)$: die reellen Zahlen ungleich $0$ mit der Division
• Die natürlichen Zahlen mit der Exponentiation, also mit der Verknüpfung $a*b=a^{b}$
• Die reellen Zahlen mit der Bildung des arithmetischen Mittels als Verknüpfung
• Alle Gleitkommadarstellungen (Gleitkommazahl) zu beliebigen Basen, Exponenten- und Mantissenlängen mit der Multiplikation (×) sind echte, unitäre, kommutative Magmen wenn man (der Abgeschlossenheit wegen) die ±∞, ±∞ × 0 und 0 × ±∞ (NaNs) hinzunimmt. So ist die Gleitkommamultiplikation weder assoziativ noch besitzt sie im Allgemeinen ein eindeutiges Inverses, auch wenn beides für einige Fälle tatsächlich gilt.
• Endliche Magmen werden oft mit Verknüpfungstafeln dargestellt, z. B. für das Magma $A=(\{a,b,c,d\},*)$:

$*$	a	b	c	d
a	a	b	c	a
b	c	d	b	c
c	c	a	a	c
d	a	d	d	b

Die folgenden Beispiele sind keine Magmen, da die angegebene Verknüpfung nicht für alle möglichen Werte definiert ist (sie sind also Pseudo-Magmen):

• Die natürlichen Zahlen mit der Subtraktion.
• Die reellen Zahlen mit der Division.
• Alle Gleitkommamultiplikationen ohne NaNs oder ±∞.

Beispiele für Untermagmen sind

• $(\mathbb {Q} \setminus \{0\},/)$ (die rationalen Zahlen ungleich $0$ mit der Division) ist ein Untermagma von $(\mathbb {R} \setminus \{0\},/)$ (siehe oben).
• Das Magma $B=(\{a,c\},\circ )$ mit folgender Verknüpfungstafel ist Untermagma des oben genannten Magmas $A=(\{a,b,c,d\},*)$:

$\circ$	a	c
a	a	c
c	c	a

Eigenschaften

Die Grundmenge ist unter einer inneren Verknüpfung per Definition abgeschlossen. Ansonsten muss ein Magma keine speziellen Eigenschaften haben. Durch Hinzunahme weiterer Bedingungen werden speziellere Strukturen definiert, die alle wiederum Magmen sind. Typische Beispiele sind:

• Halbgruppe: ein Magma, dessen Verknüpfung assoziativ ist
• Monoid: eine Halbgruppe mit einem neutralen Element
• Quasigruppe: ein Magma, in dem alle Gleichungen der Form $ax=b$ oder $xa=b$ eindeutig nach $x$ auflösbar sind
• Loop: eine Quasigruppe mit einem neutralen Element
• Gruppe: ein Monoid, in dem jedes Element ein Inverses hat
• Abelsche Gruppe: eine Gruppe, deren Verknüpfung kommutativ ist
• Mediales Magma: ein Magma, in dem für alle Elemente die Gleichung $(a\star b)\star (c\star d)=(a\star c)\star (b\star d)$ gilt

Morphismen

Sind $(A,\star ),(B,\circ )$ zwei Magmen, so heißt eine Abbildung $f\colon A\rightarrow B$ ein Morphismus, wenn für alle $a,a'\in A$ gilt: $f(a\star a')=f(a)\circ f(a')$.

• Ist $A=B$, so heißt $f\colon A\rightarrow A$ Endomorphismus.
• Ist ein Morphismus $f\colon A\rightarrow B$ als Abbildung bijektiv, so ist auch die Umkehrabbildung ein Morphismus. In diesem Fall heißt $f$ ein Isomorphismus.

Beispiele für Morphismen

• Die Identität $id_{\rm {A}}$ auf einem Magma $(A,\star )$ ist stets ein Morphismus $f\colon A\rightarrow A$. Schreibt man die Verknüpfung $(\star )$ als Funktion $v(,)$, folgt anschaulich $f(a)=v(a,id_{\rm {A}})=v(id_{\rm {A}},a)=a$.
• Die Verkettung von Morphismen ist ein Morphismus. Die Klasse der Magmen zusammen mit der Klasse der Morphismen bilden eine Kategorie.
• Hat ein Magma $E=(\{e\},\circ )$ nur ein Element, so gibt es von jedem Magma $(A,\star )$ genau einen Morphismus $f\colon A\rightarrow E$ mit der Abbildung $f(a)=e$.

  Existenz: Wegen der Abgeschlossenheit von $E$ gilt $e\circ e=e$ und mit $a,a',a''\in A$ folgt $f(a\star a')=f(a'')=e=e\circ e=f(a)\circ f(a')$, also $f(a\star a')=f(a)\circ f(a')$.

  Eindeutigkeit: Seien $f(a)=e$ und $g(a)=e$ zwei Abbildungen $f,g\colon A\rightarrow E$, so gilt $f(a)=e=g(a)$ und damit $f(a)=g(a)$.

  Das Magma $E$ ist mit $e\circ e=e$ außerdem kommutativ und damit abelsch.

• Die Einbettung eines Magmas in ein Obermagma ist immer ein Morphismus.

Freies Magma

Ist $X$ eine beliebige Menge, so gibt es ein Magma $(F(X),\star )$ mit $X$ als Basis. Dieses $F(X)$ ist bis auf Isomorphien eindeutig bestimmt. Die Elemente von $F(X)$ werden durch die Elemente $\{a,b,c,d,\ldots \}$ von $X$ mit der Verknüpfung $a\star b=(ab)$ wie folgt gebildet:

• Grad 1: $a,b,c,d,\ldots$
• Grad 2: $(aa),(ab),(ac),(ad),\ldots ,(ba),(bb),(bc),(bd),\ldots ,\ldots$
• Grad 3: $(a(aa)),(a(ab)),\ldots ,(b(aa)),(b(ab)),\ldots ,((aa)a),((aa)b),\ldots ,\ldots$
• Grad 4: $\ldots ,(c((ac)a)),\ldots ,((ab)(cd)),\ldots$
• Grad 5: $\ldots$
• Grad ...

Dieses Magma $F(X)$ wird freies Magma genannt.

Literatur

• Nicolas Bourbaki: Elements of Mathematics: Algebra I. Springer-Verlag, Berlin Heidelberg New York London Paris Tokyo, 1989, ISBN 978-3-540-64243-5.
• Nicolas Bourbaki: Elements of Mathematics: Algebra I. Hermann, Paris / Addison-Wesley, Reading, Massachusetts, 1974.
• Lothar Gerritzen: Grundbegriffe der Algebra. Friedr. Vieweg & Sohn, Braunschweig/Wiesbaden 1994. ISBN 3-528-06519-2.
• Th. Ihringer: Allgemeine Algebra. Heldermann, Lemgo 2003; ISBN 3-88538-110-9.
• Georges Papy: Einfache Verknüpfungsgebilde: Gruppoide. Vandenhoeck & Ruprecht, Göttingen 1969.