群的呈示

呈示把群写成"字母表加方程组"：生成元是字母，关系是被宣布为单位元的词，群里其余一切等式都由这些方程加上群公理推演而来。为什么要除以正规闭包而不是 $R$ 生成的子群？因为在商群中"$r$ 等于单位元"会自动传染给所有共轭 $wr{w}^{-1}$ 及它们的乘积——正规闭包恰好收集了这些必然后果，而且只收集这些：再小则商映射不再是良定义的群同态，再大则引入了并非必然的等式。从泛性质看，$⟨S\mid R⟩$ 是满足这组方程的"最自由"的群，它只承认能从 $R$ 推出的等式，别的一概不认。这套语言诞生于十九世纪末的组合群论与拓扑学，动机是把天然无限的群压缩成有限的符号数据。但要防一个直觉陷阱：呈示是有限的语法对象，从语法读出语义却可能极难——连"这个呈示给出的群是否平凡"都没有通用算法可判。

最基本的例子是循环群：$⟨a\mid a^n⟩\cong C_n$，而空关系集给出无限循环群 $⟨a\mid ⟩\cong \mathbb{Z}$——可见有限呈示完全不意味着群有限。二面体群的呈示 $⟨r,s\mid r^n=s^2=1,sr{s}^{-1}=r^{-1}⟩$ 演示了处理呈示的典型两步：一方面，反复用 $sr=r^{-1}s$ 可把任何词化成标准形 $r^i{s}^j$（$0\le i<n$，$j\in \{0,1\}$），故呈示的群至多 $2n$ 个元素；另一方面，正 $n$ 边形的 $2n$ 个对称满足全部关系，由泛性质得到到二面体群的满同态，两边夹逼可知呈示的群恰为 $2n$ 阶二面体群。

呈示与群之间远非一一对应：同一个群有无穷多呈示，Tietze 变换（增删冗余生成元、增删可由其余关系推出的关系）在保持同构类的前提下互相转换它们。呈示的表面复杂度与群的实际大小可以完全脱节，例如可以验证

呈示的是平凡群：两条关系分别改写为 $ba=a{b}^2$ 与 $ab=b{a}^2$，于是 $ba=(ab)b=(b{a}^2)b$，两次左消去得 $1=ab$，即 $b=a^{-1}$；代回第二条关系得 $a^2=b^{-1}ab=a$，故 $a=1$，进而 $b=1$。

边界有两层。构造层面：若只在自由幺半群公理库自由幺半群Free monoid由给定字母集合上的有限串及连接运算组成、满足相应泛性质的幺半群。上对 $R$ 生成的同余取商，得到的是幺半群呈示，逆元不会自动出现；群呈示必须从自由群出发。算法层面：Novikov 与 Boone 在 1950 年代分别构造了词问题不可解的有限呈示群，即没有算法能判断一个词是否代表单位元；进一步，判断有限呈示是否给出平凡群、两个有限呈示是否给出同构的群，都不是可判定公理库可判定语言Decidability · Recursive language · Decidable language存在对所有输入都停机并正确回答成员资格的图灵机语言类。问题，所以"写出呈示"远不等于"理解这个群"。

呈示是把（往往无限的）群压缩成有限数据的标准接口，因而成为群论与拓扑、计算之间的枢纽。在代数拓扑中，Seifert–van Kampen 定理公理库Seifert–van Kampen 定理Seifert–van Kampen theorem把空间开覆盖的基本群通过推送结构组合为整体基本群。从空间的分块粘合直接产出基本群公理库基本群Fundamental group基点回路按端点固定同伦分类后形成的群。的生成元与关系，纽结群、曲面群都以呈示的形式进入研究。组合与几何群论以呈示为出发点：由生成元构造 Cayley 图，把词的长度变成几何距离，进而研究群的大尺度几何。计算群论中，Todd–Coxeter 陪集枚举与 Knuth–Bendix 重写系统直接在生成元与关系上运算；而把呈示交换化后，对关系矩阵作 Smith 标准形化简即可算出交换化的不变因子，这正是有限生成阿贝尔群结构定理公理库有限生成阿贝尔群结构定理Structure theorem for finitely generated abelian groups每个有限生成阿贝尔群唯一分解为自由部分与有限循环素幂部分。的算法一面。