Abel群挠子群分裂性质的子群继承性问题咨询

先直接给结论：这个结论不成立——哪怕Abel群A能拆成挠子群和无挠子群的直积，它的子群B未必能做同样的拆分，存在明确的反例。

经典反例构造 #

拿任意素数p举例，我们一步步来：

1. 先定义群 ( A = \mathbb{Z} \oplus \mathbb{Q}/\mathbb{Z} )：

   • ( \mathbb{Z} ) 就是整数加法群，是无挠的；
   • ( \mathbb{Q}/\mathbb{Z} ) 是有理数模整数的加法群，所有元素都是有限阶的，也就是A的挠子群T。
     显然A可以拆成 ( T \times \mathbb{Z} )，完全符合题目里A的条件。

2. 再定义A的子群B：
   B由两个元素生成：( (1, 0) ) 和 ( \left( \frac{1}{p}, \frac{1}{p} + \mathbb{Z} \right) )。换句话说，B里的所有元素都能写成：
   [ k \cdot (1,0) + m \cdot \left( \frac{1}{p}, \frac{1}{p} + \mathbb{Z} \right) = \left( k + \frac{m}{p}, \frac{m}{p} + \mathbb{Z} \right) ]
   其中k和m是任意整数。

为什么B没法拆分？ #

• 先找B的挠子群 ( T_B )：挠元素得满足存在正整数t，让 ( t \cdot (b, c) = (0, 0) )。因为整数群是无挠的，tb=0意味着b=0，所以c必须是 ( \mathbb{Q}/\mathbb{Z} ) 里的有限阶元素，而且 ( (0, c) ) 得在B里。
• 假设 ( (0, c) \in B )，那得有整数k,m满足 ( 0 = k + \frac{m}{p} ) 且 ( c = \frac{m}{p} + \mathbb{Z} )。从第一个等式能推出 ( k = -\frac{m}{p} )，但k是整数，所以p必须整除m，设m=pn，代入第二个等式得 ( c = n + \mathbb{Z} = 0 + \mathbb{Z} )。这说明 ( T_B = {0} )。
• 虽然B能平凡地写成 ( T_B \times B )，但B本身同构于 ( \mathbb{Z}[1/p] )（所有形如 ( \frac{a}{p^k} ) 的整数分数构成的加法群），这是个无挠群但不是自由Abel群——和A的无挠子群Z的结构完全不同。

更能体现问题本质的是混合群的情况：存在既有挠元素又有无挠元素的子群B，它的挠子群没法作为直和因子拆分出来。比如构造B为 ( \mathbb{Z}_p^\infty )（Prüfer p-群，挠群）和 ( \mathbb{Z} ) 的非分裂扩张，这种扩张是存在的（因为Ext(ℤ, ℤ_p∞) ≅ ℤ_p，非零），此时B的挠子群是 ( \mathbb{Z}_p^\infty )，但没法拆成 ( \mathbb{Z}_p^\infty \times \mathbb{Z} )，因为这个扩张是非分裂的，而且B可以嵌入到A=ℤ_p∞⊕ℤ中。

总结 #

当A是可分裂的Abel群（挠子群是直和因子）时，它的子群B不一定继承这个性质，尤其是当B是挠子群和无挠群的非分裂扩张时，就没法做同样的拆分。

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