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 M ein Linksmodul über einem Ring R. Ist (m_{i})_{{i\in I}} ein Erzeugendensystem von M und bezeichnet R^{{(I)}} die I-fache direkte Summe von R 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 M erzeugt, ist f 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 M 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 M, insbesondere ist M 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 M heißt endlich präsentierbar, wenn es einen endlich erzeugten freien Modul F und einen surjektiven Homomorphismus f:F\rightarrow M gibt, so dass auch {\mathrm  {ker}}(f) endlich erzeugt ist.

Da alle endlich erzeugten freien R-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

Eigenschaften

Relationenmoduln

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

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 K. Nimmt man zusätzlich an, dass N 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 S eine multiplikative Teilmenge des kommutativen Ringes R, so kann man R-Moduln nach S lokalisieren. Ist f:M\rightarrow N eine R-lineare Abbildung, so ist

{\displaystyle 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

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

Literatur

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
© biancahoegel.de
Datum der letzten Änderung: Jena, den: 23.10. 2021