自由群讲解

自由群

在上一篇关于群论中**“字”（Word）**的博文中，我们学习了如何用字母表拼写出“字”，以及如何通过消去相邻的互逆字母进行化简。

今天，我们将在这个基础上，搭建起抽象代数中极具力量、同时也是最“纯粹”的一个代数结构——自由群（Free Group）。

1. 什么是自由群？

1.1 直观理解

想象你手里拿着两个按钮 $a$ 和 $b$。你可以任意顺序按下它们，也可以按它们的“反向操作” $a^{-1}$ 和 $b^{-1}$。
你按出的任意一串序列就是一个“字”，比如 $ab{a}^{-1}b$。

在这个系统里：

• 唯一能让你“撤销”操作的规则只有：先按 $a$ 再按 $a^{-1}$ 相当于什么都没做（消去）。
• 像 $ab=ba$（交换律）这样的规则是不存在的。你按 $ab$ 和按 $ba$ 绝对是两种不同的状态。

由所有这些“化简字”构成的群，就是以 {a,b}\{a, b\}{a,b} 为生成元的自由群。

1.2 形式化定义

设 $S$ 是一个非空集合（可以有限，也可以无限）。

定义：
以 $S$ 为生成元集合的自由群（记作 $F(S)$ 或 $F_S$）是一个群，满足以下两个条件：

1. 集合构成：$F(S)$ 的元素是 $S\cup S^{-1}$ 上的所有化简字（包括空字 $e$）。
2. 群乘法：两个化简字 $u$ 和 $v$ 的乘法定义为它们的拼接再化简。即：
   $$u\circ v=\text{Reduce}(uv)$$

• 若 $S$ 含有 $n$ 个元素，我们通常将 $F(S)$ 记作 $F_n$，称其为 秩为 $n$ 的自由群（Free Group of rank $n$）。
• 例如：
  • $F_1$：只有一个生成元 $a$，化简字的形式只能是 $a^k$（$k\in \mathbb{Z}$）。因此 $F_1\cong \mathbb{Z}$（无限循环群）。
  • $F_2$：有两个生成元 $a,b$，其元素开始变得极其丰富和复杂。

2. 自由群的代数灵魂：万有性质（Universal Property）

在现代数学中，我们很少只用“具体的元素构造”去定义一个对象，而是倾向于用它的功能/行为去定义。自由群的行为被完美地概括在它的万有性质中。

自由群的万有性质：
设 $S$ 是一个集合，$\iota :S\to F(S)$ 是自然的包含映射。
对于任意一个群 $G$ 以及任意一个集合映射 $f:S\to G$，都存在唯一的群同态 $\varphi :F(S)\to G$，使得以下图表可交换：

$$\varphi \circ \iota =f$$

     ι
  S ----> F(S)
  \      /
   \    / ∃! φ (群同态)
  f \  v
     G

为什么叫“自由”？

这个性质说明：如果你想建立一个从 $F(S)$ 到任意群 $G$ 的同态，你完全自由。你只需要决定 $S$ 中的生成元映射到 $G$ 中的什么地方（即任意指定 $f$），由于 $F(S)$ 内部没有任何关系式的束缚，这个映射 $f$ 就可以无条件、且唯一地延伸为整个群的同态 $\varphi$。

3. 自由群的奇妙性质

自由群有一些非常迷人、甚至反直觉的数学性质：

3.1 极度非交换性

除了 $F_1\cong \mathbb{Z}$ 之外，对于任意 $n\ge 2$，$F_n$ 都是非交换群（非阿贝尔群）。不仅如此，它的中心（Center）是平凡的：
Z(Fn)={e}(n≥2)Z(F_n) = \{e\} \quad (n \ge 2)Z(Fn​)={e}(n≥2)

3.2 分级性质（Abelianization）

如果强行把 $F_n$ 变成交换群（即对换位子群求商），我们会得到自由阿贝尔群：
$$F_n/[F_n,F_n]\cong {\mathbb{Z}}^n$$

3.3 尼尔森-施赖埃尔定理（Nielsen-Schreier Theorem）

这是一个非常深刻的定理：

定理： 自由群的任何子群也一定是自由群。

虽然听起来很自然，但它的定量版却非常反直觉：
若 $F_n$ 是秩为 $n$ 的自由群，$H$ 是 $F_n$ 的一个指数为 $d$ 的子群（即 $[F_n:H]=d$），那么 $H$ 也是自由群，且 $H$ 的秩 $m$ 为：
$$m=d(n-1)+1$$
震惊之处： 子群的秩居然可以比父群的秩还要大！

• 例如：在 $F_2$（秩为2）中，存在一个指数为 $2$ 的子群，其秩为 $2(2-1)+1=3$。也就是说，一个 2 个生成元的自由群，包含了一个需要 3 个生成元的自由子群！

3.4 几何展现：凯莱图（Cayley Graph）

$F_2$ 的凯莱图是一棵无限延伸的四代同堂树（4-regular tree），具有完美的自相似性（分形）。它在双曲几何和随机游走理论中是极重要的模型。

4. 经典例题讲解

下面通过三个精选的例题，带你掌握自由群及其万有性质的实际应用。

例题 1：证明 $F_2$ 的非交换性

题目：
设 $F_2=F(a,b)$ 是以 {a,b}\{a, b\}{a,b} 为生成元的自由群。证明 $ab\ne ba$。

