Es sei R {\displaystyle {}R} ein Hauptidealbereich und M {\displaystyle {}M} ein R {\displaystyle {}R} -Modul. Es sei außerdem Ann R M ≠ 0 {\displaystyle {}\operatorname {Ann} _{R}M\neq 0} .
Dann ist M {\displaystyle {}M} direkte Summe zyklischer Primärmoduln.
