2.1 群的公理体系 典型群家族 🎮 Cayley 表实验室 2.2 子群判定定理 🕸️ 子群格网探针 元素的阶与性质 🎮 阶的旋转时钟 ⚡ 考点避坑与反例 📝 2.1-2.2 作业精解
Module 01 · 基础基石与核心代数系

第 2.1 节 群与半群 & 第 2.2 节 子群与阶

群论是研究“对称性”与“可逆变换规律”的最高语言。本章从最基础的代数运算公理出发，建立群的严密数学模型； 探索 Klein 四元群、四元数群 $Q_8$、对称群 $S_3$ 等经典代数结构；通过交互式子群包含格网探针与 Cayley 拉丁方实验室，直观揭示代数内部的阶次秩序与运算对称性。

🏛️

2.1 群与半群的基本概念

一句话直觉： 群就像一个“封闭的、有可逆撤销机制的游戏规则系统”。你在里面执行任意操作，结果依然在规则之内（封闭）； 你可以分步执行连续操作（结合律）；有一个“什么都不做”的静止状态（单位元）；而且每一次操作都有一剂绝对有效的“后悔药”（逆元）。

1. 代数系与二元运算

设 $S$ 是一个非空集合，若映射 $\circ: S \times S \to S$ 将每一对有序元 $(a, b)$ 唯一对应到 $S$ 中的一个元素 $a \circ b$，则称 $\circ$ 为 $S$ 上的一个二元运算，$(S, \circ)$ 称为一个代数系。

🧩 半群 (Semigroup)

代数系 $(S, \circ)$ 满足结合律：对任意 $a, b, c \in S$，均有 $$(a \circ b) \circ c = a \circ (b \circ c)$$ 直觉：结合律保证了我们书写长乘积 $abc$ 时无需反复加括号，运算顺序可以任意合并分块。

👑 含幺半群 (Monoid, 独异点)

半群 $S$ 中存在单位元 $e$，满足对任意 $a \in S$： $$a \circ e = e \circ a = a$$ 例如自然数集合带加法 $(\mathbb{N}, +)$ 是含幺半群（单位元为 0），但正整数 $(\mathbb{Z}^+, +)$ 仅是半群（无 0）。

2. 群 (Group) 的严格四大公理

代数系 $(G, \cdot)$ 称为群，若满足以下四大公理（简称封、结、幺、逆）：

  1. 封闭性 (Closure)： 对任意 $a, b \in G$，有 $a \cdot b \in G$；
  2. 结合律 (Associativity)： 对任意 $a, b, c \in G$，有 $(a \cdot b) \cdot c = a \cdot (b \cdot c)$；
  3. 单位元 (Identity)： 存在 $e \in G$，使得对任意 $a \in G$，有 $a \cdot e = e \cdot a = a$；
  4. 逆元 (Inverse)： 对每个 $a \in G$，存在 $a^{-1} \in G$，使得 $a \cdot a^{-1} = a^{-1} \cdot a = e$。
⚠️ 常见思维陷阱：群并不默认满足交换律！
若群 $G$ 还满足对任意 $a, b \in G$ 均有 $a \cdot b = b \cdot a$，则称 $G$ 为交换群 (Abelian 群)。 若交换律不成立（如三阶置换群 $S_3$、非奇异矩阵乘法群 $GL_n(\mathbb{R})$、四元数群 $Q_8$），则称为非交换群 (非阿贝尔群)。

3. 群的三个核心基本性质

性质 1：单位元与逆元的唯一性

若有两个单位元 $e_1, e_2$，则 $e_1 = e_1 e_2 = e_2$；若 $a$ 有两个逆元 $b_1, b_2$，则 $b_1 = b_1(ab_2) = (b_1a)b_2 = b_2$。
同时满足积的逆元反序律：$(ab)^{-1} = b^{-1}a^{-1}$（类似于“穿袜再穿鞋，脱掉时先脱鞋再脱袜”）。

