Freier Modul

Im mathematischen Teilgebiet der Algebra ist ein freier Modul ein Modul, der eine Basis besitzt. Damit ist der Begriff des freien Moduls eine Verallgemeinerung der Begriffe Vektorraum oder freie abelsche Gruppe.

Definition

Eine Familie $B:=\{b_{i}\mid i\in I\}$ von Elementen eines Moduls (oder allgemeiner eines Linksmoduls) $F$ über einem Ring $R$ heißt linear unabhängig oder frei, wenn für jede endliche Indexmenge $\textstyle J\subseteq I$ und alle $\textstyle r_{i}\in R$ gilt:

\sum _{i\in J}r_{i}\cdot b_{i}=0\;\Rightarrow \;\forall i\in J\colon \,r_{i}=0.

Erzeugen die $\{b_{i}\mid i\in I\}$ zugleich den Modul $F$ , so heißt $B$ eine Basis (von $F$ ) und der Modul $F$ heißt der freie $R$ -Modul über $B$ oder auch einfach frei.

Anmerkungen

Erste Beispiele und Gegenbeispiele

Jeder Ring $R$ mit Einselement ist über sich selbst frei. Das heißt, $R_{R}$ ist freier Rechtsmodul. Entsprechend ist $_{R}R$ ein freier Linksmodul.
Ist $1<n\in \mathbb {N}$ , so ist der $\mathbb {Z}$ -Modul $\mathbb {Z} /n\mathbb {Z}$ nicht frei. Der Grund ist, dass für jede Restklasse $b+n\mathbb {Z} \in \mathbb {Z} /n\mathbb {Z}$ gilt, dass $n\cdot (b+n\mathbb {Z} )=0+n\mathbb {Z}$ . Keine Menge von Restklassen kann also linear unabhängig sein.
Der $\mathbb {Z}$ -Modul $\mathbb {Q}$ ist torsionsfrei, aber nicht frei (freie Moduln sind immer torsionsfrei).
Ist $n$ eine natürliche Zahl, so ist $R^{n}=\left\{{\begin{pmatrix}r_{1},\dots ,r_{n}\end{pmatrix}}\mid r_{1},\dots r_{n}\in R\right\}$ ein freier Modul. Eine Basis ist die Familie $(e_{i}\mid i\in \{1,\dots ,n\})$ . Dabei ist die $i$ -te Komponente von $e_{i}$ gleich $1$ , alle anderen Komponenten sind $0$ . Dieses Beispiel ordnet sich folgender Situation unter: Ist $I$ eine beliebige Menge, und $(F_{i}|i\in I)$ eine Familie von Moduln, so ist das Koprodukt $\bigoplus _{i\in I}F_{i}$ genau dann frei, wenn alle $F_{i}$ frei sind. Insbesondere ist $R^{(I)}$ frei.
Das Produkt einer Familie von freien Moduln ist im Allgemeinen nicht frei. So ist beispielsweise $\mathbb {Z} ^{\mathbb {N} }$ nicht frei.^[1]
Der Polynomring $\textstyle R[X]$ über dem Ring $R$ ist ein freier Modul mit Basis $(X^{i}|i\in \mathbb {N} )$ .
Die Menge der positiven rationalen Zahlen $\mathbb {Q} ^{+}$ ist bezüglich der Multiplikation eine kommutative Gruppe. Wegen der eindeutigen Primfaktorzerlegung lässt sich jedes $r\in \mathbb {Q} ^{+}$ eindeutig schreiben $r=p_{1}^{z_{1}}\cdots p_{n}^{z_{n}}$ mit Primzahlen $p_{1},\dots ,p_{n}$ . Es ist also $\mathbb {Q} ^{+}$ eine freie abelsche Gruppe mit abzählbarer Basis.
Der Ring $R$ ist genau dann ein Schiefkörper, wenn jeder Modul über diesem Ring frei ist.

Der Rang eines freien Moduls

Viele der Sätze über Basen von Vektorräumen gelten bei freien Moduln nicht mehr:

