Zum Inhalt springen

Modultheorie/Z/Elementarteilersatz/Fakt

Aus Wikiversity
Elementarteilersatz

Es sei eine -Matrix über . Es sei das Minimum von und und der Rang von .

Dann gibt es eine Darstellung

mit invertierbaren -Elementarmatrizen und und einer Diagonalmatrix .

Für (kleiner als der Rang von M) teilt jeweils und für gilt .