诺特-拉斯克定理

令 为交换 诺特环 上的有限生成 模。则存在一个有限子模集合 of 使得

1. 且 不包含在 中，对于所有 。

2. 每个商 对于某个素 是准素的。

3. 对于 ， 都是不同的。

4. 准素成分 的唯一性等价于声明对于任何 ， 不包含 。