Ist $\textstyle V$ ein Vektorraum über dem Körper $K$ mit einer Basis von $\textstyle n$ Elementen, so ist jedes System von $\textstyle n$ freien Elementen auch ein Erzeugendensystem, also eine Basis. Über Ringen gilt das im Allgemeinen nicht: So ist beispielsweise im $\mathbb {Z}$ -Modul $\mathbb {Z}$ die Menge $\textstyle \{2\}$ frei, aber keine Basis.
Ist $V$ ein Vektorraum, so sind je zwei Basen gleich mächtig. Dies gilt noch bei kommutativen Ringen. Ist also der Ring $R$ kommutativ und $R^{n}\cong R^{m}$ , so ist $n=m$ . Einen kurzen relativ elementaren Beweis hierzu findet man in dem Buch von Jens Carsten Jantzen und Joachim Schwermer.^[2] Über nicht kommutativen Ringen $R$ ist der Satz im Allgemeinen falsch. Ein Beispiel ist die Menge der $R$ -Endomorphismen eines freien $R$ -Moduls mit unendlicher Basis. Man kann daher den Rang eines freien Moduls nicht allgemein definieren. Ringe, bei denen je zwei Basen eines freien Moduls gleich mächtig sind, heißen IBN-Ringe.^[3] Noethersche Ringe haben diese Eigenschaft.
Es gilt allgemeiner: Ist $\rho \colon R\rightarrow S$ ein Homomorphismus von Ringen und ist $S$ ein IBN-Ring, so auch $R$ . Gibt es also beispielsweise von $R$ einen Ringhomomorphismus nach einem noetherschen Ring $S$ , so ist $R$ ein IBN-Ring.

Eigenschaften freier Moduln

Allgemeine Eigenschaften

Ist $(m_{i}|i\in I)$ eine Familie von Elementen aus dem Modul $M$ , so gibt es genau einen Homomorphismus $R^{(I)}=\bigoplus _{i\in I}Re_{i}\rightarrow M$ mit $f(e_{i})=m_{i}$ . Dabei ist $(e_{i}|i\in I)$ eine Basis (im Zweifel die kanonische) von $R^{(I)}$ . Erzeugt die Familie $(m_{i}|i\in I)$ den Modul $M$ , so ist $f$ ein Epimorphismus. Jeder Modul ist also epimorphes Bild eines freien Moduls.
Ist $F$ ein freier Modul und $f\colon M\rightarrow F$ ein Epimorphismus, so ist $\operatorname {Kern} (f)$ direkter Summand in $M$ . Es gibt ein $g\colon F\rightarrow M$ mit $f\circ g=\mathbf {1} _{F}$ .
Die Aussage 1. kann allgemeiner und zugleich genauer ausgedrückt werden. Zu jeder Menge $X$ gehört der freie Modul $\mathbf {F} (X):=R^{(X)}$ und die kanonische injektive Abbildung $\Phi (X)\colon X\ni x\mapsto e_{x}\in R^{(X)}$ . Ist $Y$ eine weitere Menge und $\alpha \colon X\rightarrow Y$ eine Abbildung zwischen den Mengen, so gibt es zu der Familie $(e_{\alpha (x)}|x\in X)$ genau einen Homomorphismus $\mathbf {F} (\alpha )\colon \mathbf {F} (X)\rightarrow \mathbf {F} (Y)$ , so dass $\mathbf {F} (\alpha )\circ \Phi (X)=\Phi (Y)\circ \alpha$ gilt. Das heißt, folgendes Diagramm ist kommutativ:
Sind $\alpha \colon X\rightarrow Y\,\beta \colon Y\rightarrow Z$ Abbildungen, so ist $\mathbf {F} (\alpha \circ \beta )=\mathbf {F} (\alpha )\circ \mathbf {F} (\beta )$ . In der Sprache der Kategorientheorie lässt sich das so ausdrücken: $\mathbf {F}$ ist ein treuer Funktor von der Kategorie der Mengen in die Kategorie der freien Moduln. $\Phi$ ist ein funktorieller Monomorphismus zwischen dem Identitätsfunktor und dem Funktor $\mathbf {F}$ .
Wie in 3. gehört zu jedem Modul $M$ der freie Modul $F(M)=R^{(M)}=\bigoplus _{m\in M}Re_{m}$ . Dazu gehört der eindeutig bestimmte Epimorphismus $\Psi (M):F(M)\ni e_{m}\mapsto m\in M$ . Für alle $\alpha \colon M\rightarrow N$ ist $\Psi (N)\circ F(\alpha )=\alpha \circ \Psi (N)$ . Es ist $\Psi$ ein funktorieller Epimorphismus zwischen dem Funktor $\mathbf {F}$ und dem Identitätsfunktor.

