有限生成Abel群基本定理-有限生成 Abel 群基本定理

有限生成 Abel 群根本定理：那群在本质上就是平凡的 起初，我们要把目光投向那些被数学家们反复验证过的“有限生成 Abel 群”。想象一下你手里拿着一只无限大的蚂蚁，蚂蚁能爬在无限长的楼梯上，但要是你把蚂蚁藏在一个只有有限个蚂蚁组成的圈里，你会发现……咦？仿佛没啥特别的。
这就是有限生成 Abel 群最直观的直觉。 根本定理实际上说了一条挺朴素的真理：任何有限生成的 Abel 群，在变成它自身的商群之后，结局一定是“平凡”的。啥意思呢？就是说，要是你拿一个包含无限多个元素的无限隙群（像那个无限长的楼梯），然后强行把它压缩得只剩下有限的元素，那么剩下的这局部元素，其内部结构彻底“死”了，没有任何非平凡的自我同构。
也就是说，当你能把无限多的东西压缩进有限的盒子里时，盒子里的所有东西本质上就都没有区别，它们彼此等距、同构，最终坍缩成了一堆毫无意义的单位元。 为了理解这个结论背后的震撼力，我们需求看看具体的计算过程。我们假设有一个无限隙群 $G$，它的生成元在代数意义上是无限的，但在具体的数值位移上，我们只用了 $n$ 个不同的数字就能把整个群打乱。 举个例子，假设我们有一个由两个生成元 $x$ 和 $y$ 构成的群。在无限隙群的世界里，$x$ 和 $y$ 可能是任意两个互质的整数。目前，我们在这个无限大的舞台上强行关进一个“有限群” $H$ 里。
这个 $H$ 务必是有限的，故此 $H$ 里的元素数量 $|H|$ 是有限的。
既然 $H$ 是有限群，根据阿贝尔群的根本性质，要是它有限，那么它务必知足某种特殊的结构。 我们试着构造一个 $H$。假设 $H$ 是由 $x$ 和 $y$ 生成的，并且我们让 $H$ 里所有的元素都等于某个特定的单位元 $0$。
这自然可能。
可是，要是 $H$ 确实非平凡（即存有非零元素），并且 $H$ 是由 $x, y$ 生成的，那么 $H$ 中一定存有无限多的元素吗？不一定，但要是 $H$ 是有限生成的且是有限群，那么 $H$ 中每个生成元 $x$ 都务必知足 $x^k = 0$ 对于某个 $k$。 让我们回到那个数字的映射。出于 $G$ 是无限的，而 $H$ 是有限的，故此 $G$ 中一定存有元素 $u, v, dots$ 它们的刻度各不相同，而 $H$ 里要么全是 $0$，要么全是某个固定的非零值，要么全是零。 这里有个关键点，就是阿贝尔群有限生成的同构等价性。
要是 $G$ 是有限生成的，而 $G/H$ 是有限生成的（这是显然的，出于 $H$ 是子群），那么 $G/H$ 作为 $G$ 的商群，其结构取决于 $G/H$ 的大小。
要是 $G$ 是无限隙群，而 $H$ 是有限群且 $G$ 有限生成，那么 $G/H$ 必然不是可解的，要么说，它务必构成一个“一切”的结构。 目前，我们来看一下具体的数值操作。假设 $G$ 中的两个生成元 $x$ 和 $y$ 在无限隙群中是互质的。
那么，在 $G$ 的乘法群中，$x$ 和 $y$ 生成的子群包含所有 $a x + b y$ 这种形式的元素（在加法意义下）。而在有限生成 Abel 群中，任何元素的阶是有限的。
这意味着 $x$ 和 $y$ 在 $G$ 中务必有非平凡的幂次，比如 $x^k = 0$ 和 $y^m = 0$。 可是，这里还有一个更深层的矛盾。
要是 $H$ 是由 $x$ 和 $y$ 生成的有限商群，那么 $H$ 中的元素是由 $x^k y^m$ 形式组成的。出于 $H$ 是有限群，这两个生成元 $x$ 和 $y$ 在 $H$ 中务必归于某个阶有限的子群。
要是 $x$ 和 $y$ 是互质的整数，那么它们生成的子群同构于 $mathbb{Z} times mathbb{Z}$，这是一个自由 Abel 群，没有非零元的整数幂次。 这就形成了庞大的冲突。在无限隙群 $G$ 中，$x$ 和 $y$ 能够是任意大的正整数，它们的阶能够是无限的（要不就我们限制 $G$ 本身为有限群，但题目说是无限隙）。
要是 $G$ 是无限隙，那么 $x$ 和 $y$ 能够取到任何大的整数。
可是，要是我们将 $G$ 模掉一个有限子群 $H$，拿到的 $G/H$ 务必是一个有限 Abel 群。
这意味着 $x$ 和 $y$ 在 $G/H$ 中的阶是有限的，设为 $k$。
也就是说，$x^k in H$ 且 $y^m in H$。 这个矛盾如何解决的呢？让我们看看 $H$ 到底长啥样。$H$ 是由 $x$ 和 $y$ 生成的，且是有限群。
这意味着 $x$ 和 $y$ 在 $H$ 中务必生成一个有限循环群？不，两个元素的乘积生成有限群意味着啥？它意味着 $x$ 和 $y$ 务必知足某种关系，使得它们生成的环或加群变得有限。 实际上，要是 $G$ 是有限生成的，且 $H$ 是有限生成的子群，那么 $G/H$ 是有限生成的。
反过来，要是 $G$ 是无限隙但有限生成，且 $H$ 是有限群，那么 $G/H$ 必然是有限生成的。
故此 $G/H$ 是一个有限 Abel 群。根据阿贝尔群的根本定理，有限 Abel 群要么是无循环的，要么是有循环的。 要是 $G/H$ 有循环，那么 $G$ 也是循环的（出于它是有限生成且商群为一个循环）。
要是 $G$ 是循环的，那么 $G$ 就是 $mathbb{Z}$ 要么 $mathbb{Z}_k$。
要是 $G cong mathbb{Z}$，那么 $G$ 没有非零元的幂次，这与 $H$ 是有限群矛盾（要不就 $H$ 是零群，但这会害得 $G/H cong mathbb{Z}$，不是有限群）。
要是 $G cong mathbb{Z}_k$，那么 $G$ 本身就是有限群，但这与 $G$ 是无限隙群矛盾。 故此，唯一的出路是 $H$ 务必是非平凡的，且 $G/H$ 的结构使得 $x$ 和 $y$ 在 $H$ 中“消亡”了。
也就是说，$x$ 和 $y$ 务必知足方程 $x^k = 0$ 和 $y^m = 0$。
这就意味着 $x$ 和 $y$ 在 $G$ 中生成的子群中，所有元素的阶都不超过 $k$ 和 $m$。 什么的，这里还有一个更好办的视角。
要是 $G$ 是有限生成的，那么 $G$ 中所有元素的阶都是有限的。设 $n = text{lcm}(text{所有元素的阶})$。
那么在群 $G$ 中，存有 $n$ 个元素，它们的阶都严格小于 $n$。
要是我们能构造出一个有限子群 $H$，使得 $|H| < n$，那么 $G$ 中那些阶超过 $|H|$ 的元素就被“吞”掉了，要么说不存有非零元素能映射到 $H$ 的非零局部。 关键在于，要是 $G$ 是无限隙群，那么 $G$ 中一定存有一对元素 $x, y$，它们且互质，并且都能生成无限多个不同的元素。在有限生成的 Abel 群中，任何两个互质的生成元，要是在商群中对应有限生成的元素，那么这两个生成元在商群中务必知足方程 $x^k = 0, y^m = 0$。
这意味着 $x$ 和 $y$ 在商群中生成的子群是有限的。但这与 $x, y$ 是互质的整数矛盾（互质整数生成的加群是无限直和 $mathbb{Z} oplus mathbb{Z}$，没有有限循环结构）。 要不就……要不就 $x$ 和 $y$ 不是互质的整数。但在无限隙群中，我们一般定义生成元为互质的整数（像 5, 6, 7 这样）。
要是 $G$ 是无限隙，那么存有 $x, y$ 互质，使得 $x^k = 0, y^m = 0$ 在 $G$ 中不成立，要不就 $G$ 本身被限制为有限群。 让我们换个角度。假设 $G$ 是有限生成 Abel 群。
那么 $G$ 中所有元素的阶是有限的。设 $H$ 是 $G$ 的有限子群。
那么 $G/H$ 是有限 Abel 群。根据根本定理，$G/H$ 要么是有循环的，要么是无循环的。
要是有循环，那么 $G$ 也是循环的（出于有限生成且商群循环）。
要是 $G$ 是循环的，那么 $G$ 要么是 $mathbb{Z}$，要么是 $mathbb{Z}_k$。
要是 $G cong mathbb{Z}$，则 $G$ 没有非零元的整数幂次，这与 $H$ 是有限群矛盾（出于 $H$ 中所有元素务必有有限阶，要不就 $H=0$）。
要是 $G cong mathbb{Z}_k$，则 $G$ 是有限群，矛盾。
故此 $G$ 务必是无循环的。 前面已经证明过，有限 Abel 群不能有无限多个元素且无循环。
故此，$G/H$ 务必是循环的。但这意味着 $G$ 也是循环的。矛盾。 故此，结论只能是：$H$ 务必是非平凡的，且 $G/H$ 的结构使得 $x$ 和 $y$ 在 $H$ 中“消亡”，即 $x^k = 0$ 和 $y^m = 0$ 在 $H$ 中成立。
这意味着 $x$ 和 $y$ 在 $G$ 中生成的子群中，所有元素的阶都不超过 $k$ 和 $m$。但这又回到了原点：在无限隙群中，我们能够取 $x, y$ 使得它们的阶无限大。 这说明我的推导哪儿出了难题？啊，出在“互质”上。
要是 $x$ 和 $y$ 互质，那么在 $mathbb{Z}$ 中，它们生成的理想是 $I = gcd(x, y)mathbb{Z}$。
要是 $x, y$ 互质，$gcd(x, y)=1$，那么 $I = mathbb{Z}$。
这意味着对于任何 $n$，存有 $x^{-1} pmod n$。
也就是说，$x$ 在 $n$ 阶循环群中的像能够是任意大的。 故此，要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $|G|$ 是 $G$ 中所有元素的阶的最大公约数（实际上不是，是 lcm）。设 $M$ 是 $G$ 中所有元素的阶。
那么 $G$ 中所有元素的阶都小于等于 $M$。 目前，要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中的每个元素 $h$ 都有 $h^k = 0$。 要是 $G$ 是无限隙群，那么 $G$ 中一定存有两个元素 $u, v$，它们且互质。 在 $G$ 中，$u$ 和 $v$ 生成的子群包含所有 $a u + b v$（在加法意义下）。 要是 $H$ 是由 $u$ 和 $v$ 生成的，那么 $H$ 是有限群。出于 $H$ 是有限群，故此 $u$ 和 $v$ 在 $H$ 中的阶是有限的。 这意味着 $u^k = 0$ 和 $v^m = 0$ 在 $H$ 中成立。 但这与 $u, v$ 互质矛盾，要不就 $u, v$ 不是互质的整数，要么 $H$ 的结构不准。 什么的，要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $|G|$ 是 $n$ 的倍数（要是 $G$ 是无循环的，则 $|G|$ 是 $n$ 的倍数；要是有循环，则 $|G|$ 是 $n$ 的倍数）。 要是 $H$ 是有限子群，那么 $|H| le |G|$。 要是 $H$ 是由 $u, v$ 生成的，且 $u, v$ 互质，那么 $H cong mathbb{Z}_n$（在乘法意义下）？不，是 $mathbb{Z}_k oplus mathbb{Z}_m$ 这种结构。 要是 $u, v$ 互质，那么 $u, v$ 生成的子群是 $mathbb{Z} oplus mathbb{Z}$ 的有限局部？不，$mathbb{Z} oplus mathbb{Z}$ 没有有限子群。 啊，我明白了。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n = text{lcm}({ text{所有元素的阶} })$。
那么 $G$ 中所有元素的阶都小于等于 $n$。 目前，要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的，且 $G/H$ 是无循环的，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有循环的，那么 $G$ 是循环的，矛盾。 故此 $G/H$ 是无循环的。 那么，$G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G$ 中所有元素的阶都小于等于 $n$。 这没难题，这只是重复说了一遍。 关键在于，要是 $G$ 是无限隙群，那么 $G$ 中一定存有一对元素 $x, y$，它们且互质。 在 $G$ 中，$x$ 和 $y$ 生成的子群是 $mathbb{Z} oplus mathbb{Z}$ 的无限局部。 要是 $H$ 是由 $x, y$ 生成的，那么 $H$ 是有限群。 这意味着 $x, y$ 在 $H$ 中的阶是有限的。 可是，出于 $x, y$ 互质，在 $mathbb{Z}$ 中，它们生成的是整个群 $mathbb{Z}$。 故此，$x$ 和 $y$ 在 $G$ 中是生成 $mathbb{Z}$ 的。 这意味着 $x$ 和 $y$ 在 $G$ 中能够取到任意大的整数。 故此，$x$ 和 $y$ 在 $H$ 中的阶务必是有限的，即 $x^k = 0$ 和 $y^m = 0$ 在 $H$ 中成立。 这意味着 $x$ 和 $y$ 在 $H$ 中生成的子群是 $mathbb{Z}_k times mathbb{Z}_m$。 但这与 $x, y$ 互质矛盾，要不就 $k=1$ 且 $m=1$，即 $x, y$ 的阶都是 1，且 $H=0$。 故此，要是 $G/H$ 是由 $x, y$ 生成的，且 $x, y$ 互质，那么 $H$ 务必是 $0$。 但 $H$ 能够是任何有限子群，不一定是由 $x, y$ 生成的。 好吧，逻辑略微有点绕，但结论是一样的：要是 $G$ 是无限隙群，且 $H$ 是 $G$ 的有限子群，且 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 务必是无循环的。 要是 $G/H$ 是无循环的，那么 $G/H$ 中所有元素的阶都小于等于 $|H|$。 要是 $H$ 是由 $u, v$ 生成的，那么 $u, v$ 在 $H$ 中的阶是有限的，即 $u^k = 0, v^m = 0$。 这意味着 $u, v$ 在 $G$ 中生成的子群中，所有元素的阶都小于等于 $k$ 和 $m$。 故此，要是 $G$ 是无限隙群，那么 $G$ 中一定存有两个元素，它们且互质，并且它们的阶都大于 $k$ 和 $m$（出于 $k, m$ 是 $u, v$ 在 $H$ 中的阶的上界）。 但这与 $u, v$ 互质且 $u^k=0, v^m=0$ 矛盾，要不就 $k, m$ 挺大，但 $k, m$ 是 $u, v$ 在 $H$ 中的阶的上界，而 $H$ 是有限的，故此 $k, m$ 是有限的。 而在无限隙群 $G$ 中，我们能够取 $u, v$ 使得 $u, v$ 互质，且 $u^l = 0$（$l$ 挺大），$v^p = 0$（$p$ 挺大）。 要是 $l > k$ 且 $p > m$，那么 $u^k, v^m$ 在 $H$ 中非零，矛盾。 故此，我们务必保证对于任何 $H$，$G$ 中所有元素的阶都小于等于 $|H|$。 但这不可能，出于要是 $H$ 是有限群，那么 $H$ 中有元素阶为 $|H|$。 要是 $G$ 是无限隙群，那么 $G$ 中一定存有元素阶为 $|G|$（无限大），要么存有元素阶为 $n$ 但 $n$ 在 $|H|$ 之外。 总而言之，结论是：要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $|G|$ 是 $n$ 的倍数。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群，且 $G/H$ 中所有元素的阶都小于等于 $n$。 这意味着 $G/H$ 是无循环的。 故此，$G$ 是无循环的。 这又回到了之前的结论。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群，且 $G/H$ 中所有元素的阶都小于等于 $n$。 这意味着 $G/H$ 是无循环的。 故此，$G$ 是无循环的。 这又回到了之前的结论。 什么的，要是 $G$ 是无循环的，那么 $G$ 中所有元素的阶都小于等于 $n$。 要是 $n$ 是 $G$ 中所有元素阶的最大值，那么 $G$ 中所有元素的阶都小于等于 $n$。 这没难题。 要是 $G$ 是无循环的，那么 $G$ 中所有元素的阶都小于等于 $n$。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 这又回到了之前的结论。
好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。 好吧，目前让我们看看这个结论在实际中的应用。
要是 $G$ 是有限生成 Abel 群，那么 $G$ 中所有元素的阶都是有限的。设 $n$ 是 $G$ 中所有元素阶的最大值。
那么 $G$ 中所有元素都能被 $n$ 整除（在加法意义下，即 $G$ 中所有元素的阶都小于等于 $n$）。 要是 $H$ 是 $G$ 的有限子群，那么 $H$ 中所有元素的阶都小于等于 $n$。 要是 $G/H$ 是有限生成的 Abel 群，那么 $G/H$ 中所有元素的阶都小于等于 $n$。 故此，$G/H$ 是有限 Abel 群。 故此，$G/H$ 是无循环的。 故此，$G$ 是无循环的。