解答：
虽然直观上很显然（因为 $ab$ 和 $ba$ 是两个不同的化简字），但为了严谨，我们利用万有性质来证明。

1. 假设 $ab=ba$。
2. 构造一个我们非常熟悉的非交换群，例如 $3$ 阶对称群 $S_3$。设 $\sigma =(1,2)$，$\tau =(1,2,3)$，显然 $\sigma \tau \ne \tau \sigma$。
3. 定义一个集合映射 f:{a,b}→S3f: \{a, b\} \to S_3f:{a,b}→S3​：
   $$f(a)=\sigma ,f(b)=\tau$$
4. 根据自由群的万有性质，存在唯一的群同态 $\varphi :F_2\to S_3$，使得：
   $$\varphi (a)=\sigma ,\varphi (b)=\tau$$
5. 如果 $ab=ba$ 成立，那么应用同态 $\varphi$：
   $$\varphi (ab)=\varphi (ba)⟹\varphi (a)\varphi (b)=\varphi (b)\varphi (a)⟹\sigma \tau =\tau \sigma$$
6. 这与 $S_3$ 中 $\sigma \tau \ne \tau \sigma$ 矛盾！
7. 因此，假设不成立，在 $F_2$ 中必有 $ab\ne ba$。

例题 2：万有性质的威力——所有群都是自由群的商群

题目：
证明：任何一个群 $G$ 都可以表示为一个自由群的商群。如果 $G$ 是有限生成的，则它可以表示为一个有限秩自由群的商群。

证明：

1. 设 $S$ 是群 $G$ 的一个生成元集合（若 $G$ 有限生成，则 $S$ 为有限集）。
2. 构造以 $S$ 为生成元的自由群 $F(S)$。
3. 建立包含映射（恒等映射） $f:S\to G$，其中对于每个 $s\in S$，有 $f(s)=s\in G$。
4. 根据自由群的万有性质，存在唯一的群同态 $\varphi :F(S)\to G$，满足对于所有的 $s\in S$，有 $\varphi (s)=s$。
5. 因为 $S$ 是 $G$ 的生成元集合，而 $\varphi$ 的像包含了整个 $S$，所以同态 $\varphi$ 必须是满射（Surjective）。
6. 根据群的第一同构定理：
   $$F(S)/\ker (\varphi )\cong G$$
7. 证明完毕。
   (这个结论极其重要，它说明自由群是群论中的“母体”，所有的群表示 $G=⟨S\mid R⟩$ 本质上就是 $F(S)/⟨⟨R⟩⟩$)。

例题 3：子群的秩与尼尔森-施赖埃尔定理的应用

题目：
设 $F_2=F(a,b)$。定义映射 $\psi :F_2\to {\mathbb{Z}}_2$（其中 Z2={0,1}\mathbb{Z}_2 = \{0, 1\}Z2​={0,1} 是模 2 加法群），其定义为：
$$\psi (a)=1,\psi (b)=0$$
（这可以看作是计算一个字中字母 $a$ 的奇偶性）。

1. 证明 $\psi$ 是一个满同态。
2. 设 $H=\ker (\psi )$。求子群 $H$ 的指数 $[F_2:H]$。
3. 利用尼尔森-施赖埃尔定理，确定子群 $H$ 作为自由群的秩，并试写出它的一组生成元。

解答：
第 1 问：证明 $\psi$ 是满同态

• 根据自由群万有性质，映射 $f(a)=1,f(b)=0$ 唯一决定了同态 $\psi$。
• 因为 $\psi (a)=1$，$\psi (e)=0$，所以陪域 ${\mathbb{Z}}_2$ 中的每个元素都有原像，因此 $\psi$ 是满同态。

第 2 问：求子群 $H$ 的指数

• 根据同构定理， $F_2/H=F_2/\ker (\psi )\cong {\mathbb{Z}}_2$。
• 因此，子群 $H$ 的指数为：
  $$[F_2:H]=|F_2/H|=|{\mathbb{Z}}_2|=2$$

第 3 问：求 $H$ 的秩与生成元

• 既然 $H$ 是 $F_2$ 的子群，根据尼尔森-施赖埃尔定理，$H$ 也是自由群。
• 已知 $n=\text{rank}(F_2)=2$，指数 $d=[F_2:H]=2$。
• 那么 $H$ 的秩 $m$ 为：
  $$m=d(n-1)+1=2\times (2-1)+1=3$$
• 寻找生成元：
  $H$ 中的元素是所有“包含偶数个 $a$（加上 $a^{-1}$）”的字。
  我们可以通过代数手段（如 Schreier 取样引理）或几何覆盖空间来得到其生成元。一组标准的自由生成元为：
  $$H=⟨a^2,b,ab{a}^{-1}⟩$$
  我们来验证一下：
  • $\psi (a^2)=1+1\equiv 0(\mathrm{mod}2)⟹a^2\in H$
  • $\psi (b)=0⟹b\in H$
  • $\psi (ab{a}^{-1})=1+0-1=0⟹ab{a}^{-1}\in H$
    这三个元相互独立，且刚好能生成所有 $a$ 的总幂次为偶数的字。

5. 总结

总结一下，一定要总结一些东西，首先呢是第一点，然后就是第二点，最后就是第三点。