诺特模

一个 模 是诺特的，如果它服从关于包含关系的升链条件，即，如果每个递增子模序列最终变成常数。

如果一个 模 是诺特的，则以下是等价的。

1. 满足 升链条件 关于 子模。

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

3. 的每个 子模 集合都包含一个极大元。