性质 2：双边消去律 (Cancellation Laws)

在群中，$ab = ac \implies b = c$（左消去）；$ba = ca \implies b = c$（右消去）。
这说明群中每个元素的作用都是一个一一变换（双射置换），这一性质直接决定了 Cayley 乘法表必然构成拉丁方！

性质 3：一次方程的唯一解

对任意 $a, b \in G$，方程 $ax = b$ 存在唯一解 $x = a^{-1}b$；方程 $ya = b$ 存在唯一解 $y = ba^{-1}$。

💎

典型群家族图谱 (考试与理论必背)

1. 数系群 (Number Groups)

• 整数加群 $(\mathbb{Z}, +)$、有理数加群 $(\mathbb{Q}, +)$、实数加群 $(\mathbb{R}, +)$；
• 非零有理数乘法群 $(\mathbb{Q}^*, \cdot)$、非零实数乘法群 $(\mathbb{R}^*, \cdot)$；
• 注意：$(\mathbb{Z}^*, \cdot)$ 不是群，因为除 $\pm 1$ 外整数没有乘法逆元！

2. 模 $n$ 剩余类加群 $(\mathbb{Z}_n, \oplus)$

集合为 $\{0, 1, 2, \dots, n-1\}$，加法取模 $n$。为 $n$ 阶有限循环群。
若 $p$ 为素数，去掉 0 后的乘法群 $(\mathbb{Z}_p^*, \otimes)$ 为 $p-1$ 阶循环群。

3. Klein 四元群 $K_4$ (4阶非循环群)

$K_4 = \{e, a, b, c\}$，各元素满足： $$a^2 = b^2 = c^2 = e, \quad ab = ba = c, \quad bc = cb = a, \quad ca = ac = b$$ 几何模型：长方形的对称变换群（水平翻折、垂直翻折、中心旋转 $180^\circ$）。

4. 四元数群 $Q_8$ (8阶非交换群)

$Q_8 = \{\pm 1, \pm i, \pm j, \pm k\}$，运算规则： $$i^2 = j^2 = k^2 = -1, \quad ij = k = -ji, \quad jk = i = -kj, \quad ki = j = -ik$$ 全部子群均为正规子群，但 $Q_8$ 本身不是交换群（非阿贝尔 Hamilton 群）。

🎮 交互探针 1：群 Cayley 乘法表实验室

拉丁方检测 · 单步推导 · 对称性诊断

Cayley 乘法表完整记录了群的每一个运算关系。在群表中：每一行每一列都是群元素的一个置换（拉丁方特性，元素互异无遗漏）； 若关于主对角线对称，则必为交换群。

🧮 单步乘法推导器： ·
点击或触摸任意单元格查看：运算表达式、逆元位置 与 对称性。
🌱

2.2 子群的概念与三大判定定理

子群是什么？ 子群 $H \leqslant G$ 就是群 $G$ 的一个非空子集，在完全继承母群运算规则的前提下，自己也自成一个独立的群（拥有相同的单位元、对运算封闭、并且自己的每个元素逆元都落在自身内部）。

子群判定三大法则 (考试极高频)

判定准则 1：两步检验法

设 $H$ 是群 $G$ 的非空子集，$H \leqslant G \iff$ 满足：
(1) 乘法封闭： $\forall a, b \in H \implies ab \in H$；
(2) 求逆封闭： $\forall a \in H \implies a^{-1} \in H$。

判定准则 2：一步判定法 (解题首选！)

设 $H$ 是群 $G$ 的非空子集，$H \leqslant G \iff$ $$\forall a, b \in H \implies ab^{-1} \in H$$ 极简证明逻辑： 取 $b=a$ 立即得到 $aa^{-1} = e \in H$（得单位元）；再取 $a=e$ 得到 $eb^{-1} = b^{-1} \in H$（得逆元）；再取 $a(b^{-1})^{-1} = ab \in H$（得封闭）。

