Модуль Нетер

Модуль Нетер (нетерів модуль) — модуль M, в якому виконується умова стабілізації зростаючих ланцюгів:

Довільна послідовність підмодулів

${\displaystyle M_{1}\,\subseteq \,M_{2}\,\subseteq \,M_{3}\,\subseteq \,\cdots ,}$

стабілізується, тобто починаючи з деякого n:

${\displaystyle M_{n}\,=\,M_{n+1}\,=\,M_{n+2}\,=\,\cdots .}$

Легко довести, що це твердження рівносильно тому, що в будь-якій непорожній множині підмодулів M існує максимальний елемент.

Названо на честь Еммі Нетер.