无除子元素的p-准素阿贝尔群的结构相关问题

嘿，咱们来拆解这个问题——其实结合阿贝尔p-群的经典结构性质，就能很自然地推出结论，我给你一步步理清楚：

首先先明确题目给出的核心条件：

• $A$是p-准素阿贝尔群（p是素数），意味着每个元素的阶都是p的幂次；
• $A[p] = {a \in A \mid pa=0}$（所有p阶元素构成的子群）是有限的；
• $A$是约化p-群：没有非平凡的无限p-可除元素，也就是$\bigcap_n p^nA = {0}$（反复用p乘之后还能留在群里的只有零元素）。

关键推导步骤 #

根据阿贝尔p-群的Prüfer结构定理，约化的阿贝尔p-群必然同构于若干个循环p-群的直和（有限个或者无限个）。咱们用反证法来推进：

假设$A$是无限的，那它的直和分解里必然包含无限个循环p-群。现在看$A[p]$：每个循环p-群$C(p^k)$里的p阶元素构成的子群都是$C(p)$（阶为p的循环群），所以无限个循环p-群的直和对应的$A[p]$，就是无限个$C(p)$的直和——这显然是一个无限的初等阿贝尔p-群，直接和题目里“$A[p]$有限”的条件矛盾！

所以这个直和只能是有限个循环p-群的直和，而有限个有限群的直和当然是有限群。同时，有限生成的p-准素阿贝尔群本身就等价于有限群（因为有限生成阿贝尔群的p-准素分支就是有限个循环p-群的直和，每个都是有限的），所以题目里的两个说法是等价的。

补充背景关联 #

你提到这是Milne《椭圆曲线》里Shafarevich群p-准素分支的结论——这里的逻辑是，Shafarevich群的p-准素部分恰好满足这两个条件：$A[p]$有限（来自局部域上的一些有限性条件），且是约化的（不存在非平凡的无限p-可除元素），所以直接推出它是有限的，这也是Shafarevich群有限性猜想的一部分。

备注：内容来源于stack exchange，提问作者user267839