判定准则 3：有限子集专属准则 (一步封闭即成群)

若 $H$ 是群 $G$ 的有限非空子集，则： $$H \leqslant G \iff \forall a, b \in H \implies ab \in H$$ 直觉证明： 有限集合中元素不断自乘序列 $a, a^2, a^3, \dots$ 必然因抽屉原理发生碰撞产生循环，必有 $a^m = a^k$，从而倒推出逆元必然存在于这一序列中！因此有限集完全无需单独检验逆元！

🕸️ 交互探针 2：子群格网 (Subgroup Lattice) 包含探针

Hasse 图可视化 · 阶与指数 · 双模触控

在群论中，所有子群按“包含关系”构成的偏序集可画成 Hasse 图（子群格网）。 点击画布中的任意子群节点：探针将向下高亮其包含的全部子群，并向上高亮包含它的全部母群！虚线边框节点标识非正规子群。

点击上方格网中的任意节点，实时探索：子群阶、指数 $[G:H]$、生成元、元素构成、正规性及商群形态。
⏱️

元素的阶 (Order) 及其六大关键性质

元素的阶是什么？ 元素的阶 $o(a)$（或记作 $|a|$）是指：使得 $a^m = e$ 的最小正整数 $m$。如果不存在这样的正整数，则称 $a$ 具有无限阶。
通俗比喻： 阶就是你拨动齿轮“每拨一次进位，拨多少步齿轮刚好复位回原点”。

元素阶的 6 大王牌定理 (必须熟练推导)

  1. $a^k = e \iff o(a) \mid k$（阶必整除使元素归为单位元的任意幂次）；
  2. $o(a^k) = \dfrac{o(a)}{\gcd(o(a), k)}$（幂的阶公式，决定了循环群子群的阶）；
  3. $o(a) = o(a^{-1})$（元素与其逆元的阶必然严格相等）；
  4. $o(ab) = o(ba)$（乘积两两对换后，阶永远保持不变！）；
  5. $o(gag^{-1}) = o(a)$（共轭变换严格保持元素的阶不变）；
  6. 若 $ab = ba$ 且 $\gcd(o(a), o(b)) = 1$，则 $o(ab) = o(a) \cdot o(b)$。

🎮 交互探针 3：元素阶的旋转跳跃时钟

动态跳跃轨迹 · 周期回溯 · 触控选点

在模 $n$ 剩余类加群 $\mathbb{Z}_n$ 中，元素 $a$ 的阶 $o(a)$ 是使 $k \cdot a \equiv 0 \pmod n$ 的最小正整数 $k$。 拖动下方滑块或直接在表盘上轻触数字，观察指针如何在时钟环上跳动，并回溯闭合形成的正多边形周期！

当前元素 $a = 4 \in \mathbb{Z}_{12}$，公式计算：$o(4) = \dfrac{12}{\gcd(12, 4)} = \dfrac{12}{4} = 3$ 阶。访问元素：$0 \to 4 \to 8 \to 0$。
⚡

考点避坑秘籍与经典反例展台

考研与期末高频易错点： 许多初学者常将有限群的优美结论随意推广至无限集，或把平方成立的公式套用到立方。以下是代数考试中最常设陷阱的四大典型专题！
定理深剖 1 · 有限消去律半群必成群定理

有限非空半群满足消去律，为何能直接保送成为群？

定理： 设 $(S, \cdot)$ 是非空有限半群。若 $S$ 满足左消去律和右消去律，则 $S$ 一定是一个群。

