群论中"字"的概念
在近世代数（或群论）的学习中，我们经常会遇到一些直观却极具威力的概念。"字 "（Word）就是其中之一。
虽然"字"听起来像是一个语言学概念，但它在群的表示论（Group Presentation）、自由群（Free Groups）以及理论计算机科学中的"字问题"（Word Problem）中扮演着至关重要的角色。
本文将带你从零开始，系统地理解什么是"字"，探讨它的运算规则，并通过具体的例题来掌握如何对"字"进行化简与计算。
1. 什么是"字"（Word）？
在日常语言中，我们用字母拼写出单词（字）。在群论中，这个直观的类比被完全保留了下来。
1.1 形式定义
设 SSS 是一个非空集合，我们称 SSS 中的元素为生成元 （Generators）。
为了能够表示群中的逆元素，我们引入一个与 SSS 双射的集合，记作 S−1={s−1∣s∈S}S^{-1} = \{s^{-1} \mid s \in S\}S−1={s−1∣s∈S}。
我们将 S∪S−1S \cup S^{-1}S∪S−1 称为字母表（Alphabet）。
定义：
一个在 SSS 上的字 （Word）是指由字母表 S∪S−1S \cup S^{-1}S∪S−1 中有限个元素排成的任意有限序列（字符串）。
形式化地，一个字 www 可以表示为：
w=x1x2⋯xnw = x_1 x_2 \cdots x_nw=x1x2⋯xn
其中每一个 xi∈S∪S−1x_i \in S \cup S^{-1}xi∈S∪S−1。这里的 nnn 称为这个字 www 的长度 （Length），记作 ∣w∣=n|w| = n∣w∣=n。
1.2 空字（Empty Word）
如果序列中一个字母也没有（即 n=0n = 0n=0），我们称之为空字 ，通常记作 Λ\LambdaΛ、ϵ\epsilonϵ 或 eee。空字的长度为 000。
1.3 举个例子
设生成元集合 S={a,b}S = \{a, b\}S={a,b}，那么字母表为 {a,b,a−1,b−1}\{a, b, a^{-1}, b^{-1}\}{a,b,a−1,b−1}。
以下都是 SSS 上的字：
- w1=abab−1w_1 = abab^{-1}w1=abab−1 （长度为 4）
- w2=a−1abb−1w_2 = a^{-1}a b b^{-1}w2=a−1abb−1 （长度为 4）
- w3=aw_3 = aw3=a （长度为 1）
- w4=ew_4 = ew4=e （空字，长度为 0）
2. 字的运算与化简
在群中，我们知道 a⋅a−1=ea \cdot a^{-1} = ea⋅a−1=e。但在"字"的初始定义中，它仅仅是形式上的符号拼接。为了让"字"能够对应群中的元素，我们需要引入等价关系 与化简。
2.1 字的拼接（Concatenation）
给定两个字 u=x1⋯xku = x_1 \cdots x_ku=x1⋯xk 和 v=y1⋯ymv = y_1 \cdots y_mv=y1⋯ym，它们的拼接 定义为：
u⋅v=x1⋯xky1⋯ymu \cdot v = x_1 \cdots x_k y_1 \cdots y_mu⋅v=x1⋯xky1⋯ym
显然，任何字与空字拼接保持不变：u⋅e=e⋅u=uu \cdot e = e \cdot u = uu⋅e=e⋅u=u。
2.2 初等化简（Elementary Reduction）
如果在字 www 中，出现了相邻的两个字母互为逆元的情况（即形如 ss−1s s^{-1}ss−1 或 s−1ss^{-1} ss−1s，其中 s∈Ss \in Ss∈S），我们可以将这对字母消去。这种操作称为初等化简（Elementary Reduction）。
例如：
w=abb−1b‾a−1→aba−1w = a b \underline{b^{-1} b} a^{-1} \to a b a^{-1}w=abb−1ba−1→aba−1
2.3 化简字（Reduced Word）
- 定义 ：如果一个字中不含有任何相邻的、互为逆元的字母对（即不含 ss−1ss^{-1}ss−1 和 s−1ss^{-1}ss−1s），则称该字为化简字 （Reduced Word）或最简字。
- 定理：每一个字通过有限次初等化简，最终都能唯一地化简为一个化简字。
3. 自由群（Free Group）的分身
有了"字"和"化简"的概念，我们就能自然地构造出自由群（Free Group）。
设 F(S)F(S)F(S) 是由 SSS 上所有化简字 组成的集合。我们在 F(S)F(S)F(S) 上定义乘法：
给定两个化简字 uuu 和 vvv，它们的乘积 u∘vu \circ vu∘v 定义为：先将它们拼接 uvuvuv，然后进行初等化简直到无法再化简为止。
容易验证，在这种乘法下，F(S)F(S)F(S) 构成一个群：
- 结合律：满足（虽然证明需要一些技巧，但确实成立）。
- 单位元 ：空字 eee。
- 逆元 ：若 w=x1x2⋯xnw = x_1 x_2 \cdots x_nw=x1x2⋯xn，则其逆元为 w−1=xn−1⋯x2−1x1−1w^{-1} = x_n^{-1} \cdots x_2^{-1} x_1^{-1}w−1=xn−1⋯x2−1x1−1。
这就是以 SSS 为生成元的自由群 F(S)F(S)F(S)。在这个群里，除了最基本的 ss−1=es s^{-1} = ess−1=e 之外，生成元之间没有任何额外的约束关系。
4. 群的表示：字与关系（Relations）
如果我们给自由群加上一些约束，会发生什么？
比如，我们规定 a2=ea^2 = ea2=e 且 b3=eb^3 = eb3=e。这些约束在群论中被称为关系 （Relations），通常写成 r=er = er=e 的形式，其中 rrr 是一个字。
一个群 GGG 的表示 （Presentation）通常写为：
G=⟨S∣R⟩G = \langle S \mid R \rangleG=⟨S∣R⟩
- SSS 是生成元集合。
- RRR 是关系字集合，表示在群 GGG 中，所有 RRR 中的字都等于单位元 eee。
在这个框架下，群 GGG 中的每一个元素，都可以用 SSS 上的一个"字"来表示。而同一个群元素可能对应无数个不同的字，它们在关系 RRR 的约束下是等价的。
5. 经典例题讲解
下面通过三个由浅入深的例题，帮助大家彻底掌握"字"的运算和应用。
例题 1：基础的字化简 (自由群内运算)
题目：
在生成元集合 S={a,b}S = \{a, b\}S={a,b} 的自由群 F(S)F(S)F(S) 中，化简以下字，并求其逆元：
w=ab2b−1a−1baa−1b−1w = a b^2 b^{-1} a^{-1} b a a^{-1} b^{-1}w=ab2b−1a−1baa−1b−1
解答：
我们逐步运用初等化简：
-
写出原字：
w=abb(b−1a−1‾)b(aa−1‾)b−1w = a b b (\underline{b^{-1} a^{-1}}) b (\underline{a a^{-1}}) b^{-1}w=abb(b−1a−1)b(aa−1)b−1
(注意：初等化简只能消去相邻的互逆元素)
-
发现中间有 bb−1b b^{-1}bb−1 和 aa−1a a^{-1}aa−1，先进行消去：
- 消去 bb−1b b^{-1}bb−1 得到：ab(bb−1‾)a−1b(aa−1)b−1→aba−1b(aa−1)b−1a b (\underline{b b^{-1}}) a^{-1} b (a a^{-1}) b^{-1} \to a b a^{-1} b (a a^{-1}) b^{-1}ab(bb−1)a−1b(aa−1)b−1→aba−1b(aa−1)b−1
- 进一步写开：w=aba−1baa−1‾b−1w = a b a^{-1} b \underline{a a^{-1}} b^{-1}w=aba−1baa−1b−1
- 消去相邻的 aa−1a a^{-1}aa−1：
w→aba−1bb−1w \to a b a^{-1} b b^{-1}w→aba−1bb−1
-
继续观察，尾部出现了 bb−1b b^{-1}bb−1，继续消去：
w→aba−1w \to a b a^{-1}w→aba−1
-
此时，字为 aba−1a b a^{-1}aba−1。其中没有相邻的互逆字母（aaa 与 bbb 不互逆，bbb 与 a−1a^{-1}a−1 不互逆）。
因此，化简字为：
w=aba−1w = a b a^{-1}w=aba−1
-
求其逆元 ：
根据求逆法则，将化简字反序并把每个字母求逆：
w−1=(aba−1)−1=(a−1)−1b−1a−1=ab−1a−1w^{-1} = (a b a^{-1})^{-1} = (a^{-1})^{-1} b^{-1} a^{-1} = a b^{-1} a^{-1}w−1=(aba−1)−1=(a−1)−1b−1a−1=ab−1a−1
例题 2：带有关系的群中字的化简
题目：
设群 GGG 的表示为：
G=⟨a,b∣a3=e,b2=e,bab=a−1⟩G = \langle a, b \mid a^3 = e, b^2 = e, bab = a^{-1} \rangleG=⟨a,b∣a3=e,b2=e,bab=a−1⟩
（注：这其实是 3 阶对称群 S3S_3S3，或二面体群 D3D_3D3）
请将字 w=a2baba2w = a^2 b a b a^2w=a2baba2 化简为最简形式（即表示为形如 aibja^i b^jaibj 的形式，其中 0≤i<3,0≤j<20 \le i < 3, 0 \le j < 20≤i<3,0≤j<2）。
解答：
我们在化简时，不仅可以使用基本初等化简，还可以使用群的关系式：
- 关系 1：a3=e ⟹ a−1=a2a^3 = e \implies a^{-1} = a^2a3=e⟹a−1=a2 且 a4=aa^4 = aa4=a 等
- 关系 2：b2=e ⟹ b−1=bb^2 = e \implies b^{-1} = bb2=e⟹b−1=b
- 关系 3：bab=a−1 ⟹ bab=a2bab = a^{-1} \implies bab = a^2bab=a−1⟹bab=a2（因为 a−1=a2a^{-1} = a^2a−1=a2）
下面我们来化简 w=a2baba2w = a^2 b a b a^2w=a2baba2：
-
观察字结构 ：
w=a2(bab)a2w = a^2 (bab) a^2w=a2(bab)a2
我们发现中间刚好出现了 babbabbab 这个子字。
-
代入关系 3 (bab=a2bab = a^2bab=a2)：
w=a2(a2)a2=a2⋅a2⋅a2w = a^2 (a^2) a^2 = a^2 \cdot a^2 \cdot a^2w=a2(a2)a2=a2⋅a2⋅a2
-
合并指数 ：
w=a2+2+2=a6w = a^{2+2+2} = a^6w=a2+2+2=a6
-
代入关系 1 (a3=ea^3 = ea3=e)：
a6=(a3)2=e2=ea^6 = (a^3)^2 = e^2 = ea6=(a3)2=e2=e
结论：
在群 GGG 中，字 w=a2baba2w = a^2 b a b a^2w=a2baba2 代表的元素就是单位元 eee。
例题 3：字问题的证明
题目：
设 G=⟨x,y∣xy2x−1=y3⟩G = \langle x, y \mid xy^2x^{-1} = y^3 \rangleG=⟨x,y∣xy2x−1=y3⟩（这是一个著名的 Baumslag-Solitar 群 BS(1,2)BS(1, 2)BS(1,2) 的变体）。
证明在群 GGG 中，字 w=xy4x−1w = x y^4 x^{-1}w=xy4x−1 等价于 y6y^6y6。
解答：
我们要从已知关系出发，推导目标等价式。
已知关系为：
xy2x−1=y3x y^2 x^{-1} = y^3xy2x−1=y3
我们需要计算：
w=xy4x−1w = x y^4 x^{-1}w=xy4x−1
-
拆解指数 ：将 y4y^4y4 拆写为 (y2)2(y^2)^2(y2)2 或是 y2⋅y2y^2 \cdot y^2y2⋅y2：
w=x(y2⋅y2)x−1w = x (y^2 \cdot y^2) x^{-1}w=x(y2⋅y2)x−1
-
巧妙插入单位元 ：在两个 y2y^2y2 之间插入 e=x−1xe = x^{-1}xe=x−1x：
w=xy2(x−1x)‾y2x−1w = x y^2 \underline{(x^{-1} x)} y^2 x^{-1}w=xy2(x−1x)y2x−1
(这是处理群表示中字的经典技巧！)
-
重新分组 ：
w=(xy2x−1)(xy2x−1)w = (x y^2 x^{-1}) (x y^2 x^{-1})w=(xy2x−1)(xy2x−1)
-
代入已知关系 xy2x−1=y3x y^2 x^{-1} = y^3xy2x−1=y3：
w=(y3)(y3)w = (y^3) (y^3)w=(y3)(y3)
-
合并同类项 ：
w=y6w = y^6w=y6
证明完毕 。我们通过对字插入消去和代入关系，成功证明了 xy4x−1≡y6x y^4 x^{-1} \equiv y^6xy4x−1≡y6。
6. 深入思考：不可解的"字问题"（Word Problem）
看完上面的例题，你可能会觉得："化简字看起来挺简单的，只要按规则代入就行了。"
然而，这就是数学中著名的字问题（Word Problem）。
字问题（Word Problem）：
给定一个群的有限表示 G=⟨S∣R⟩G = \langle S \mid R \rangleG=⟨S∣R⟩，是否存在一个通用的算法，能够在有限步内判定任意给定的一个字 www 是否在群 GGG 中等于单位元 eee？
1911年，数学家马克斯·德恩（Max Dehn）提出了这个问题。
令人震惊的是，在1950年代，彼得·诺维科夫（Pyotr Novikov）和威廉·布恩（William Boone）独立证明了：
一般的群字问题是算法不可解的（Undecidable）！
也就是说，不存在一个万能的计算机程序，输入任意群表示和任意一个字，就能准确告诉你它是不是单位元。这把群论与图灵机、哥德尔不完备定理紧密地联系在了一起。
总结
在群论中，"字 "是沟通形式符号 （代数形式）与群元素（代数结构）的桥梁。
- 字是生成元及其逆的形式序列。
- 自由群是字在无约束下的最自然归宿。
- 群的表示 通过给定"关系字 = eee"来塑造各种千奇百怪的群。
掌握字的化简、插入 x−1xx^{-1}xx−1x 转换等技巧，是深入学习抽象代数、几何群论的必经之路。希望这篇博文能帮助你轻松攻克"字"这一关！