Kurs:Studienprojekt:Modultheorie über Hauptidealbereichen (Osnabrück 2011-2012)/Grundlagen zu Moduln/Textabschnitt

Zunächst sollen einige grundlegende Definitionen wiedergegeben werden. Diese sind sehr analog zu den Definitionen zu Vektorräumen, nur dass der Grundring hier im Allgemeinen kein Körper ist.

Moduln

Definition

Es sei ${}R$ ein kommutativer Ring und ${}M=(M,+,0)$ eine additiv geschriebene kommutative Gruppe. Man nennt ${}M$ einen ${}R$ -Modul, wenn eine Operation

R\times M\longrightarrow M,\,(r,v)\longmapsto rv=r\cdot v,

(Skalarmultiplikation genannt) festgelegt ist, die folgende Axiome erfüllt (dabei seien $r,s\in R$ und $u,v\in M$ beliebig):

${}r(su)=(rs)u$ ,
${}r(u+v)=(ru)+(rv)$ ,
${}(r+s)u=(ru)+(su)$ ,
${}1u=u$ .

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$ - Modul. Eine Teilmenge ${}U\subseteq M$ heißt ${}R$ -Untermodul, wenn sie eine Untergruppe von ${}(M,0,+)$ ist und wenn für jedes ${}u\in U$ und ${}r\in R$ auch ${}ru\in U$ ist.

Definition

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$ - Modul. Eine Familie ${}v_{i}\in M$ , ${}i\in I$ , heißt Erzeugendensystem für ${}M$ , wenn es für jedes Element ${}v\in M$ eine Darstellung

{}v=\sum _{i\in J}r_{i}v_{i}\,

gibt, wobei ${}J\subseteq I$ endlich ist und ${}r_{i}\in R$ .

Definition

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$ - Modul. Der Modul ${}M$ heißt endlich erzeugt oder endlich, wenn es ein endliches Erzeugendensystem ${}v_{i}$ , ${}i\in I$ , für ihn gibt (also mit einer endlichen Indexmenge).

Definition

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$ - Modul. ${}M$ heißt zyklisch, wenn ${}M$ von einem Element erzeugt wird, wenn also gilt ${}M=Rx$ für ein ${}x\in M$ .

Beispiel

Es gibt zu jedem kommutativen Ring ${}R$ einen Modul, der nur aus einem Element besteht: Die triviale Gruppe mit der einzig möglichen Art diese als ${}R$ -Modul aufzufassen. Man nennt ihn Nullmodul.

Beispiel

Jede kommutative Gruppe ${}G$ ist auf natürliche Weise ein ${}\mathbb {Z}$ - Modul.

Die Skalarmultiplikation ist folgendermaßen definiert:

\mathbb {Z} \times G\longrightarrow G,\,(z,g)\longmapsto zg.

Daher ist ein Erzeugendensystem von ${}G$ als Gruppe auch ein Erzeugendensystem von ${}G$ als ${}\mathbb {Z}$ -Modul und umgekehrt.

Da jeder Modul als Grundmenge definitionsgemäß eine kommutative Gruppe besitzt und alle Vektorräume über Körpern insbesondere Moduln sind, zeigt uns dieses Beispiel unter Anderem, dass es im Allgemeinen viele Möglichkeiten gibt, eine gegebene Gruppe als Grundmenge eines Moduls zu interpretieren.

Definition

Es sei ${}R$ ein kommutativer Ring und ${}M_{i},i\in I$ , eine Familie von ${}R$ - Moduln. Das Produkt

{}M=\prod _{i\in I}M_{i}={\left\{(x_{i})_{i\in I}\mid x_{i}\in M_{i}{\text{ für alle }}i\in I\right\}}\,

der Moduln wird mit komponentenweiser Addition und Skalarmultiplikation zum ${}R$ - Modul. Das bedeutet für ${}(x_{i})_{i\in I},(y_{i})_{i\in I}\in M$ und ${}r\in R$

