无限直积ℤ/2ℤ在素理想处的局部化求解方法

咱们一步步来拆解这个问题，从基础结构到具体结论：

1. 先搞清楚目标环的本质 #

记 ( R = \prod_{n=1}^\infty \mathbb{Z}/2\mathbb{Z} )，这是一个布尔环——每个元素 ( x = (x_1, x_2, \dots) ) 都满足 ( x^2 = x )（毕竟每个分量 ( x_i \in {0,1} )，平方等于自身）。布尔环有个关键特性：它的所有素理想都是极大理想，而且这些素理想和自然数集 ( \mathbb{N} ) 上的超滤一一对应。

2. 素理想与超滤的对应关系 #

你可以把 ( R ) 中的每个元素 ( x ) 看作 ( \mathbb{N} ) 的一个子集：( S_x = { n \in \mathbb{N} \mid x_n = 1 } )。对于 ( R ) 的素理想 ( P )，它对应的超滤 ( U ) 是 ( \mathbb{N} ) 子集的一个极大族，满足：

• ( x \in P ) 当且仅当 ( S_x \notin U )（换句话说，( \mathbb{N} \setminus S_x \in U )）
• 超滤 ( U ) 本身满足：包含 ( \mathbb{N} )、不包含空集；若 ( A \in U ) 且 ( A \subseteq B )，则 ( B \in U )；任意子集 ( A \subseteq \mathbb{N} )，要么 ( A \in U )，要么 ( \mathbb{N} \setminus A \in U )

简单说，超滤就是一种“挑出‘大’子集”的规则：主超滤就是固定某个自然数 ( k )，所有包含 ( k ) 的子集都算“大”；非主超滤则是不包含任何有限子集的超滤（依赖选择公理存在，对应“无限大”的子集族）。

3. 局部化的核心等价关系 #

回忆局部化 ( R_P ) 的定义：它是所有分式 ( \frac{a}{s} ) 的等价类集合，其中 ( a \in R )，( s \notin P )，等价关系是 ( \frac{a}{s} = \frac{b}{t} \iff \exists u \notin P, \ u(at - bs) = 0 )。

结合 ( R ) 是布尔环的性质（( s^2 = s )），我们可以简化分式：( \frac{a}{s} = \frac{a \cdot s}{s \cdot s} = \frac{as}{s} = as )（因为 ( s^2 = s )，分母可以直接约掉）。这意味着局部化的元素可以看作是 ( R ) 中元素的等价类，两个元素 ( a,b ) 等价当且仅当：

存在 ( s \notin P )，使得 ( s(a - b) = 0 )

翻译回子集的语言，就是 ( S_s \cap S_{a-b} = \emptyset )（乘积为0意味着没有分量同时为1），而 ( s \notin P ) 说明 ( S_s \in U )，因此 ( S_{a-b} ) 是“小”子集（不在超滤里），也就是 ( { n \mid a_n = b_n } \in U )——这正是超积的等价关系！

4. 局部化的具体结构：超积域 #

基于上面的等价关系，我们可以直接得到局部化的结构：
[ R_P \cong \prod_{n=1}^\infty \mathbb{Z}/2\mathbb{Z} \bigg/ U ]
这里的 ( U ) 就是对应素理想 ( P ) 的超滤。分两种典型情况看：

• 如果 ( U ) 是主超滤（比如固定某个 ( k )），那么超积就是 ( \mathbb{Z}/2\mathbb{Z} )——因为等价类只看序列在第 ( k ) 位的值，局部化后就是单个二元域。
• 如果 ( U ) 是非主超滤，那么这个超积是一个不可数的特征2域（基数为 ( 2^{\aleph_0} )），它是 ( \mathbb{Z}/2\mathbb{Z} ) 的超扩张，是完全域（没有非平凡可分扩张）。

5. 为什么局部化是域？ #

因为 ( P ) 是布尔环的素理想，同时也是极大理想。对于 ( R_P ) 中的任意非零元素 ( \frac{a}{s} )，由于它非零，说明 ( a \notin P )（否则存在 ( u \notin P ) 使得 ( ua = 0 )，分式就等价于0）。而 ( a ) 是幂等元（( a^2 = a )），所以 ( \frac{a}{s} \cdot \frac{s}{a} = \frac{as}{sa} = 1 )，即 ( \frac{a}{s} ) 可逆。因此 ( R_P ) 中每个非零元都可逆，自然是域。

另外，你也可以通过同构来理解：( R_P \cong R/P )，而 ( R/P ) 是极大理想的商环，本身就是域，这也直接说明局部化是域。

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