为什么当 m 是素数时，mZ 是 Z 的极大理想？

适用条件

• 背景环是整数环 Z。
• m 是素数。
• 考虑的零理想是 mZ。

理解与推导

1. 假设存在 Z 的一个理想 I 使得 mZ ⊆ I。
2. 回忆 Z 的所有理想都是主理想，因此将 I 写为某个整数 k 的 kZ。
3. 将理想包含关系 mZ ⊆ kZ 转化为整除关系 k | m。
4. 应用素数的定义：因为 m 是素数，k 必须等于 1 或 m。
5. 代入 $k=1$ 得到 $I = 1Z = Z$。
6. 代入 $k=m$ 得到 I = mZ。
7. 得出任何包含 mZ 的理想要么是 mZ 本身，要么是整个环 Z，满足极大理想的等价定义的结论。

例子

视频通过反证法证明了这一点：“假设存在 Z 的一个理想 I := kZ 使得 mZ ⊆ I。那么 mZ ⊆ kZ，所以 k 整除 m。因为 m 是素数，$k = 1$ 或 m。如果 $k = 1$，那么 $I = Z$；如果 $k = m$，那么 I = mZ。Q.E.D.！”

容易误解的地方

• 假设对于任何整数 m，mZ 都是极大的，忘记了 m 的素数性质对于将因数 k 限制为 1 和 m 至关重要。
• 混淆极大理想与素理想；虽然当 m 是素数时 mZ 既是极大理想又是素理想，但它们的证明依赖于不同的性质（整除性 与之对比 乘积成员资格）。

观看对应讲解

继续追问

• 为什么 6Z 不是 Z 的素理想？
• 在这个证明中使用的极大理想的等价定义是什么？
• 为什么 mZ ⊆ kZ 意味着 k | m？