严谨推导证明：
  1. 单射构造： 设 $S = \{x_1, x_2, \dots, x_n\}$。任取 $a \in S$，定义左乘映射 $L_a: S \to S, x \mapsto ax$。 若 $ax_i = ax_j$，由左消去律立得 $x_i = x_j$。因此 $L_a$ 是单射。
  2. 抽屉原理引出满射： 因为 $S$ 是有限集合，有限集到自身的单射必然是满射（双射置换）！ 于是集合 $\{ax_1, ax_2, \dots, ax_n\} = S$。
  3. 单位元存在性： 因为 $a \in S$，由满射性必存在某个元素 $e_a \in S$ 使得 $a e_a = a$。 任取 $y \in S$，同样存在 $x$ 使得 $y = ax$，于是 $y e_a = (ax)e_a = a(xe_a)$... 同理可证 $e_a$ 是满足 $xe = ex = x$ 的全局唯一双边单位元！
  4. 逆元存在性： 既然 $e \in S$，由满射性存在 $b \in S$ 使得 $ab = e$；同理由右消去律得右乘满射，有 $b'a = e$，故 $b = b'$ 为 $a$ 的逆元。
反例警示：为何“有限”条件绝对不能删？
考虑正整数加法半群 $(\mathbb{Z}^+, +)$：满足左右消去律（$a+b = a+c \implies b = c$），但因是无限集，无单位元 0，无负数逆元，绝不是群！ 考虑正整数乘法半群 $(\mathbb{Z}^+, \cdot)$：含单位元 1 且满足消去律，但除 1 外全无逆元，亦不是群！
反例展台 2 · $(ab)^n = a^n b^n$ 与交换群的陷阱

$(ab)^2 = a^2b^2$ 能推出 Abel 群，那 $(ab)^3 = a^3b^3$ 呢？

在作业 2.2 T6 中，我们利用消去律轻松证出：$\forall a, b \in G, (ab)^2 = a^2b^2 \implies G$ 是 Abel 群。 然而，若条件改为对所有元素都有 $(ab)^3 = a^3 b^3$，群 $G$ 未必是交换群！

经典反例：Heisenberg 群（方幂指数为 3 的非交换群）

考虑 3 阶素数域 $\mathbb{Z}_3$ 上的 3 阶上三角幺模矩阵群 $UT_3(\mathbb{Z}_3)$（阶数为 $3^3 = 27$）： $$G = \left\{ \begin{pmatrix} 1 & x & z \\ 0 & 1 & y \\ 0 & 0 & 1 \end{pmatrix} \;\middle|\; x, y, z \in \mathbb{Z}_3 \right\}$$ • 容易验算：在模 3 加乘下，该群中除单位矩阵外的每一个元素的阶都是 3！即对一切 $g \in G$，恒有 $g^3 = I$。
• 因此对任意两元素 $A, B \in G$，恒有 $(AB)^3 = I$，且 $A^3 B^3 = I \cdot I = I$。故恒有 $(AB)^3 = A^3 B^3$！
• 但是群 $G$ 是严格非交换群！例如取 $A = \begin{pmatrix} 1 & 1 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix}, B = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 1 \\ 0 & 0 & 1 \end{pmatrix}$，计算可知 $AB \neq BA$（右上角元素相差 1）！

【考研必背真题定理：连续三指数定理】
若存在正整数 $n$，使得对任意 $a, b \in G$ 均有： $$(ab)^n = a^n b^n, \quad (ab)^{n+1} = a^{n+1} b^{n+1}, \quad (ab)^{n+2} = a^{n+2} b^{n+2}$$ 则群 $G$ 必定是交换群！
证明简述： 由 $(ab)^{n+1} = ab(ab)^n = aba^nb^n$ 与 $a^{n+1}b^{n+1} = aa^nb^nb$，消去两端 $a, b$ 得 $ba^n = a^nb$；同理对 $n+1, n+2$ 操作得 $ba^{n+1} = a^{n+1}b$，两式联立立得 $ba = ab$。
陷阱剖析 3 · 子群的并集通常不是子群

两个子群的交集必是子群，但并集为何不行？群不能一分为二！

定理： 设 $H, K \leqslant G$ 是群 $G$ 的两个子群，则 $H \cup K \leqslant G \iff H \subseteq K$ 或 $K \subseteq H$。