{}(x_{i})_{i\in I}+(y_{i})_{i\in I}=(x_{i}+y_{i})_{i\in I}\,

und

{}s(x_{i})_{i\in I}=(sx_{i})_{i\in I}\,.

${}M$ heißt dann das direkte Produkt der ${}M_{i},i\in I$ . Das ${}I$ -fache direkte Produkt eines Moduls ${}M$ mit sich selbst wird als ${}M^{I}$ geschrieben.

Der Untermodul

\bigoplus _{i\in I}M_{i}\subseteq \prod _{i\in I}M_{i},

der aus allen ${}(x_{i})_{i\in I}$ besteht, für die ${}x_{i}=0$ für fast alle ${}i\in I$ ist, heißt direkte Summe der ${}M_{i}$ .

Die ${}I$ -fache direkte Summe eines Moduls ${}M$ mit sich selbst wird als ${}M^{(I)}$ geschrieben.

Definition

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$ - Modul. Eine Familie ${}v_{i}\in M,i\in I$ , heißt linear unabhängig, wenn für jede endliche Summe

{}\sum _{i\in J}r_{i}v_{i}=0\,

mit ${}r_{i}\in R$ und ${}J\subseteq I$ endlich gilt, dass alle ${}r_{i}=0$ .

Definition

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$ - Modul. Ein linear unabhängiges Erzeugendensystem heißt eine Basis (oder genauer: eine ${}R$ -Basis) von ${}M$ .

Definition

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$ - Modul. ${}M$ heißt frei (über ${}R$ ), wenn er eine ${}R$ - Basis besitzt.

Definition

Es sei ${}R$ ein vom Nullring verschiedener kommutativer Ring und ${}M$ ein freier ${}R$ -Modul. Man nennt dann die Kardinalität einer Basis von M den Rang von ${}M$ .

Dies ist eine Definition, die so nur für Moduln über kommutativen Ringen, wie wir sie hier behandeln, gilt.

Beispiel

Es sei ${}R$ ein kommutativer Ring. Das Produkt ${}R^{n}$ ist ein endlicher, freier Modul mit Rang ${}n$ . Er besteht aus den ${}n$ -Tupeln von Elementen aus ${}R$ :

(r_{1},\ldots ,r_{n}).

Addition und Skalarmultiplikation werden komponentenweise definiert, es ist also

(a_{1},\ldots ,a_{n})+(b_{1},\ldots ,b_{n})=(a_{1}+b_{1},\ldots ,a_{n}+b_{n})

und

s(a_{1},\ldots ,a_{n})=(sa_{1},\ldots ,sa_{n}).

Eine Basis

von

{}R^{n}

bilden die Elemente

e_{1},\ldots ,e_{n},

wobei

{}e_{i}=(0,\ldots ,0,1,0,\ldots ,0

) so definiert ist, dass an der

{}i

-ten Stelle des Tupels eine

{}1

steht und alle anderen Koordinaten

{}0

sind.

Der Rangbegriff lässt sich über Integritätsbereichen sogar auf nichtfreie Moduln erweitern. In Moduln über Integritätsbereichen besitzt nämlich jedes maximale linear unabhängige System von Elementen die selbe Anzahl an Elementen. Es gibt dafür Beweise mit Methoden, die hier nicht zentral sind. Die interessierte Leserin mag das Lehrbuch der Algebra von Günter Scheja und Uwe Storch in §25 Bemerkung 2 konsultieren. Es gilt umgekehrt immer, dass eine Basis über einem freien Modul maximal linear unabhängig ist. Dies gibt Anlass zu folgender sinnvollen Definition.

Definition

Es sei ${}R$ ein Integritätsbereich und ${}M$ ein ${}R$ - Modul.

Dann heißt die eindeutig bestimmte Kardinalität eines maximal linear unabhängigen Systems von Elementen ${}x_{i},i\in I$ , der Rang von ${}M$ .

