諾特模

一個 模 是諾特的，如果它服從關於包含關係的升鏈條件，即，如果每個遞增子模序列最終變成常數。

如果一個 模 是諾特的，則以下是等價的。

1. 滿足 升鏈條件 關於 子模。

2. 的每個 子模 都是有限生成的。

3. 的每個 子模 集合都包含一個極大元。