几何直观与反例剖析：

在 Klein 四元群 $K_4 = \{e, a, b, c\}$ 中：
$H_a = \{e, a\}$ 是 2 阶子群，$H_b = \{e, b\}$ 是 2 阶子群。
它们的并集为：$H_a \cup H_b = \{e, a, b\}$。
但取 $a \in H_a \cup H_b, b \in H_a \cup H_b$，其乘积为 $ab = c \notin H_a \cup H_b$！乘法封闭性彻底被破坏！
重磅推论： 任何群都不能表示为两个真子群的并集（一个群绝不可能“一分为二”）。

⚡ 高频考点是非速查卡片 (点击揭晓解析)

📝

第 2.1 - 2.2 节 课后重点作业详析全解

2.1 节 · 题目 T1

特殊线性群 $SL_n(\mathbb{Z})$ 的群判定证明

题目： 设 $G = \{A = (a_{ij})_{n \times n} \mid a_{ij} \in \mathbb{Z}, \det A = 1\}$，证明 $G$ 对矩阵乘法构成群。

证明步骤拆解：
  1. 封闭性： 任取 $A, B \in G$，其矩阵元素均为整数，由整数加乘封闭性可知积矩阵 $AB$ 的元素全为整数；又由行列式乘法定理：$\det(AB) = \det(A)\det(B) = 1 \times 1 = 1$。故 $AB \in G$。
  2. 结合律： 矩阵乘法天然满足结合律 $(AB)C = A(BC)$。
  3. 单位元： $n$ 阶单位矩阵 $I_n$ 的元素全为整数，且 $\det I_n = 1$，故 $I_n \in G$，且对任意 $A \in G$ 有 $AI_n = I_nA = A$。
  4. 逆元存在性（核心考点！）： 因 $\det A = 1 \neq 0$，由线性代数定理知 $A^{-1} = \frac{1}{\det A} A^* = A^*$（其中 $A^*$ 为 $A$ 的伴随矩阵）。 由于 $A$ 的每个元素都是整数，其各代数余子式亦为整数，故 $A^*$ 的所有元素全为整数！ 同时 $\det(A^{-1}) = \frac{1}{\det A} = 1$。因此 $A^{-1} \in G$。

综上，$G$ 关于矩阵乘法构成群，此群称为整数特殊线性群，记为 $SL_n(\mathbb{Z})$。$\blacksquare$

2.1 节 · 题目 T2

四元数群 $Q_8$ 矩阵乘法验证

题目： 设 $Q_8 = \{\pm E, \pm I, \pm J, \pm K\}$，其中： $$E=\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}, \; I = \begin{pmatrix} i & 0 \\ 0 & -i \end{pmatrix}, \; J = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}, \; K = \begin{pmatrix} 0 & i \\ i & 0 \end{pmatrix}, \; i^2 = -1$$ 证明 $Q_8$ 关于矩阵乘法成群。

解题分析与验算：

直接验证生成元之间的乘积关系：
• $I^2 = \begin{pmatrix} i & 0 \\ 0 & -i \end{pmatrix}\begin{pmatrix} i & 0 \\ 0 & -i \end{pmatrix} = \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix} = -E$；同理 $J^2 = K^2 = -E$；
• $IJ = \begin{pmatrix} i & 0 \\ 0 & -i \end{pmatrix}\begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} = \begin{pmatrix} 0 & i \\ i & 0 \end{pmatrix} = K$；
• $JI = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}\begin{pmatrix} i & 0 \\ 0 & -i \end{pmatrix} = \begin{pmatrix} 0 & -i \\ -i & 0 \end{pmatrix} = -K = -IJ$；
• 同理可算出：$JK = I = -KJ$，$KI = J = -IK$。
由此可知 $Q_8$ 对矩阵乘法封闭，含单位元 $E$，各元素逆元为：$(-E)^{-1} = -E, (\pm I)^{-1} = \mp I, (\pm J)^{-1} = \mp J, (\pm K)^{-1} = \mp K$ 全在集合内，且矩阵乘法满足结合律。 故 $Q_8$ 构成一个 8 阶非阿贝尔群。$\blacksquare$

