Sei ${\displaystyle {}R}$ ein kommutativer Ring und ${\displaystyle {}M}$ ein ${\displaystyle {}R}$-Modul. Dann heißt ${\displaystyle {}M}$ noethersch, wenn jeder ${\displaystyle {}R}$-Untermodul von ${\displaystyle {}M}$ endlich erzeugt ist.