Dimension eines Moduls
# Dimension eines Moduls

In der kommutativen Algebra, einem Teilgebiet der Mathematik, sind Moduln Verallgemeinerungen von Vektorräumen. Jeder Vektorraum hat eine Basis, die seine Dimension bestimmt; im Gegensatz dazu sind Moduln im Allgemeinen nicht frei und besitzen keine Basis. In der kommutativen Algebra gibt es mehrere Konzepte, die den Dimensionsbegriff von Vektorräumen auf Moduln verallgemeinern.
Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Ringhomomorphismen bilden Einselemente auf Einselemente ab. Für weitere Details siehe Kommutative Algebra.

## Definitionen
### Dimension eines Moduls

Ist $M$ ein Modul über einem Ring $R$, so ist seine Dimension definiert als die Krulldimension des Ringes $R$ modulo des Annulators von $M$:
    $\mathrm {dim} (M):=\mathrm {dim} (R/\mathrm {Ann} (M))$
Die Ähnlichkeit zwischen dem Begriff Dimension eines Moduls und dem Begriff Dimension eines Vektorraumes ist nur sprachlicher Natur: Als Modul hat jeder Vektorraum die Dimension 0, da ein Körper die Krulldimension 0 hat.

### Länge eines Moduls

Ist $M$ ein Modul, so ist eine Normalreihe in $M$ eine Kette
    $M=M_{0}\supsetneq M_{1}\supsetneq \dots \supsetneq M_{n}=0$
Eine Normalreihe heißt Kompositionsreihe, wenn
    $M_{i}/M_{i+1}(0\leq i<n)$
ein einfacher Modul ist. ($N$ ist ein einfacher Modul, wenn $0$ und $N$ die einzigen Untermoduln von $N$ sind.)
$M$ heißt von endlicher Länge, wenn es eine Schranke für die Längen aller Normalreihen gibt. Das Maximum der Längen heißt die Länge von $M$ und wird mit
    $\ell (M)$
bezeichnet.
Der Satz von Jordan-Hölder besagt, dass ein Modul, der eine Kompositionsreihe besitzt, eine endliche Länge hat und dass alle Kompositionsreihen gleich lang sind.

### Mü eines Moduls

Ist $M$ ein endlich erzeugter $R$-Modul, so wird mit $\mu (M)$ die Anzahl der Elemente eines kürzesten Erzeugendensystems von $M$ genannt.

## Beispiele
### Vektorräume

Ist $V$ ein $n$-dimensionaler Vektorraum, dann ist
* $\mathrm {dim} (V)=0$ (seine Dimension als Modul)
* $l(V)=n$
* $\mu (V)=n$

### Reguläre lokale Ringe

Ist $R$ ein lokaler Ring mit maximalem Ideal $m$, so ist $R$ genau dann regulär, wenn:
    $\mu (m)=\mathrm {dim} (R)$
Für alle Ringe gilt:
    $\mu (m)\leq \mathrm {dim} (R)$