Freie Moduln über besonderen Ringen

Über Hauptidealringen ist jeder Untermodul eines freien Moduls wieder frei.
Über lokalen Ringen sind alle direkte Summanden von freien Moduln (das sind projektive Moduln) frei.

Konstruktion

Zu jeder Menge $S$ und jedem Ring $R$ gibt es den freien $R$ -Linksmodul $FS$ über $S$ . Sein Träger ist die Menge der formalen Linearkombinationen von $S$ -Elementen, kodiert etwa als $FS:=\{v\colon S\to R\mid \{s\in S\mid v(s)\neq 0\}{\text{ endlich}}\}$ . Addition und Skalarmultiplikation erfolgen dabei punktweise:

	$+$	$\colon$	$FS\times FS\to FS$	$(v+w)(s):=v(s)+w(s)$
	$\cdot$	$\colon$	$R\times FS\to FS$	$(r\cdot v)(s):=r\cdot v(s)$

Die Elemente von $S$ sind hierbei keine Elemente von $FS$ . Wenn $R$ eine $1=:e$ (oder auch nur eine Links-Erzeugende $e$ mit $\mathbb {Z} e+Re=R$ ) hat, so lassen sie sich aber einbetten mittels

	$\eta _{S}$	$\colon$	$S\to FS$	$\eta _{S}(s):$	$S\to R$
					$t\mapsto {\begin{cases}e&s=t\\0&{\text{sonst.}}\end{cases}}$

Der freie $R$ -Rechtsmodul ist der freie $R^{\text{op}}$ -Linksmodul, wobei $R^{\text{op}}$ den Gegenring von $R$ bezeichnet.

Abschwächungen

Das folgende Diagramm setzt die Freiheit eines Moduls $M$ über einem kommutativen Ring $A$ mit den Eigenschaften projektiv, flach und torsionsfrei in Beziehung:

Siehe auch

Literatur

Tsit-Yuen Lam: Lectures on modules and rings. GTM 189, Springer, 1999, ISBN 0-387-98428-3.
Friedrich Kasch: Moduln und Ringe. Teubner, Stuttgart 1977, ISBN 3-519-02211-7.
Robert Wisbauer: Grundlagen der Modul- und Ringtheorie. Reinhard Fischer, München 1988, ISBN 3-88927-044-1.

Einzelnachweise

↑ Tsit-Yuen Lam: Lectures on modules and rings. GTM 189, Springer, 1999, ISBN 0-387-98428-3, S. 22 f.
↑ Jens Carsten Jantzen, Joachim Schwermer: Algebra, Springer, 2006, ISBN 3-540-21380-5, doi:10.1007/3-540-29287-X, Seite 165
↑ Siehe hierzu den Artikel en:Invariant basis number

[1] Tsit-Yuen Lam: Lectures on modules and rings. GTM 189, Springer, 1999, ISBN 0-387-98428-3, S. 22 f.

[2] Jens Carsten Jantzen, Joachim Schwermer: Algebra, Springer, 2006, ISBN 3-540-21380-5, doi:10.1007/3-540-29287-X, Seite 165

[3] Siehe hierzu den Artikel en:Invariant basis number

[1]

[2]

[3]

A PHP Error was encountered