关于“若P是极大理想则A=PP⁻¹=(1)”的证明疑问：A为何是理想

我完全理解你这里的困惑——当初我初学代数数论里的分式理想和极大理想互反性时，也在这个点上卡了好久。咱们一步步拆解，先回到定义本身：

首先，明确几个关键定义：

• $P$ 是数域 $K$ 的代数整数环 $\mathcal{O}_K$ 的极大理想，满足仅被 $(1)$（即整个 $\mathcal{O}_K$）和自身包含；
• $P^{-1}$ 是 $K$ 中所有满足「对任意 $\pi \in P$，$\gamma\pi$ 都是代数整数」的元素 $\gamma$ 的集合；
• $A=PP^{-1}$ 是所有形如 $\sum_{i=1}^n \pi_i \gamma_i$（其中 $\pi_i \in P$，$\gamma_i \in P^{-1}$，$n$ 是正整数）的元素的集合。

接下来咱们严格按照你给出的理想定义（对代数整数环的理想）来验证 $A$ 是理想：

1. 验证 $A$ 对代数整数的线性组合封闭 #

假设 $\alpha, \beta \in A$，$\lambda, \mu \in \mathcal{O}_K$（代数整数），我们需要证明 $\lambda\alpha + \mu\beta \in A$：

• 因为 $\alpha \in A$，所以 $\alpha = \sum \pi_i \gamma_i$（$\pi_i \in P$，$\gamma_i \in P^{-1}$）；同理 $\beta = \sum \pi'_j \gamma'_j$（$\pi'_j \in P$，$\gamma'_j \in P^{-1}$）。
• 计算 $\lambda\alpha = \sum (\lambda\pi_i) \gamma_i$：由于 $P$ 是 $\mathcal{O}_K$ 的理想，$\lambda \in \mathcal{O}_K$，$\pi_i \in P$，所以 $\lambda\pi_i \in P$；而 $\gamma_i \in P^{-1}$，因此 $(\lambda\pi_i)\gamma_i$ 是 $P$ 中元素乘 $P^{-1}$ 中元素，属于 $PP^{-1}$ 的生成项。
• 同理，$\mu\beta = \sum (\mu\pi'_j) \gamma'_j$，其中 $\mu\pi'_j \in P$，$\gamma'_j \in P^{-1}$，每个项也属于 $PP^{-1}$ 的生成项。
• 两者的和 $\lambda\alpha + \mu\beta$ 就是这些生成项的总和，自然属于 $A$。

2. 补充：$A$ 是 $\mathcal{O}_K$ 的子集 #

你可能还会疑惑：$A$ 里的元素都是代数整数吗？答案是肯定的：
对任意 $\pi \in P$，$\gamma \in P^{-1}$，根据 $P^{-1}$ 的定义，$\gamma\pi$ 是代数整数；而代数整数的和还是代数整数，所以 $A$ 中的每个元素（这些乘积的和）都属于 $\mathcal{O}_K$。

额外延伸：为什么 $A=(1)$？ #

既然已经确认 $A$ 是理想，再结合 $P$ 是极大理想的条件：

• 注意到 $P \subseteq A$：取 $\gamma=1$（显然 $1 \in P^{-1}$，因为对任意 $\pi \in P$，$1\cdot\pi = \pi \in \mathcal{O}_K$），则 $\pi \cdot 1 = \pi \in A$，所以 $P$ 是 $A$ 的子集。
• 因为 $P$ 是极大理想，它的理想只有 $(1)$ 和自身，所以要么 $A=P$，要么 $A=(1)$。
• 假设 $A=P$，那么对任意 $\gamma \in P^{-1}$，$\gamma P \subseteq P$，这意味着 $\gamma$ 是 $\mathcal{O}_K$ 的整元素（即 $\gamma \in \mathcal{O}_K$），但 $P^{-1}$ 必然包含非 $\mathcal{O}_K$ 的元素（比如取 $P$ 中的非零元素 $\pi$，$\frac{1}{\pi}$ 属于 $P^{-1}$，但显然不属于 $\mathcal{O}_K$，否则 $P$ 会包含单位元，成为 $(1)$，矛盾）。因此 $A \neq P$，只能是 $A=(1)$。

内容的提问来源于stack exchange，提问作者user77970