Monomorphismus

Monomorphismus (von griechisch μόνος monos ein, allein und griechisch μορφή morphé Gestalt, Form) ist ein Begriff aus den mathematischen Teilgebieten der Algebra und der Kategorientheorie. In der Algebra bezeichnet er einen Homomorphismus, der injektiv ist. In der Kategorientheorie verallgemeinert er den Begriff der injektiven Abbildung und erlaubt es Objekte als Unterobjekte von anderen aufzufassen.

Man beachte, dass die universelle Algebra und die Kategorientheorie jeweils einen zu Monomorphismus dualen Begriff, nämlich den Epimorphismus, erklären, diese beiden Epimorphismus-Begriffe jedoch nicht äquivalent sind.

Monomorphismen algebraischer Strukturen

Ein Homomorphismus von

• Vektorräumen oder allgemeiner Moduln
• oder (abelschen) Gruppen
• oder Ringen oder Körpern
• oder allgemein algebraischen Strukturen,

der injektiv ist, heißt Monomorphismus.

Beispiele

• Die Abbildung $\operatorname {h} \colon \mathbb {R} ^{2}\to \mathbb {R} ^{3}$ mit $\operatorname {h} \left(x,y\right)=\left(x,y,x+y\right)$ ist ein Vektorraum-Monomorphismus.
• Die Abbildung $\operatorname {g} \colon \left(\mathbb {C} ,+\right)\to \left(\mathbb {R} ,+\right)$ mit $\operatorname {g} \left(z\right)=\operatorname {Re} \left(z\right)$ ist zwar ein Gruppenhomomorphismus, aber nicht injektiv.
• Ein Homomorphismus von Gruppen, Ringen oder Moduln (insbesondere Vektorräumen) ist genau dann injektiv, wenn sein Kern trivial ist. Für einen beliebigen Homomorphismus $\operatorname {f} \colon A\to B$ von Gruppen, Ringen oder Moduln (bzw. Vektorräumen) ist
      ${\tilde {\operatorname {f} }}\colon A/{\ker {\operatorname {f} }}\to B$
  ein Monomorphismus, wenn $\operatorname {\tilde {f}} \colon [a]\mapsto \operatorname {f} (a)$ die kanonische Abbildung auf der Restklassenstruktur ist. Denn es gilt $\ker \operatorname {\tilde {f}} =\lbrace \ker \operatorname {f} \rbrace$ und damit ist $\ker \operatorname {\tilde {f}}$ trivial.
• Homomorphismen von Körpern sind stets injektiv, also stets Monomorphismen.

Monomorphismen relationaler Strukturen

Für allgemeinere Strukturen (im Sinne der Modelltheorie), insbesondere für relationale Strukturen, ist ein Monomorphismus definiert als injektiver starker Homomorphismus. Äquivalent dazu: Die Abbildung ist ein Isomorphismus auf ihr Bild. Für den Spezialfall algebraischer Strukturen erhält man die obige Definition, da jeder Homomorphismus zwischen algebraischen Strukturen stark ist.

Monomorphismen in beliebigen Kategorien

Definition

In der Kategorientheorie ist ein Monomorphismus ein Morphismus $f\colon X\to Y$ mit folgender Eigenschaft:

Sind $g,h\colon T\to X$ beliebige Morphismen mit $f\circ g=f\circ h$, dann folgt $g=h$ (Man sagt auch: $f$ ist linkskürzbar).

$X$ (zusammen mit $f$) heißt dann ein Unterobjekt von $Y$.

In Kategorien von algebraischen Strukturen sowie in den Kategorien der Mengen oder der topologischen Räume sind die Monomorphismen genau die injektiven Morphismen. Es gibt aber auch konkrete Kategorien mit nicht-injektiven Monomorphismen.

In den Pfeildiagrammen der homologischen Algebra wird ein Monomorphismus $f$ als kurze exakte Sequenz

$0\longrightarrow X\;{\overset {f}{\longrightarrow }}\;Y$

oder unter Verwendung eines Hakenpfeils mit zwei Termen als

$X\;{\overset {f}{\hookrightarrow }}\;Y$

notiert.

Beispiel eines nicht injektiven Monomorphismus

Wir betrachten die Kategorie Div der teilbaren Gruppen: Die Objekte sind die abelschen Gruppen $G$, für die folgendes gilt:

Für alle $a\in G$ und alle $n\in \mathbb {N}$, $n>0$, existiert ein $b\in G$ mit $a=nb$; das Element $a$ lässt sich also „durch $n$ teilen“.

Die Morphismen sind die Gruppenhomomorphismen zwischen diesen Gruppen.

Die abelschen Gruppen $(\mathbb {Q} ,+)$ und $(\mathbb {Q} /\mathbb {Z} ,+)$ liegen in dieser Kategorie. Die kanonische Projektion $\pi :\mathbb {Q} \to \mathbb {Q} /\mathbb {Z}$ ist surjektiv, aber nicht injektiv. Wir zeigen, dass sie ein Monomorphismus in Div ist.

Ist nämlich $X$ eine beliebige teilbare Gruppe und sind $a,b:X\to \mathbb {Q}$ zwei Morphismen mit der Eigenschaft $\pi \circ a=\pi \circ b$, dann gilt $\forall x\in X:a(x)-b(x)\in \operatorname {ker} \pi =\mathbb {Z}$. Wäre nun $a\neq b$, dann gäbe es ein $x\in X$ mit $t:=a(x)-b(x)\neq 0$. Bei $t<0$ vertausche man die Rollen von $a$ und $b$, so dass man auf jeden Fall $t\in \mathbb {N}$ erhält. Da $X$ teilbar ist, gäbe es dann ein $y\in X$ mit $x=2t\;y$. Dann wäre aber

$t=a(x)-b(x)=a(2t\;y)-b(2t\;y)=2t(a(y)-b(y))$,

also $a(y)-b(y)=1/2$, was $\forall x:a(x)-b(x)\in \mathbb {Z}$ widerspräche.

Extremale Monomorphismen

Ein Monomorphismus $f$ heißt extremal, wenn er zusätzlich folgende Extremaleigenschaft erfüllt:

Ist $f=g\circ m$ und $m$ ist ein Epimorphismus, dann muss $m$ ein Isomorphismus sein.

In den Kategorien der Mengen bzw. der Gruppen sind die extremalen Monomorphismen gerade die Monomorphismen.

In der Kategorie der topologischen Räume sind die extremalen Monomorphismen die Einbettungen. In der Kategorie der Hausdorff-Räume sind die extremalen Monomorphismen die abgeschlossenen Einbettungen.

In der Kategorie der Banachräume sind die extremalen Monomorphismen genau diejenigen linearen stetigen injektiven Abbildungen $f$, für die es ein positives $m$ gibt so dass für alle x aus dem Definitionsbereich gilt:

$m\|x\|\leq \|f(x)\|$

Unterobjekte

Zu einem gegebenen Objekt $A$ einer Kategorie ${\mathcal {C}}$ kann man die Unterkategorie $\mathrm {QSub} (A)$ der Scheibenkategorie ${\mathcal {C}}/A$ betrachten, deren Objekte allesamt Monomorphismen in ${\mathcal {C}}$ sind. Parallele Pfeile sind hier immer identisch; es handelt sich also um eine Quasiordnung. Die partielle Ordnung $\mathrm {Sub} (A)$ der Unterobjekte von $A$ ist nun diejenige, die aus $\mathrm {QSub} (A)$ durch den Übergang zu Isomorphieklassen entsteht.

Siehe auch

• Isomorphismus