有限阿贝尔群基本定理

                     

贡献者： 叶月2_

　　 利用商群列的思路，我们可以证明一个阿贝尔群的常用性质：阿贝尔群都是循环群的直积。 要得到这个推论，我们还需要引入 2 个定理。

　　 证明¹：（为方便起见，以下用 $O(x)$ 表示群元素的阶。）

　　 首先，我们需要证明对于 $|G|$ 的任意素因子 $p$，$G$ 总有 $p$ 阶子群。

　　 设 $x\in G$，则 $ \left\langle x \right\rangle $ 的基数是 $|G|$ 的因子，设为 $s$。$s$ 至少有一个质因子，设为 $p$，则由于 $x^{\frac{s}{p}\cdot p}=e$，$ \left\langle x^{\frac{s}{p}} \right\rangle $ 是一个 $p$ 阶循环子群。因此任意群都至少包含一个素数阶循环群。现在，我们可以构造商群列，仿若 ，区别在于每一步所取的循环子群都是素数阶子群，$|G_n|=|G|/(p_1p_2...p_n)$，$p_i$ 都是 $G$ 的素因子，所以总有一步取到的循环子群阶数就是我们需要的 $p$。对于这个循环子群 $ \left\langle x \right\rangle _p$，其生成元的任意一个代表元素 $g$ 的阶数都是 $kp,k\in \mathbb N^{+}$，则 $ \left\langle g^k \right\rangle $ 就是 $p$ 阶循环子群。²

　　 现在我们可以构造商群列，每一次在商群中取 $p_i$ 阶循环子群 $ \left\langle x \right\rangle _{n}$，直到 $l_i$ 步终止³。从 $G$ 的视角上看，$ \left\langle x \right\rangle _{l_i}$ 的阶数是 $p_i^{l_i}$，下面证明这个子群就是 $G_i$。 为证明方便，设商群列为 $G_n=G_{n-1}/ \left\langle x \right\rangle _n$，其中 $ n=1,2...l_i$。

　　 对于一个素数阶群，其任意非单位元的元素阶数都是该素数。因此，从 $ \left\langle x \right\rangle _2$ 中任选一元素，其阶数要么是 $p_i$，要么是 $p_i^2$（因为经 $p_i$ 步后要么是 $e$ 要么是 $ \left\langle x \right\rangle _1-e$）。以此类推，直到 $l_i$ 步后，对于任意 $g\in \left\langle x \right\rangle _{l_i}$ 都有 $O(g)\in\{p,p^2...p^{l_i}\}$，所以 $ \left\langle x \right\rangle _{l_i}\subset G_i$。又因为 $ \left(G- \left\langle X \right\rangle _{l_i} \right) \cap G_i=0$（不然 $ \left(G- \left\langle X \right\rangle _{l_i} \right) $ 包含 $p^i(i=\mathbb N^{+})$ 阶子群），所以 $ \left\langle x \right\rangle _{l_i}=G_i$，则 $|G_i|=p_i^{l_i}$。这样，我们就证明了定理的第一点。接着，我们来证明对于任意 $x\in G$，定理所示的分解形式都是存在且唯一的。

　　 设 $t=p_2^{l_2}p_3^{l_3}...p_k^{l_k}$，则 $t$ 与 $p_1^{l_1}$ 互素，存在正整数 $m$ 使得 $mt\equiv 1(\mathrm {mod} p_1^{l_1})$。任取 $x\in G$，则 $x^t\in G_1$，设 $x_1=x^{tm}$。利用 $x^{p_1^{l_1}}=e$，我们有