Modulhomomorphismen

Definition

Es sei ${}R$ ein kommutativer Ring und ${}M$ , ${}N$ zwei ${}R$ - Moduln. Eine Abbildung ${}\varphi :M\rightarrow N$ heißt ${}R$ -(Modul-)homomorphismus, wenn folgende beiden Eigenschaften erfüllt sind.

${}\varphi (u+v)=\varphi (u)+\varphi (v)$ für alle ${}u,v\in M$ .
${}\varphi (sv)=s\varphi (v)$ für alle ${}s\in R$ und ${}v\in M$ .

Ein Modulhomomorphismus wird manchmal auch lineare Abbildung genannt.

Ein bijektiver Modulhomomorphismus heißt (Modul-)isomorphismus.

Wenn ${}M=N$ ist, dann heißt ${}\varphi$ ein (Modul-)endomorphismus, oder linearer Operator, im bijektiven Fall auch (Modul-)automorphismus.

Lemma

Es sei ${}R$ ein kommutativer Ring und ${}M$ , ${}N$ zwei ${}R$ - Moduln. Es seien ${}x_{i},i\in I$ ein Erzeugendensystem von ${}M$ und ${}y_{i},i\in I$ Elemente aus ${}N$ .

Dann gibt es höchstens einen ${}R$ - Modulhomomorphismus ${}\varphi :M\rightarrow N$ , für den

$\varphi (x_{i})=y_{i}$

für alle ${}i\in I$ gilt.

Beweis

Es sei ${}u\in M$ mit der Darstellung

u=\sum _{i\in J\subseteq I}a_{i}x_{i}.

Für einen Homomorphismus ${}\varphi$ mit ${}\varphi (x_{i})=y_{i}$ für alle ${}i\in I$ gilt

\varphi (u)=\varphi {\left(\sum _{i\in J\subseteq I}a_{i}x_{i}\right)}=\sum _{i\in J\subseteq I}a_{i}\varphi (x_{i})=\sum _{i\in J\subseteq I}a_{i}y_{i}.

Dies legt ${}\varphi$ auf ganz ${}M$ fest.

\Box

Lemma

Es sei ${}R$ ein kommutativer Ring und ${}M$ , ${}N$ zwei ${}R$ - Moduln, wobei ${}M$ frei sei. Es seien ${}x_{i},i\in I$ , eine Basis von ${}M$ und ${}y_{i},i\in I$ , Elemente aus ${}N$ .

Dann gibt es genau einen ${}R$ - Modulhomomorphismus ${}\varphi :M\rightarrow N$ , für den

$\varphi (x_{i})=y_{i}$
für alle ${}i\in I$ gilt.

Beweis

Wir definieren ${}\varphi$ für ein ${}u\in M$ mit ${}u=\sum _{i\in J\subseteq I}a_{i}x_{i}$ als

\varphi (u)=\sum _{i\in J\subseteq I}a_{i}y_{i}.

Weil die ${}x_{i},i\in I$ , linear unabhängig sind, gibt es nur eine einzige Darstellung für jedes ${}u\in U$ , deshalb ist ${}\varphi$ wohldefiniert.

Die Linearität überprüfen wir wie folgt.

Es seien zwei Modulelemente ${}u=\sum _{i\in J\subseteq I}s_{i}x_{i}$ und ${}v=\sum _{i\in K\subseteq I}t_{i}x_{i}$ gegeben.

In dem wir weitere Summanden mit ${}s_{i}=0$ bzw. ${}t_{i}=0$ hinzufügen können wir ${}J=K$ erreichen. Deshalb nehmen wir das gleich an.

Wir zeigen die Additivität von ${}\varphi$ .

