关于Dedekind环的引理证明疑问——Frolich与Cassels《代数数论》

嘿，我来帮你拆解这个被书里标为“显然”的包含关系——这种看似理所当然的结论，反而容易因为对局部化概念的细节没吃透而卡壳，完全正常！

首先我们先明确几个关键定义：

• $R_p=(R\setminus p)^{-1}R$ 是Dedekind环 $R$ 在素理想 $p$ 处的局部化，本质是把 $R$ 中所有不在 $p$ 里的元素变成可逆元后得到的环；
• $T_p=TR_p$ 作为 $U$（$K$ 上有限维向量空间）的子集，它的元素都是形如 $\frac{t}{s}$ 的元素，其中 $t\in T$，$s\in R\setminus p$。

现在要证明 $T \subset \bigcap_p T_p$，核心就是证明：任意 $x\in T$，对每个素理想 $p$，都有 $x\in T_p$。

我们来具体看单个素理想 $p$ 的情况：
对于 $x\in T$，我们可以把它写成 $\frac{x}{1}$ 的形式——这里的分母 $1$ 是 $R$ 的单位元，而素理想 $p$ 是 $R$ 的真理想，必然不含单位元，所以 $1\in R\setminus p$。
根据 $T_p$ 的定义，$\frac{x}{1}$ 属于 $TR_p=T_p$，也就是说 $x\in T_p$。

因为这个结论对**任意素理想 $p$**都成立，所以 $x$ 属于所有 $T_p$ 的交集，即 $x\in \bigcap_p T_p$。由于 $x$ 是 $T$ 中任意元素，自然就有 $T \subset \bigcap_p T_p$ 了。

可能你之前的困惑点在于对 $T_p$ 元素形式的理解——别忘了 $U$ 是 $K=\operatorname{Frac}(R)$ 上的向量空间，所以 $\frac{x}{1}$ 本身就是 $U$ 中的元素，完全符合 $T_p$ 作为 $U$ 子集的定义。

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