Kurs:Invariantentheorie/Moduln/Nakayama/Textabschnitt

Anhang 1 - 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):

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

Definition

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

Ein kommutativer Ring ${}R$ selbst ist in natürlicher Weise ein ${}R$-Modul, wenn man die Ringmultiplikation als Skalarmultiplikation interpretiert. Die Ideale sind dann genau die ${}R$-Untermoduln von ${}R$. Die Begriffe Ideal-Erzeugendensystem und Modul-Erzeugendensystem stimmen für Ideale überein.

Im Lemma von Nakayama wird folgende Konstruktion betrachtet: Zu einem ${}R$-Modul ${}V$, einem Untermodul  ${}U\subseteq V$  und einem Ideal  ${}I\subseteq R$  bezeichnet man mit ${}IU$ den ${}R$-Untermodul von ${}V$, der von allen Elementen der Form $fv,\,f\in I,\,v\in U$, erzeugt wird (dies ist auch ein ${}R$-Untermodul von ${}U$). Ist ${}U$ ebenfalls ein Ideal (also ein ${}R$-Untermodul von ${}R$) so fällt dieses Konzept mit dem Produkt von Idealen zusammen. Der Restklassenmodul ${}V/IV$ ist dabei in natürlicher Weise nicht nur ein ${}R$-Modul, sondern auch ein ${}R/I$-Modul. Wenn ${}I$ ein maximales Ideal ist, so bedeutet dies, dass der Restklassenmodul sogar ein Vektorraum über dem Restklassenkörper ist.

Lemma

Es sei ${}(R,{\mathfrak {m}})$ ein lokaler Ring und sei ${}V$ ein endlich erzeugter ${}R$- Modul. Es sei  ${}{\mathfrak {m}}V=V$  vorausgesetzt.

Dann ist  ${}V=0$. 

Beweis

Es sei ${}v_{1},\ldots ,v_{n}$ ein Erzeugendensystem von ${}V$. Nach Voraussetzung gibt es wegen  ${}v_{i}\in {\mathfrak {m}}V$  zu jedem ${}v_{i}$ eine Darstellung

${}v_{i}=a_{i1}v_{1}+\cdots +a_{in}v_{n}\,$

mit  ${}a_{ij}\in {\mathfrak {m}}$.  Daraus ergibt sich für jedes ${}i$ eine Darstellung

${}(1-a_{ii})v_{i}=a_{i1}v_{1}+\cdots +a_{i,i-1}v_{i-1}+a_{i,i+1}v_{i+1}+\cdots +a_{in}v_{n}\,.$

Da  ${}a_{ii}\in {\mathfrak {m}}$  ist, ist der Koeffizient ${}1-a_{ii}$ eine Einheit. Dies bedeutet aber, dass man nach ${}v_{i}$ auflösen kann, sodass also ${}v_{i}$ überflüssig ist. So kann man sukzessive auf alle Erzeuger verzichten, was bedeutet, dass der Nullmodul vorliegen muss.

$\Box$