2.1 节 · 题目 T6

列出 $S_3$ 的乘法表与结构分析

题目： 列出 3 次对称群 $S_3$ 的完整乘法表。

元素命名与运算规律：

$S_3$ 共有 $3! = 6$ 个置换，分别记为： $$e = (1), \; p_1 = (1\ 2), \; p_2 = (1\ 3), \; p_3 = (2\ 3), \; r_1 = (1\ 2\ 3), \; r_2 = (1\ 3\ 2)$$ 其中两个 3-轮换互相为逆：$r_1^2 = r_2, r_1 r_2 = e$；三个对换满足 $p_i^2 = e$。
复合运算按映射复合（自右向左）计算，例如 $p_1 r_1 = (1\ 2)(1\ 2\ 3) = (2\ 3) = p_3$，而 $r_1 p_1 = (1\ 2\ 3)(1\ 2) = (1\ 3) = p_2$。 因 $p_1 r_1 \neq r_1 p_1$，$S_3$ 是最小的非阿贝尔群！（详细完整乘法表可在上方交互探针 1 中点击 "S₃" 按钮实时交互查看）。

2.2 节 · 题目 T1

半群有单位元但子半群单位元缺失/异化反例

题目： 举出一个半群的例子，它有单位元，但它的一个子半群无单位元，或有不同的单位元。

经典标准反例构造：
  • 情形 1（子半群无单位元）： 考虑整数乘法半群 $(\mathbb{Z}, \cdot)$，其单位元为 1。 取偶数集 $S = 2\mathbb{Z} = \{2k \mid k \in \mathbb{Z}\}$，偶数乘偶数仍为偶数，故 $(2\mathbb{Z}, \cdot)$ 是 $(\mathbb{Z}, \cdot)$ 的子半群。 但在 $2\mathbb{Z}$ 中不存在任何元素 $e$ 能满足对所有 $x \in 2\mathbb{Z}$ 有 $e \cdot x = x$（若有则必为 $1 \notin 2\mathbb{Z}$），故子半群无单位元。
  • 情形 2（子半群有不同单位元）： 考虑全体二阶实矩阵乘法半群 $(M_2(\mathbb{R}), \cdot)$，其单位元为 $I = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}$。 取子集 $H = \left\{ \begin{pmatrix} x & 0 \\ 0 & 0 \end{pmatrix} \;\middle|\; x \in \mathbb{R} \right\}$。 容易验证 $H$ 对矩阵乘法封闭，且其中的元素 $E_1 = \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}$ 满足： $$\begin{pmatrix} x & 0 \\ 0 & 0 \end{pmatrix}\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix} = \begin{pmatrix} x & 0 \\ 0 & 0 \end{pmatrix}$$ 故 $E_1$ 是子半群 $H$ 的单位元，但 $E_1 \neq I$！
2.2 节 · 题目 T3

求整数加群 $\mathbb{Z}$ 和模 12 加群 $\mathbb{Z}_{12}$ 的全部子群

题目： 找出 $\mathbb{Z}$ 和 $\mathbb{Z}_{12}$ 中的全部子群。

