可数无限阿贝尔挠群的结构：递增有限子群族覆盖问题

咱们先从核心思路入手：既然G是可数无限的，那就能把它的所有元素逐一列出来；再结合阿贝尔挠群的关键性质——有限个挠元素生成的子群一定是有限的，咱们就能一步步构造出满足要求的递增有限子群族。

详细构造与证明步骤 #

• 第一步：枚举群元素
  因为G可数无限，所以存在一个双射把自然数集映射到G，换句话说，咱们能把G的所有元素写成一个序列：$G = {g_0, g_1, g_2, \dots}$，每个元素都在这个序列里，没有重复也没有遗漏。

• 第二步：递归构造有限子群族

  • 初始化：令$G_0 = \langle g_0 \rangle$，也就是由$g_0$生成的循环子群。因为G是挠群，$g_0$的阶是有限的，所以$G_0$是有限子群。
  • 递归步骤：假设对于$n \geq 0$，咱们已经构造出了有限子群$G_n$，接下来构造$G_{n+1}$：取$G_{n+1} = \langle G_n \cup {g_{n+1}} \rangle$，也就是由$G_n$和$g_{n+1}$共同生成的子群。
    由于G是阿贝尔群，这个子群里的元素都可以写成$h \cdot k$的形式，其中$h \in G_n$，$k \in \langle g_{n+1} \rangle$。而$G_n$有限，$\langle g_{n+1} \rangle$也是有限的（因为$g_{n+1}$是挠元素），所以它们生成的子群$G_{n+1}$必然是有限的。
    同时，$G_n$显然是$G_{n+1}$的子集；又因为G是无限群，随着n增大，总会有$g_{n+1}$不在$G_n$中（否则所有元素都在$G_n$里，G就有限了，矛盾），所以$G_n \subsetneqq G_{n+1}$对无限多个n成立，即使偶尔有$g_{n+1} \in G_n$，咱们也可以让$G_{n+1}=G_n$，整体依然能保证存在严格递增的链（或者直接调整枚举顺序，每次选不在当前子群里的元素，不过没必要，因为最终并集不受影响）。

• 第三步：验证并集等于G
  对于任意元素$g_k \in G$，根据构造，$g_k$属于$G_k$，自然也属于$\bigcup_{n \geq 0} G_n$；反过来，每个$G_n$都是G的子群，所以它们的并集是G的子集。因此$\bigcup_{n \geq 0} G_n = G$。

关键性质的补充说明 #

这里用到的核心性质——阿贝尔群中有限个挠元素生成的子群是有限的，可以这么理解：每个挠元素的阶有限，在阿贝尔群里，有限个循环群的直和（乘积）的阶是各循环群阶的公倍数，因此必然有限。这个结论在大多数抽象代数教材里都有证明。

参考文献 #

你可以参考以下经典教材中的相关章节：

• 《Abstract Algebra》（Dummit & Foote）：第4章关于阿贝尔群的内容，特别是挠群的结构部分。
• 《Algebra》（Michael Artin）：第7章中有限生成阿贝尔群的相关讨论，其中包含挠群的基本性质。

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