Benutzer:Hesmucet/frei

Im mathematischen Teilgebiet der Algebra ist der Begriff des freien Moduls eine Verallgemeinerung der Begriffe Vektorraum oder freie abelsche Gruppe.

Definition

Eine Familie von Elementen $\textstyle (e_{i}|i\in I)$ eines Moduls $F$ heißt frei, oder linear unabhängig, wenn für jede endliche Teilmenge $\textstyle \{e_{1},\dots ,e_{n}\}\subset \{e_{i}|i\in I\}$ gilt: Ist $0=\sum _{i=1}^{n}e_{i}\cdot r_{i}$, so ist $r_{i}=0$ für alle $i\in I$. Dabei sind die $\textstyle e_{i}$ paarweise verschieden. Erzeugen die $\textstyle \{e_{i}|i\in I\}$ zugleich den Modul $F$, so heißt $\textstyle (e_{i}|i\in I)$ eine Basis und der Modul $F$ heißt frei.

Anmerkungen

Erste Beispiele und Gegenbeispiele

1. Jeder Ring ist über sich selbst frei. Das heißt $R_{R}$ ist freier Rechtsmodul. Entsprechend ist $_{R}R$ ein freier Linksmodul.
2. Ist $1<n\in \mathbb {N} n$, so ist $\mathbb {Z} /n\mathbb {Z}$ nicht frei. Die abelsche Gruppe ist $\mathbb {Q}$ ist torsionsfrei aber nicht frei.
3. Ist n eine natürliche Zahl und $R^{n}=\{{\begin{pmatrix}r_{1},\dots ,r_{n}\end{pmatrix}}|r_{1},\dots r_{n}\in R\}$ ein freier Modul. Eine Basis ist die Familie $\textstyle (e_{i}|i\in I)$. Dabei ist die $i$te Komponente von $\textstyle 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 Moduln, so ist das Koprodukt $\quad \oplus _{i\in I}F_{i}$ genau dann frei, wenn alle $F_{i}$ frei sind. Insbesondere ist $R^{(I)}$ frei.
4. Das Produkt einer Familie von freien Moduln ist im allgemeinen keineswegs frei. So ist $\mathbb {Z} ^{\mathbb {N} }$ nicht frei.
5. Der Polynomring $\textstyle R[X]$ über dem Ring $R$ ist eine freier Modul mit Basis $(X^{i}|i\in \mathbb {N} )$.
6. 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.
7. 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:

1. 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 eine Basis. Über dem Ring $\textstyle \mathbb {Z}$ gilt dies nicht. So ist $\textstyle \{2\}$ frei aber keine Basis von $\mathbb {Z}$.
2. 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. . Über nicht kommutativen Ringen ist der Satz im allgemeinen falsch. In dem genannten Buch ist ein Beispiel hierzu angegeben. 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. Noethersche Ringe haben diese Eigenschaft.

Eigenschaften freier Moduln

Allgemeine Eigenschaften

1. Ist $(m_{i}|i\in I)$ eine Familie von Elementen aus dem Modul $M$, so gibt e genau einen Homomorphismus $R^{(I)}=\oplus _{i\in I}e_{i}R\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.
2. 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}$.
3. Die Aussage 1. kann allgemeiner und zugleich genauer ausgedrückt werden. Zu jeder Menge $X$ gehört der freie Modul $F(X):=R^{(X)}$ und die kanonische 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 Famile $(e_{\alpha (x)}|x\in X)$ genau einen Homomorphismus $F(\alpha )\colon F(X)\rightarrow F(Y)$, so dass $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 $F(\alpha \circ \beta )=F(\alpha )\circ F(\beta )$. Für diejenigen, welche die Sprache der Kategorien lieben: $F$ ist ein Funktor von der Kategorie der Mengen in die Kategorie der freien Moduln. $\Phi$ ist ein funktorieller Morphismus zwischen dem Identitätsfunktor und dem Funktor $F$.
4. Wie in 3. gehört zu jedem Modul $M$ der freie Modul $F(M)=R^{(M)}=\oplus _{m\in M}e_{m}R$. 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 zwichen dem Funktor $F$ und dem Identitätsfunktor.

Freie Moduln über Hauptidealringen

Über Hauptidealringen ist jeder Untermodul eines freien Moduls wieder frei.

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

• Basis (Vektorraum)
• Projektives Objekt
• fr:Module libre

Literatur

Lehrbuchliteratur

• 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.

Kategorie:Algebra