群的展示

title: 背景.
content: 集合 "S" 上的自由群是其每个元素都可以唯一描述为如下形式的有限长度的乘积的群:  这里的每个 "s" 是 S 的一个元素,对于任何 "i" 有 "s" ≠ "s";而每个 "a" 是非零整数。用不太正式的术语,群由在生成元和它们的逆元中的字组成,只服从用其逆元消除生成元的规则。  如果 "G" 是任何群,而 "S" 是 "G" 的生成子集,则 "G" 的所有元素也有如上形式;但是一般的说,这些乘积不能唯一的描述 "G" 的一个元素。  例如,二面体群 "D" 可以生成自 8 阶的旋转 "r"和 2 阶的翻转 "f";而 "D" 的任何特定元素都是若干 "r" 和 "f" 的乘积。  但是,比如有 "r f r" = "f", "r" = "r" 等;所以这种乘积在 "D" 中不是唯一的。每个这种乘积等价可以表达为等于单位元的等式;比如  非正式的,我们可以认为在左侧的乘积是自由群 "F" = <"r","f"> 的元素,并认为是这些字串生成 "F" 的子集 "R";其中每个在被当作在 "D" 中的乘积的时候还等价于 1。  如果我们接着让 "N" 是由 "R" 的所有共轭的集合 "x" "R x" 生成的 "F" 的子群,则 "N" 是 "F" 的正规子群;而 "N" 的每个元素,在被当作在 "D" 中的乘积的时候,也被求值为 1。因此 "D" 同构于商群 "F" /"N"。我们接著称 "D" 有展示
title: 形式定义.
content: 设 "S" 是集合并设 <"S"> 是在 "S" 上的自由群。设 "R" 是在 "S" 上的字的集合,所以 "R" 自然的给出了一个 <"S"> 的子集。要形成带有展示的 <"S"|"R"> 的群,想法是选取最小的 <"S"> 的商群,使得 "R" 的每个元素被当作同单位元一样。注意 "R" 可能不是子群也就更不是 <"S"> 的正规子群了,所以我们不能用 "R" 天真的求商。解决方式是在 <"S"> 选取 "R" 的正规闭包 "N",它被定义为包含 "R" 的 <"S"> 的最小正规子群。群 <"S"|"R"> 接着被定义为商群 "S" 的元素叫做 <"S"|"R"> 的生成元而 "R" 的元素叫做关系元。群 "G" 被称为有展示 <"S"|"R"> 如果 "G" 同构于 <"S"|"R">。  实践中经常把关系元写为 formula_8 = formula_9 形式,这里的 formula_8 和 formula_9 是在 formula_12 上的字。这意味着 formula_13。还有一个直觉意义是 "x" 和 "y" 的像被假定在商群中是相等的。因此比如在关系元列表中的 formula_14 等价于 formula_15。另一个常用简写是把交换子 formula_16 写为 formula_17。  一个展示被称为有限生成的,如果 formula_12 是有限的并且是有限关联的即 formula_19 是有限的。如果二者都是有限的它被称为有限展示。群是有限生成的(亦或是有限关联的,有限展现的),如果它有有限生成的(亦或是有限关联的,有限展示的)的展示。  如果 formula_12 用所有自然数 formula_21 或它的有限子集构成的集合 formula_22 来索引(index),则容易建立一种简单的从在 formula_12 上的自由群到自然数的一对一的编码(或哥德尔数) formula_24,使得我们可以找到算法从给定 formula_25 计算 formula_26 或反之。我们可以称 formula_27 的子集 formula_28 是递归的(亦或是递归可枚举)的,如果 formula_29 是递归的(亦或是递归可枚举的)。如果 formula_12 是如上索引的而 formula_19 是递归可枚举的,则这个展示是递归展示而对应的群是递归展现的。这种用法好像很奇怪,但是有可能证明如何群有带有 formula_19 递归可枚举的展示则它还有另一个带有 formula_19 递归的展示。  对于有限群 formula_34,乘法表提供了一种展示。我们选取 formula_12 为 formula_34 的元素 formula_37,formula_19 为形如 formula_39 的所有字,这里的 formula_40 是在乘法表是中的一个表项。展示可以被认为是乘法表的推广。  所有有限展现的群是递归展现的,但是有不能有限展现的递归展现的群。但是 Graham Higman 的一个定理声称有限生成的群有递归展现,当且仅当它可以被嵌入到有限展现的群中。从它我们可以得出只有(不别同构之异)可数多个有限生成的递归展现的群。Bernhard Neumann 已经证明了有不可数多个不同构的两生成元的群。所以有不能递归展现的有限生成群。
title: 例子.
content: 下表列出了经常研究的群的表示的一些例子。注意在每种情况下都有多种可能的其他展示。列出的展示不必然是最有效的那种可能。
title: 一些定理.
content: 所有群 "G" 都有表示。要得出这个结论请考虑在 "G" 上的自由群 <"G">。因为 "G" 明显的生成自身它应当可以通过 <"G"> 的商群得到。实际上,通过自由群的泛性质,存在唯一一个覆盖了恒等映射的群同态 φ : <"G"> → "G"。设 "K" 是这个同态的核。则 "G" 明显的有展示 <"G"|"K">。注意这个展示是高度低效的,因为 "G" 和 "K" 二者都比所需要的大很多。  所有有限群都有限展示。  群的字问题的否定解答声称有一个有限展示 <"S"|"R">,它没有算法能对给出的两个字 "u", "v" 确定 "u" 和 "v" 是否描述了群中的同一个元素。
title: 自由积.
content: 如果 "G" 有展示 <"S"|"R"> 而 "H" 有展示 <"T"|"Q">,并有着 "S" 和 "T" 是不相交的,则自由积 "G * H" 有展示 <"S,T"|"R,Q">。
title: 直积.
content: 如果 "G" 有展示 <"S"|"R"> 而 "H" 有展示 <"T"|"Q">,并有着 "S" 和 "T" 是不相交的,则 "G" 和 "H" 的直积有展示 <"S,T"|"R,Q, [S,T]">。这里 ["S,T"] 意味着来自 "S" 的所有元素与来自 "T" 的所有元素的交换子集合。

Summary: 在数学中,展示是定义群的一种方法。通过指定生成元的集合 "S" 使得这个群的所有元素都可以写为某些这种生成元的乘积,和这些生成元之间的关系的集合 "R"。称 "G" 有展示 非正式的说,"G" 有上述展示如果它是 S 所生成的只服从关系 "R" 的“最自由的群”。正式的说,群 "G" 被称为有上述展示如果它同构于 "S" 上的自由群模以关系 "R" 生成的正规子群的商群。

Presentation of a group: In mathematics, a presentation is one method of specifying a group. A presentation of a group "G" comprises a set "S" of generators—so that every element of the group can be written as a product of powers of some of these generators—and a set "R" of relations among those generators. We then say "G" has presentation