解题与子群格网：
  1. $\mathbb{Z}$ 的全部子群： $\mathbb{Z}$ 是由 1 生成的无限循环群。由循环群子群定理，其任意子群仍为循环群，必由某个非负整数 $m$ 生成。 故 $\mathbb{Z}$ 的全部子群为：$H_m = m\mathbb{Z} = \{km \mid k \in \mathbb{Z}\}$，其中 $m = 0, 1, 2, 3, \dots$。
  2. $\mathbb{Z}_{12}$ 的全部子群： $\mathbb{Z}_{12}$ 为 12 阶有限循环群。其子群与 12 的正因数 $d \mid 12$ 存在唯一的一一对应，每个因数 $d$ 对应一个 $d$ 阶子群 $\langle 12/d \rangle$：
    • $d=1$: 阶 1，平凡子群 $H_1 = \langle 0 \rangle = \{0\}$；
    • $d=2$: 阶 2，子群 $H_2 = \langle 6 \rangle = \{0, 6\}$；
    • $d=3$: 阶 3，子群 $H_3 = \langle 4 \rangle = \{0, 4, 8\}$；
    • $d=4$: 阶 4，子群 $H_4 = \langle 3 \rangle = \{0, 3, 6, 9\}$；
    • $d=6$: 阶 6，子群 $H_6 = \langle 2 \rangle = \{0, 2, 4, 6, 8, 10\}$；
    • $d=12$: 阶 12，全群 $H_{12} = \langle 1 \rangle = \mathbb{Z}_{12}$。
    （包含关系与格网拓扑请在上方探针 2 中交互体验）。
2.2 节 · 题目 T4

证明对任意元素 $a, b \in G$ 均有 $o(ab) = o(ba)$

题目： 设 $G$ 是群，$\forall a, b \in G$，证明 $o(ab) = o(ba)$。

优雅双法证明：

【方法一：幂次递推法】
先注意恒等式：$(ba)^n = \underbrace{ba \cdot ba \cdots ba}_{n\text{个}} = b \underbrace{(ab \cdots ab)}_{n-1\text{个}} a = b (ab)^{n-1} a$。
设 $o(ab) = m < \infty$，则 $(ab)^m = e$。两边同左乘 $b$，右乘 $b^{-1}$： $$(ba)^m = b(ab)^{m-1}a = b(ab)^{m-1}a (bb^{-1}) = b(ab)^m b^{-1} = b e b^{-1} = e$$ 由阶的性质 1 知 $o(ba) \mid m$，即 $o(ba) \leqslant o(ab)$。
由 $a, b$ 的地位完全对称，同理有 $o(ab) \leqslant o(ba)$。故 $o(ab) = o(ba)$。
若其中一个为无限阶，则另一个也必为无限阶（否则若一个有限，由上步递推另一必有限矛盾）。

【方法二：共轭视角（秒杀）】
由于 $ba = a^{-1}(ab)a$，说明 $ba$ 与 $ab$ 是共轭元素！ 由于群的自同构变换保持阶不变，共轭元必有相同的阶，直接立得 $o(ba) = o(ab)$。$\blacksquare$

2.2 节 · 题目 T6

$(ab)^2 = a^2b^2 \implies$ 交换群证明与陷阱

题目： 设 $G$ 是群，若对任何 $a, b \in G$ 均有 $(ab)^2 = a^2b^2$，证明 $G$ 是 Abel 群。

严谨证明：

由群乘法结合律，将等式左边展开： $$(ab)^2 = (ab)(ab) = a(ba)b$$ 已知等式右边为：$a^2 b^2 = a(ab)b$。于是： $$a(ba)b = a(ab)b$$ 在群 $G$ 中应用左消去律（两端左乘 $a^{-1}$），消去左端的 $a$，得到： $$(ba)b = (ab)b$$ 再应用右消去律（两端右乘 $b^{-1}$），消去右端的 $b$，得到： $$ba = ab$$ 由于 $a, b$ 是群 $G$ 中的任意两个元素，故群 $G$ 中的任意两个元素都可交换，因此 $G$ 是 Abel 交换群。$\blacksquare$

考点延伸思考：如果条件改为 $(ab)^3 = a^3b^3$，还能推出 $G$ 是 Abel 群吗？
答案是：不能！ 参见上方反例展台 2 中详述的 Heisenberg 群反例。平方是唯一能直接通过消去律推出交换性的低阶特例。