Elementarteilersatz (Modultheorie über Hauptidealbereichen)
Es sei ein
Untermodul eines
endlichen,
freien
Moduls mit
Rang über dem
Hauptidealbereich .
Dann besitzt ein
Erzeugendensystem , für das gilt:
- Es gibt eine
Basis von und Ringelemente mit für alle .
- Die sind alle von verschieden.
- teilt für .