{}{\begin{aligned}\varphi (u+v)&=\varphi {\left({\left(\sum _{i\in J\subseteq I}s_{i}x_{i}\right)}+{\left(\sum _{i\in J\subseteq I}t_{i}x_{i}\right)}\right)}\\&=\varphi {\left(\sum _{i\in J\subseteq I}{\left(s_{i}+t_{i}\right)}x_{i}\right)}\\&=\sum _{i\in J\subseteq I}{\left(s_{i}+t_{i}\right)}\varphi (x_{i})\\&=\sum _{i\in J\subseteq I}s_{i}\varphi (x_{i})+\sum _{i\in J\subseteq I}t_{i}\varphi (x_{i})\\&=\varphi {\left(\sum _{i\in J\subseteq I}s_{i}x_{i}\right)}+\varphi {\left(\sum _{i\in J\subseteq I}t_{i}x_{i}\right)}\\&=\varphi (u)+\varphi (v).\end{aligned}}

Wir zeigen die Verträglichkeit von ${}\varphi$ mit der skalaren Multiplikation.

{}{\begin{aligned}\varphi (au)&=\varphi {\left(a\sum _{i\in J\subseteq I}s_{i}x_{i}\right)}\\&=\varphi {\left(\sum _{i\in J\subseteq I}{\left(as_{i}\right)}x_{i}\right)}\\&=\sum _{i\in J\subseteq I}{\left(as_{i}\right)}\varphi (x_{i})\\&=a\sum _{i\in J\subseteq I}s_{i}\varphi (x_{i})\\&=a\varphi {\left(\sum _{i\in J\subseteq I}s_{i}x_{i}\right)}\\&=a\varphi (u).\end{aligned}}

Dass dieses ${}\varphi$ der einzige Modulhomomorphismus ist, der die Voraussetzungen erfüllt, folgt aus Lemma 1.16.

\Box

Definition

Es sei ${}R$ ein Ring und ${}I$ und ${}J$ zwei Indexmengen. Eine ${}I\times J$ -Matrix ist eine Abbildung

I\times J\longrightarrow R,\,(i,j)\longmapsto a_{ij}.

Bei ${}I=\{1,\ldots ,m\}$ und ${}J=\{1,\ldots ,n\}$ spricht man von einer ${}m\times n$ -Matrix. In diesem Fall schreibt man eine Matrix zumeist tabellarisch als

{\begin{pmatrix}a_{11}&a_{12}&\ldots &a_{1n}\\a_{21}&a_{22}&\ldots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}&a_{m2}&\ldots &a_{mn}\end{pmatrix}}.

Definition

Es sei ${}R$ ein kommutativer Ring und ${}M$ , ${}N$ zwei endliche ${}R$ - Moduln mit den Erzeugendensystemen ${}x_{1},\ldots ,x_{m}$ und ${}y_{1},\ldots ,y_{n}$ .

Zu einem Modulhomomorphismus

\varphi \colon M\longrightarrow N

heißt eine

{}n\times m

-Matrix

M=(a_{ij})_{ij}

wobei ${}a_{ij}$ die ${}i$ -te Komponente von ${}\varphi (x_{j})$ bezüglich einer Darstellung ${}\varphi (x_{j})=a_{1j}y_{1}+\cdots +a_{nj}y_{n}$ im Erzeugendensystem ${}y_{1},\ldots ,y_{n}$ ist, eine beschreibende Matrix zu ${}\varphi$ bezüglich der Erzeugendensysteme.

Wenn zudem ${}x_{1},\ldots ,x_{n}$ linear unabhängig ist, also eine Basis ist, dann heißt zu einer Matrix ${}M=(a_{ij})_{ij}\in \operatorname {Mat} _{n\times m}(R)$ der durch

x_{j}\mapsto \sum _{i=1}^{n}a_{ij}y_{i}

gemäß

Lemma 1.17 definierte Modulhomomorphismus ${}\varphi (M)$ der durch ${}M$ festgelegte Modulhomomorphismus.

Beispiel