阶数是 $t$ 的因子，因此 $x_1^{-1}x$ 的阶数不含素因子 $p_1$。 仿照上述过程，设 $t_2=p_1^{l_1}p_3^{l_3}...p_k^{l_k}$，存在正整数 $\mathbb N^{+}$ 使得 $m_2t_2\equiv 1( \operatorname {mod}p_2^{l_2})$。设 $x_2=x'^{t_2m},x'=x^{-1}x$，则求得 $(x_2^{-1}x')^t=(x_2^{-1}x_1^{-1}x)^t=e$。同理可知 $x_2^{-1}x_1^{-1}x$ 的阶数不含有素因子 $p_2$。由于整体 $x^{-1}x$ 的幂次，因此阶数是 $x^{-1}x$ 阶数的因子，因此也不含有 $p_1$ 因子。以此类推，最后得到 $x_k^{-1}x_{k-1}^{-1}...x_1^{-1}x$，其阶数不含有素因子 $p_1,p_2...p_k$，因此为 1,相应的 $x_1x_2x_3...x_k$ 就是 $x$ 的分解形式。

　　 设分解形式不唯一，即至少存在两组分量使得 $x_1x_2...x_k=h_1h_2...h_k$。由交换性得：$x_1h_1^{-1}x_2h_2^{-1}...x_kh_k^{-1}=e$。然而 $e$ 的分解形式只能是 $e$ 的乘积，因而 $x_i=h_i$。

　　 该定理实际上表明的是——阿贝尔群总可以分解为若干阶数为素因子幂的子群内直积，即 $G\cong G_{l_1}\times G_{l_2}...G_{l_k}$。对于任意 $x\in G$，可同构为 $f(x)=(x_1,x_2,...,x_k)$。

　　 在这基础上，我们只需要证明素数阶交换群总可以分解为有限个循环群内直积即可证明阿贝尔群的核心性质。

　　

　　 当 $G$ 是循环群时，定理自然成立（待证），下面证明 $G$ 并非循环群的一般情况。

　　 设 $G_1$ 是 $G$ 的一个非平凡极大循环子群，再取另一个极大循环子群的形式为 $ \left\langle x \right\rangle G_1$，其中 $ \left\langle x \right\rangle $ 是 $G$ 的一个循环群。由定理 1 和定理 2 可知，$ \left\langle x \right\rangle G_1/G_1\cong \left\langle x \right\rangle /( \left\langle x \right\rangle \cap G_1)$，且若 $ \left\langle x \right\rangle \cap G_1\neq {e}$，总可以找到 $y\in \left\langle x \right\rangle $ 使得 $ \left\langle y \right\rangle \cap G_1={e}$，同时满足 $ \left\langle x \right\rangle G_1= \left\langle y \right\rangle G_1$。

　　 易证 $ \left\langle y \right\rangle G_1\cong \left\langle y \right\rangle \times G_1$⁴。然后我们来看 $G/G_1 \left\langle y \right\rangle $，若结果是 $\{e\}=eG_1 \left\langle y \right\rangle $，定理自然得证。若结果并不是这个极大循环子群，那么我们可以用 $G$ 继续商去 $G_1 \left\langle y \right\rangle $，在商群里找到另一个元素 $y_2$，重复上述过程，不断扩充正规子群，在有限步后 $G/{ \left\langle y \right\rangle _n}=\{e\}$，相应的，我们就成功把该阿贝尔群分解为循环子群的直积。

　　 结合上述定理，我们就得到了这节的重要推论。

　　 尽管有限阶阿贝尔群并不一定是循环群，但是这个推论告诉我们，其总可以分解为循环群的直积。那么，有限阶阿贝尔群在什么情况下才是循环群呢？下面，我们来给出它的充要条件。

　　 证明⁵： 设 $G= \left\langle a \right\rangle $，由定理 1 可知对于任意元素 $a^r$，其阶数为 $\frac{|G|}{gcd(|G|,r)}$，因此 $|G|$ 作为群元阶数的最小公倍数，确实是使得 $a^n=e$ 对任意 $a\in G$ 都成立的最小者。

　　 反过来需要证明 $G$ 是循环群。若存在 $a\in G$ 且 $O(a)=|G|$，则 $G$ 包含 $ \left\langle a \right\rangle $，又因为 $| \left\langle a \right\rangle |=|G|$，因此 $G= \left\langle a \right\rangle $。假若不存在阶数为 $|G|$ 的群元，则假设 $a'$ 的阶数 $m$ 最大，设任意群元 $b$ 的阶数为 $k\neq m$，则 $k$ 必须是 $m$ 的因子。如若不然，可以证明，群元交换的性质会使得 $G$ 存在一个阶数为 $mk$ 最小公倍数的群元，违背了群元阶数小于或等于 $m$ 的题设，证毕。

　　 证明：设 $G=\mathbb{Z} / m \mathbb{Z} \times \mathbb{Z} / n \mathbb{Z}$，由直积定义可知 $|G|=mn$。对于任意群元 $a\in \mathbb{Z} / m \mathbb{Z},b\in \mathbb{Z} / m \mathbb{Z}$,存在 $m,n$ 的公倍数 $k$ 使得 $(a,b)^k=(e,e)$，则 $k$ 最小为 $m,n$ 的最小公倍数，即 $mn/ \left(gcd(m,n) \right) $。所以由定理 3 可知，$G$ 是循环群当且仅当 $gcd(m,n)=1$。

---

1. ^ 该证明总结自 Jier Peter 的《代数学基础》。
2. ^ 也就是说，生成元的整个左陪集的元素阶数都是 $p$ 的整数倍。这是由于该左陪集里任意元素经过 $p$ 步自乘后，都是正规子群的某个元素，而这个元素的阶数又是某个整数。
3. ^ 因为在这之后 $|G_i|/|p_i^{l_i}|$ 里再无因子 $p_i$。
4. ^ 由于 $G_1$ 是不变的，验证该性质时使之为 $e$ 即可。画出韦恩图，你会发现，该同构实际上是把陪集映射到对应的点上，这也是我们要找到 $ \left\langle y \right\rangle $ 的原因，使得每个陪集只包含 $ \left\langle y \right\rangle $ 的一个点。
5. ^ 参考自姚慕生的《抽象代数学》