Gerichtetes System/Kolimes/Einführung/Textabschnitt

Definition

Eine geordnete Menge ${}(I,\preccurlyeq )$ heißt gerichtet geordnet oder gerichtet, wenn es zu jedem ${}i,j\in I$ ein ${}k\in I$ gibt mit ${}i,j\preccurlyeq k$.

Wir fassen einen topologischen Filter als eine durch die Inklusion geordnete Menge auf. Aus der Durchschnittseigenschaft eines Filters ergibt sich, dass eine gerichtete Menge vorliegt (Es ist dabei „$\preccurlyeq =\supseteq$“).

Definition

Es sei ${}(I,\preccurlyeq )$ eine geordnete Indexmenge. Eine Familie

$M_{i},\,i\in I,$

von Mengen nennt man ein geordnetes System von Mengen, wenn folgende Eigenschaften erfüllt sind.

1. Zu ${}i\preccurlyeq j$ gibt es eine Abbildung ${}\varphi _{ij}\colon M_{i}\rightarrow M_{j}$.
2. Zu ${}i\preccurlyeq j$ und ${}j\preccurlyeq k$ ist ${}\varphi _{ik}=\varphi _{jk}\circ \varphi _{ij}$.

Ist die Indexmenge zusätzlich gerichtet, so spricht man von einem gerichteten System von Mengen.

Wenn die beteiligten Mengen ${}M_{i}$ allesamt Gruppen (Ringe) sind und alle Abbildungen zwischen ihnen Gruppenhomorphismen (Ringhomomorphismen), so spricht man von einem geordneten bzw. gerichteten System von Gruppen (Ringen).

Definition

Es sei ${}M_{i}$, ${}i\in I$, ein gerichtetes System von Mengen. Dann nennt man

${}\operatorname {colim} \,_{i\in I}M_{i}=\biguplus _{i\in I}M_{i}/\sim \,$

den Kolimes (oder induktiven Limes) des Systems. Dabei bezeichnet ${}\sim$ die Äquivalenzrelation, bei der zwei Elemente ${}m\in M_{i}$ und ${}n\in M_{j}$ als äquivalent erklärt werden, wenn es ein ${}k\in I$ mit ${}i,j\preccurlyeq k$ und mit

${}\varphi _{ik}(m)=\varphi _{jk}(n)\,$

gibt.

Bei dieser Definition ist insbesondere ein Element ${}s_{i}\in M_{i}$ äquivalent zu seinem Bild ${}\varphi _{ik}(s_{i})\in M_{k}$ für alle ${}i\preccurlyeq k$. Wenn ein gerichtetes System von Gruppen (Ringen) vorliegt, so kann man auf dem soeben eingeführten Kolimes der Mengen auch eine Gruppenstruktur (Ringstruktur) definieren. Dies beruht darauf, dass zwei Elemente in diesem Kolimes, die durch ${}s_{i}\in M_{i}$ und ${}s_{j}\in M_{j}$ repräsentiert seien, mit ihren Bildern in ${}M_{k}$ ($i,j\preccurlyeq k$) identifiziert werden können. Dann kann man dort die Gruppenverknüpfung erklären, siehe Aufgabe. Unser Hauptbeispiel für ein gerichtetes System ist das durch einen topologischen Filter gerichtete System der Ringe

$\Gamma (U,{\mathcal {O}}),U\in F.$

Der zugehörige Kolimes über dieses System bekommt einen eigenen Namen.