Es sei ${}R$ ein kommutativer Ring, ${}M$ und ${}N$ ${}R$ - Moduln und ${}\varphi :M\rightarrow N$ ein Modulhomomorphismus. Dann sind ${}\operatorname {kern} \varphi$ und ${}\operatorname {bild} \varphi$ Untermoduln von ${}M$ bzw. ${}N$ .

Denn seien ${}u,v\in \operatorname {kern} \varphi$ und ${}r\in R$ , dann gilt

\varphi (u+v)=\varphi (u)+\varphi (v)=0+0=0

und

\varphi (ru)=r\varphi (u)=r\cdot 0=0.

Es seien nun ${}x,y\in \operatorname {bild} \varphi$ und ${}r\in R$ . Dann gibt es ${}u$ , ${}v$ mit ${}u\in \varphi ^{-1}(x)$ und ${}v\in \varphi ^{-1}(y)$ . Es gilt

\varphi (u+v)=\varphi (u)+\varphi (v)=x+y

und

\varphi (ru)=r\varphi (u)=rx.

Zu einer Matrix ${}A$ kann man über den durch die Matrix bezüglich einer Basis in ${}M$ und einem Erzeugendensystem in ${}N$ beschriebenen Modulhomomorphismus genauso auch ${}\operatorname {kern} A$ und ${}\operatorname {bild} A$ als Untermoduln beschreiben.

Für ${}\operatorname {bild} A$ schreibt man auch oft ${}AM$ , sinnbildlich als den Untermodul, der aus allen Elementen besteht, die entstehen, wenn man an ${}A$ alle Elemente aus ${}M$ von rechts multipliziert.

Restklassenmoduln

Definition

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$ - Modul. Es sei ${}U\subseteq M$ ein Untermodul von ${}M$ . Die kommutative Restklassengruppe ${}M/U$ trägt eine kanonische Modulstruktur durch

r\cdot [m]:=[r\cdot m]

für

{}r\in R

und

{}m\in M

Mit dieser Skalarmultiplikation versehen heißt ${}M/U$ der Restklassenmodul von ${}M$ nach ${}U$ .

Es muss geprüft werden, ob diese Definition wohldefiniert ist. Es ist also zu zeigen, dass aus ${}[m]=[m']$ folgt: ${}[rm]=[rm']$ . Sei ${}[m]=[m']$ . Es gibt also ein ${}u\in U$ mit ${}m=m'+u$ . Daraus folgt ${}rm=rm'+ru$ und daher, weil ${}ru\in U$ ist, zwingend ${}[rm]=[rm']$ .

Satz

Es sei ${}R$ ein kommutativer Ring, ${}M$ und ${}N$ zwei ${}R$ - Moduln und sei

\varphi \colon M\longrightarrow N

ein Modulhomomorphismus.

Dann gibt es eine kanonische Faktorisierung

$M{\stackrel {q}{\longrightarrow }}M/\operatorname {kern} \varphi {\stackrel {\theta }{\longrightarrow }}\operatorname {bild} \varphi {\stackrel {\iota }{\hookrightarrow }}N,$

wobei ${}q$ die kanonische Projektion, ${}\theta$ ein Modulisomorphismus und ${}\iota$ die kanonische Inklusion der Bildgruppe ist.

Beweis

Dies folgt direkt aus Satz 5.12 (Körper- und Galoistheorie (Osnabrück 2011)), dem entsprechenden Satz für Gruppen, weil jeder Modulhomomorphismus insbesondere ein Gruppenhomomorphismus ist und weil die resultierenden Gruppenhomomorphismen ${}q$ , ${}\theta$ und ${}\iota$ Modulhomomorphismen sind. Bei ${}q$ ist das so, weil es die kanonische Projektion ist; bei ${}\iota$ ist das so, weil es die Inklusion eines Untermoduls darstellt. Bei ${}\theta$ muss die selbe Eigenschaft dann zwingend gelten, da ansonsten niemals ${}\iota \circ \theta \circ q=\varphi$ gelten könnte.