关于无限有界指数周期局部幂零群是否为其Sylow p-子群直积的技术问询

嗨，这个问题问得非常好，刚好触及了有限幂零群到无限局部幂零群的推广边界——答案是肯定的，我们可以得出$G$是其Sylow $p$-子群（$p$遍历$n$的素因子）的直积的结论，下面我一步步给你拆解原因：

先明确核心概念的定义（避免歧义） #

• 局部幂零群：群$G$的每个有限生成子群都是幂零群
• 有界指数周期群：存在自然数$n$，使得对任意$x\in G$，$x^n=1$，这意味着$G$中每个元素的阶都有限且整除$n$
• 无限群的Sylow $p$-子群：这里指$G$的极大$p$-子群（由于$G$是周期群，每个$p$-元素必然包含在某个极大$p$-子群中）

关键推导步骤 #

1. 不同素数的Sylow子群元素两两交换
   任取素数$p\neq q$（均为$n$的因子），取$x\in S_p$（$S_p$是$G$的Sylow $p$-子群），$y\in S_q$。考虑有限生成子群$\langle x,y\rangle$：

   • 因为$G$是局部幂零群，$\langle x,y\rangle$是有限幂零群
   • $x$的阶是$p^{k$，$y$的阶是$q}m$，二者互素；在有限幂零群中，互素阶的元素必交换，因此$xy=yx$

2. 每个元素都可分解为各Sylow子群元素的乘积
   任取$g\in G$，$g$的阶整除$n$，因此可分解为互素素幂阶元素的乘积：$g = g_1g_2\cdots g_r$，其中$g_i$是$p_i$-元素（$p_i$是$n$的素因子）。

   • 由于$\langle g_i\rangle$是$p_i$-群，而局部幂零群中任意$p$-子群都包含在某个极大$p$-子群中；结合不同素数Sylow子群元素交换的性质，$\langle g_i, S_{p_i}\rangle$是$p_i$-群，而$S_{p_i}$是极大$p_i$-子群，因此$g_i\in S_{p_i}$

3. 分解的唯一性
   假设$g = s_1s_2\cdots s_r = t_1t_2\cdots t_r$（其中$s_i,t_i\in S_{p_i}$），则$s_1t_1^{-1} = t_2s_2^{-1}\cdots t_r s_r^{-1}$：

   • 左边是$p_1$-元素，右边是$p_2,\dots,p_r$-元素的乘积，其阶整除$n/p_1$（与$p_1$互素）
   • 只有当$s_1t_1^{-1}=1$（即$s_1=t_1$）时，等式才能成立；同理可推得所有$s_i=t_i$

结论 #

综合以上三点，$G$中的每个元素都能唯一表示为各Sylow $p$-子群元素的乘积，且不同子群的元素两两交换，因此$G$是这些Sylow $p$-子群的直积。

备注：内容来源于stack exchange，提问作者Reza Fallah Moghaddam