Endliche Präsentierbarkeit (Modul)

Die endliche Präsentierbarkeit ist ein Konzept aus der mathematischen Theorie der Moduln. Ein Modul ist endlich präsentierbar, wenn er ein endliches Erzeugendensystem besitzt, für das die Relationen, die zwischen dessen Elementen bestehen dürfen, einer Endlichkeitsbedingung unterworfen sind.

Präsentation eines Moduls

Es sei ein Linksmodul über einem Ring . Ist $(m_{i})_{{i\in I}}$ ein Erzeugendensystem von und bezeichnet $R^{{(I)}}$ die -fache direkte Summe von mit den Basis-Elementen $e_{i},\,i\in I$ , so gibt es genau einen Homomorphismus $f:R^{{(I)}}\rightarrow M$ mit $f(e_{i})=m_{i}$ . Da $(m_{i})_{{i\in I}}$ den Modul erzeugt, ist surjektiv und man erhält eine kurze exakte Sequenz

$0\rightarrow {\mathrm {ker}}(f)\rightarrow R^{{(I)}}{\xrightarrow {f}}M\rightarrow 0$ ,

die man die zum Erzeugendensystem gehörige Präsentation von nennt.

In obiger Definition enthält ${\mathrm {ker}}(f)$ , der sogenannte Relationenmodul, Informationen über die Relationen, die zwischen den erzeugenden Elementen bestehen. Ist im Extremfall ${\mathrm {ker}}(f)=\{0\}$ , so ist $f:R^{{(I)}}\rightarrow M$ ein Isomorphismus, der die kanonische Basis $(e_i)_{i\in I}$ auf $(m_{i})_{{i\in I}}$ abbildet, das heißt letzteres ist eine Basis von , insbesondere ist in diesem Fall ein freier Modul. Der hier zu definierende Begriff fordert die Existenz eines endlichen Erzeugendensystems, dessen Elemente nicht zu vielen Relationen unterworfen sind:

Ein Modul heißt endlich präsentierbar, wenn es einen endlich erzeugten freien Modul und einen surjektiven Homomorphismus $f:F\rightarrow M$ gibt, so dass auch ${\mathrm {ker}}(f)$ endlich erzeugt ist.

Da alle endlich erzeugten freien -Moduln zu einem $R^{n}$ mit $n\in \mathbb {N}$ isomorph sind, hat man also eine kurze exakte Sequenz

$0\rightarrow {\mathrm {ker}}(f)\rightarrow R^{n}{\xrightarrow {f}}M\rightarrow 0$

mit endlich erzeugtem ${\mathrm {ker}}(f)$ .

Beispiele

Endlich erzeugte Moduln über einem noetherschen Ring sind endlich präsentierbar, denn in obiger Definition ist ${\mathrm {ker}}(f)$ als Untermodul des noetherschen Moduls $R^{n}$ endlich erzeugt.
Jeder endlich erzeugte projektive Modul ist endlich präsentierbar.

Eigenschaften

Relationenmoduln

Ist endlich präsentierbar, so ist definitionsgemäß der Kern einer bestimmten Surjektion eines endlich erzeugten freien Moduls auf endlich erzeugt. Es zeigt sich, dass jeder Relationenmodul zu einem endlichen Erzeugendensystem endlich erzeugt ist, es gilt sogar:

Ist endlich präsentierbar und $f:N\rightarrow M$ surjektiv mit endlich erzeugtem Modul , so ist ${\mathrm {ker}}(f)$ endlich erzeugt.

Zum Beweis betrachte man neben der kurzen exakten Sequenz

$0\rightarrow {\mathrm {ker}}(f)\rightarrow N{\xrightarrow {f}}M\rightarrow 0$

auch die kurze exakte Sequenz

$0\rightarrow K\rightarrow R^{n}\rightarrow M\rightarrow 0$

aus der Definition der endlichen Präsentierbarkeit mit endlich erzeugtem Modul . Nimmt man zusätzlich an, dass projektiv ist, so folgt aus dem Lemma von Schanuel, dass ${\mathrm {ker}}(f)\oplus R^{n}\cong N\oplus K$ , das heißt $\mathrm{ker}(f)$ ist direkter Summand eines endlich erzeugten Moduls und daher selbst endlich erzeugt. Der allgemeine Fall kann darauf zurückgeführt werden.

Lokalisierung von Homomorphismen

Ist eine multiplikative Teilmenge des kommutativen Ringes , so kann man -Moduln nach lokalisieren. Ist $f:M\rightarrow N$ eine -lineare Abbildung, so ist

$f_{S}:M_{S}\rightarrow N_{S},\quad f_{S}\left({\frac {m}{s}}\right):={\frac {f(x)}{s}}$

eine $R_{S}$ -lineare Abbildung, und die Zuordnung

${\mathrm {Hom}}_{R}(M,N)\rightarrow {\mathrm {Hom}}_{{R_{S}}}(M_{S},N_{S}),\,f\mapsto f_{S}$

induziert eine $R_{S}$ -lineare Abbildung

${\mathrm {Hom}}_{R}(M,N)_{S}\rightarrow {\mathrm {Hom}}_{{R_{S}}}(M_{S},N_{S}).$

Es stellt sich nun die Frage, wann diese Abbildung ein Isomorphismus ist. Es gilt

Es seien ein kommutativer Ring, $S\subset R$ multiplikativ und und -Moduln. Ist endlich präsentierbar, so ist obige Abbildung

${\mathrm {Hom}}_{R}(M,N)_{S}\rightarrow {\mathrm {Hom}}_{{R_{S}}}(M_{S},N_{S}).$

ein Isomorphismus.

Literatur

Ernst Kunz: Einführung in die kommutative Algebra und algebraische Geometrie (Vieweg-Studium; Bd. 46). Vieweg, Braunschweig 1980, ISBN 3-528-07246-6.

Basierend auf einem Artikel in:

Wikipedia.de