eine Aussage über endlich erzeugte Moduln über lokalen Ringen.

Sei R ein (kommutativer) lokaler Ring mit Maximalideal \({\mathfrak{m}}\), und sei M ein endlich erzeugter R-Modul sowie N ⊂ M ein Untermodul.

Ist dann \(N+{\mathfrak{m}}M=M\), so folgt M = N.