阿廷交换p-群等价性证明求助：φ₁(A)={0}当且仅当A有限

首先明确符号定义：

• $p$为素数，$A$是交换$p$-群
• $A[m] = {a \in A \mid ma=0}$（$m$阶 torsion 子群）
• $\phi_k(A) = \bigcap_{n \ge k} p^{n-k}A[pn]$，这里我们关注$k=1$的情况：$\phi_1(A) = \bigcap_{n \ge 1} p^{n-1}A[pn]$
• 阿廷群的核心性质：任意非空降链子群序列最终稳定（即存在某个下标后，所有子群都相等）

第一方向：若$A$有限，则$\phi_1(A)={0}$ #

因为有限交换$p$-群可以分解为循环$p$-群的直和：$A = \bigoplus_{i=1}^t \mathbb{Z}/p^{e_i}\mathbb{Z}$，其中$e_i \ge 1$是每个循环分量的指数。

对任意$n \ge 1$，计算$p^{n-1}A[pn]$：

• 每个循环分量$\mathbb{Z}/p^{{e_i}\mathbb{Z}$的$p}n$-torsion子群是$\mathbb{Z}/p^{\min(e_i,n)}\mathbb{Z}$
• 当$n > e_i$时，$p^{n-1} \equiv 0 \mod p^{{e_i}$，所以$p}{n-1}\mathbb{Z}/p^{\min(e_i,n)}\mathbb{Z} = {0}$

取$N = \max{e_1,e_2,...,e_t}$，则当$n > N$时，所有循环分量对应的$p^{n-1}A[pn]$的分量都是${0}$，即$p^{n-1}A[pn] = {0}$。

因此$\phi_1(A) = \bigcap_{n \ge 1} p^{n-1}A[pn] = \bigcap_{n > N} {0} = {0}$，这部分得证。

第二方向：若$A$是阿廷交换$p$-群且$\phi_1(A)={0}$，则$A$有限 #

这部分是关键，咱们就用你提到的降链来切入：
考虑降链子群序列：
$$A[p] \supset pA[p^2] \supset p^2A[p3] \supset \dots$$

因为$A$是阿廷群，这个降链必然稳定：存在某个正整数$N$，使得对所有$n \ge N$，有$p^{n-1}A[pn] = p^{N-1}A[pN]$。

根据$\phi_1(A)$的定义，它是这个降链所有项的交集，而链稳定后，交集就等于稳定后的项：
$$\phi_1(A) = p^{N-1}A[pN]$$

题目给出$\phi_1(A)={0}$，所以$p^{N-1}A[pN] = {0}$。这意味着：

对任意$a \in A[p^N]$，$p{N-1}a = 0$，即$A[p^N] = A[p^{N-1}]$

进一步递推可得：对所有$k \ge 0$，$A[p^{N+k}] = A[p^{N]$（因为$A[p}{N+k}]$中的元素满足$p^{{N+k}a=0$，而$p}{N-1}a=0$，所以$a$已经在$A[p^N]$里）。

步骤1：证明$A$是有界$p$-群 #

假设存在元素$a \in A$，其阶为$p^m$且$m > N$，那么$a \in A[p^m]$，且$p{m-1}a \neq 0$。但根据降链稳定性，$p^{m-1}A[pm] = p^{N-1}A[pN] = {0}$，这就导致$p^{m-1}a = 0$，与$a$的阶为$p^m$矛盾。

因此，$A$中所有元素的阶都不超过$p^N$，即$A$是有界交换$p$-群。

步骤2：有界阿廷$p$-群必有限 #

根据交换$p$-群的结构定理，有界交换$p$-群可以分解为有限个循环$p$-群的直和（每个循环群的阶$\le p^N$）：
$$A = \bigoplus_{i \in I} \mathbb{Z}/p^{f_i}\mathbb{Z}, \quad 1 \le f_i \le N$$

如果指标集$I$是无限的，我们可以构造一个严格降链子群序列：
$$A \supset \bigoplus_{i \ge 2} \mathbb{Z}/p^{f_i}\mathbb{Z} \supset \bigoplus_{i \ge 3} \mathbb{Z}/p^{f_i}\mathbb{Z} \supset \dots$$
这个序列严格递减且永不稳定，与$A$是阿廷群的条件矛盾。因此$I$必须是有限集，即$A$是有限交换$p$-群。

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