Modultheorie/Hauptidealbereich/euklidisch/Elementarteilersatz/Fakt

Elementarteilersatz (euklidisch)

Es sei ein euklidischer Bereich und sei eine -Matrix über . Es sei das Minimum von und .

Dann gibt es eine Darstellung

mit invertierbaren -Elementarmatrizen und und einer Diagonalmatrix .

Es gibt ein mit und folgender Eigenschaft: Für teilt jeweils und für gilt .