諾特-拉斯克定理

令 為交換 諾特環 上的有限生成 模。則存在一個有限子模集合 of 使得

1. 且 不包含在 中，對於所有 。

2. 每個商 對於某個素 是準素的。

3. 對於 ， 都是不同的。

4. 準素成分 的唯一性等價於宣告對於任何 ， 不包含 。