Differenzkokern

Der Differenzkokern ist ein mathematischer Begriff aus dem Teilgebiet der Kategorientheorie. Es handelt sich um den zum Differenzkern dualen Begriff. Alternative Bezeichnungen sind Koegalisator oder, der englischen Bezeichnung nachempfunden, Koequalizer. Auch die Schreibweisen mit „c“, das heißt Differenzcokern, Coegalisator bzw. Coequalizer, sind gebräuchlich.

Definition

In einer Kategorie seien zwei Morphismen $f,g\colon X\rightarrow Y$ gegeben. Ein Differenzkokern von $f$ und $g$ ist ein Morphismus $q\colon Y\rightarrow Z$ mit folgenden Eigenschaften:

$q\circ f=q\circ g$
Ist auch $q'\colon Y\rightarrow Z'$ ein Morphismus mit $q'\circ f=q'\circ g$ , so gibt es einen eindeutig bestimmten Morphismus $c\colon Z\rightarrow Z'$ mit $q'=c\circ q$ .^[1]^[2]
${\begin{array}{ccccc}X&{\underset {f}{\overset {g}{\rightrightarrows }}}&Y&\xrightarrow {q} &Z\\&&&\searrow ^{q'}&\downarrow ^{c}\\&&&&Z'\\\end{array}}$

Beispiele

In der Kategorie Set der Mengen oder der Kategorie Top der topologischen Räume seien $f,g\colon X\rightarrow Y$ wie in obiger Definition. Es sei weiter $Q$ die kleinste Äquivalenzrelation auf $Y$ , die alle Paare $(f(x),g(x)),\ x\in X$ enthält. Dann ist die Identifizierungsabbildung $q\rightarrow Y/Q$ ein Differenzkokern von $f$ und $g$ .^[3]
In der Kategorie $R$ -Mod der Linksmoduln über einem Ring $R$ sei in der Situation obiger Definition $Q$ der von allen Differenzen $f(x)-g(x),\ x\in X$ erzeugte Untermodul von $Y$ . Dann ist die Quotientenabbildung $q\rightarrow Y/Q$ ein Differenzkokern von $f$ und $g$ . Dies ist also nichts anderes als der Kokern der Differenz $f-g$ , was die Bezeichnung Differenzkokern erklärt.
Hat die betrachtete Kategorie Nullobjekte und ist in der Situation obiger Definition $g=0_{XY}$ der Nullmorphismus $X\rightarrow Y$ , so ist ein Differenzkokern von $f$ und $0_{XY}$ nichts anderes als ein Kokern von $f$ . Damit ist jeder Kokern ein Beispiel für einen Differenzkokern.

Bemerkungen

Differenzkokerne sind nicht eindeutig bestimmt. Sind aber in der Situation obiger Definition $q\colon Y\rightarrow Z$ und ${\tilde {q}}\colon Y\rightarrow {\tilde {Z}}$ zwei Differenzkokerne von $f$ und $g$ so folgt aus der Eindeutigkeiteigenschaft, dass es einen eindeutig bestimmten Isomorphismus $c\colon Z\rightarrow {\tilde {Z}}$ mit ${\tilde {q}}=c\circ q$ gibt. Differenzkokerne sind also bis auf (eindeutige) Isomorphie bestimmt, weshalb man oft von dem Differenzkokern spricht.
In einer weiteren sprachlichen Ungenauigkeit nennt man das Objekt $Z$ den Differenzkokern. Der eigentlich gemeinte Morphismus ist dann immer eine naheliegende Quotientenabbildung und bleibt daher unerwähnt.
Man sagt, eine Kategorie habe Differenzkokerne, wenn es zu je zwei Morphismen $f,g\colon X\rightarrow Y$ einen Differenzkokern gibt. Die in den obigen Beispielen genannten Kategorien Set, Top und $R$ -Mod haben offenbar Differenzkokerne.
Die Differenzkokerne einer Kategorie sind genau der Differenzkerne der dualen Kategorie.
Ein Morphismus $q\colon Y\rightarrow Z$ ist genau dann ein Differenzkokern von $f,g\colon X\rightarrow Y$ , wenn das Diagramm
${\begin{array}{ccc}X&\xrightarrow {f} &Y\\\downarrow ^{g}&&\downarrow ^{q}\\Y&\xrightarrow {q} &Z\\\end{array}}$

ein Pushout ist.^[4]

Jeder Differenzkokern ist ein Epimorphismus. Die Umkehrung gilt im Allgemeinen nicht, diejenigen Epimorphismen, die als Differenzkokern auftreten, nennt man regulär.
Differenzkokerne sind spezielle Kolimiten, nämlich die von Funktoren ${\mathcal {I}}\rightarrow {\mathcal {C}}$ (auch ${\mathcal {I}}$ -förmige Diagramme genannt), in welchen die Kategorie ${\mathcal {I}}$ aus zwei Objekten mit jeweiligen Identitäten und zwei parallelen Morphismen zwischen ihnen besteht.

Siehe auch

Differenzkern

Einzelnachweise

↑ B. Pareigis: Kategorien und Funktoren, B. G. Teubner (1969), Kapitel 1.9: Differenzkerne und -kokerne
↑ Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Definition 16.2
↑ Horst Herrlich, George E. Strecker: Category Theory, Allyn and Bacon Inc. 1973, Beispiel 16.3 (2)
↑ H. Schubert: Kategorien II, Akademie-Verlag Berlin 1970, Satz 18.4.3

Basierend auf einem Artikel in:

Wikipedia.de