此条目页的主題是組合群論中一種定義群的方法(Presentation of a group)。关于通过群作用于其他空间来研究群的學科(Group representation),請見「
群表示論」。
在數學中,展示是定義群的一種方法。通過指定生成元的集合 S 使得這個群的所有元素都可以寫為某些這種生成元的乘積,和這些生成元之間的關係的集合 R。稱 G 有展示
。
非正式的說,G 有上述展示如果它是 S 所生成的只服從關係 R 的“最自由的群”。正式的說,群 G 被稱為有上述展示如果它同構於 S 上的自由群模以關係 R 生成的正規子群的商群。
作為一個簡單的例子,n 階循環群有展示
。
這里的
是群單位元。它可以等價的寫為
,
因為把不包括等號的項認為是等于群單位元。這種項叫做關係元(relator),區別於包括等號的關係。
所有群都有一個展示,并且事實上有很多不同的展示;展示經常是描述群結構的最簡潔方式。
一個密切關聯但不同的概念是群的絕對展示。
集合 S 上的自由群是其每個元素都可以唯一描述為如下形式的有限長度的乘積的群:
![{\displaystyle s_{1}^{a_{1}}s_{2}^{a_{2}}\ldots s_{n}^{a_{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74635b4b3107d928446250d6dc4b503a6547fedb)
這里的每個 si 是 S 的一個元素,對於任何 i 有 si ≠ si+1;而每個 ai 是非零整數。用不太正式的術語,群由在生成元和它們的逆元中的字組成,只服從用其逆元消除生成元的規則。
如果 G 是任何群,而 S 是 G 的生成子集,則 G 的所有元素也有如上形式;但是一般的說,這些乘積不能唯一的描述 G 的一個元素。
例如,二面體群 D8 可以生成自 8 階的旋轉 r和 2 階的翻轉 f;而 D8 的任何特定元素都是若干 r 和 f 的乘積。
但是,比如有 r f r = f, r 7 = r −1 等;所以這種乘積在 D8 中不是唯一的。每個這種乘積等價可以表達為等于單位元的等式;比如
- r f r f = 1
- r 8 = 1
- f 2 = 1
非正式的,我們可以認為在左側的乘積是自由群 F = <r,f> 的元素,并認為是這些字串生成 F 的子集 R;其中每個在被當作在 D8 中的乘積的時候還等價於 1。
如果我們接著讓 N 是由 R 的所有共軛的集合 x −1 R x 生成的 F 的子群,則 N 是 F 的正規子群;而 N 的每個元素,在被當作在 D8 中的乘積的時候,也被求值為 1。因此 D8 同構於商群 F /N。我們接著稱 D8 有展示
。
設 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>。
實踐中經常把關係元寫為
=
形式,這里的
和
是在
上的字。這意味著
。還有一個直覺意義是 x 和 y 的像被假定在商群中是相等的。因此比如在關係元列表中的
等價於
。另一個常用簡寫是把交換子
寫為
。
一個展示被稱為有限生成的,如果
是有限的并且是有限關聯的即
是有限的。如果二者都是有限的它被稱為有限展示。群是有限生成的(亦或是有限關聯的,有限展現的),如果它有有限生成的(亦或是有限關聯的,有限展示的)的展示。
如果
用所有自然數
或它的有限子集構成的集合
來索引(index),則容易建立一種簡單的從在
上的自由群到自然數的一對一的編碼(或哥德爾數)
,使得我們可以找到算法從給定
計算
或反之。我們可以稱
的子集
是遞歸的(亦或是遞歸可枚舉)的,如果
是遞歸的(亦或是遞歸可枚舉的)。如果
是如上索引的而
是遞歸可枚舉的,則這個展示是遞歸展示而對應的群是遞歸展現的。這種用法好像很奇怪,但是有可能證明如何群有帶有
遞歸可枚舉的展示則它還有另一個帶有
遞歸的展示。
對于有限群
,乘法表提供了一種展示。我們選取
為
的元素
,
為形如
的所有字,這里的
是在乘法表是中的一個表項。展示可以被認為是乘法表的推廣。
所有有限展現的群是遞歸展現的,但是有不能有限展現的遞歸展現的群。但是 Graham Higman 的一個定理聲稱有限生成的群有遞歸展現,當且僅當它可以被嵌入到有限展現的群中。從它我們可以得出只有(不別同構之異)可數多個有限生成的遞歸展現的群。Bernhard Neumann 已經證明了有不可數多個不同構的兩生成元的群。所以有不能遞歸展現的有限生成群。
下表列出了經常研究的群的表示的一些例子。注意在每種情況下都有多種可能的其他展示。列出的展示不必然是最有效的那種可能。
群 |
展示 |
注釋
|
S 上的自由群 |
|
自由群是在它不服從任何關係的意義上稱為自由的。
|
Cn,n 階循環群
|
|
|
D2n,2n 階二面體群
|
|
這里的 r 表示旋轉而 f 表示翻轉
|
D∞, 無限二面體群
|
|
|
Dicn,雙循環群
|
|
四元群是 n = 2 時的特殊情況
|
Z × Z
|
|
|
Zm × Zn
|
|
|
S 上的自由阿貝爾群
|
這里的 R 是 S 上的自由群的元素的所有交換子的集合
|
|
對稱群,Sn
|
生成元: ![{\displaystyle \sigma _{1},\ldots ,\sigma _{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dd00945aa1aa2ee1c24d8312fa3c5fded9d53c9) 關係:
,
,
![{\displaystyle \sigma _{i}\sigma _{i+1}\sigma _{i}=\sigma _{i+1}\sigma _{i}\sigma _{i+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4a2394fef2bf43989a132f985bb87e089874cd7)
最后的關係集合可以被變換為
![{\displaystyle {(\sigma _{i}\sigma _{i+1}})^{3}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ada8f84495b4e8be4cff63b4b0b28f7c8cd50fd5)
使用 。
|
這里 i是交換第 i 個元素與第 i+1 個元素的置換。乘積 是在集合 上的 3-循環。
|
編織群,Bn
|
生成元: ![{\displaystyle \sigma _{1},\ldots ,\sigma _{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dd00945aa1aa2ee1c24d8312fa3c5fded9d53c9)
關係:
,
![{\displaystyle \sigma _{i}\sigma _{i+1}\sigma _{i}=\sigma _{i+1}\sigma _{i}\sigma _{i+1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4a2394fef2bf43989a132f985bb87e089874cd7)
|
注意同對稱群的相似性;唯一的不同是關係 的免除。
|
四面體群, T ≅ A4
|
|
|
八面體群, O ≅ S4
|
|
|
二十面體群, I ≅ A5
|
|
|
四元群, Q
|
|
|
|
|
在拓撲上可以把 a 和 b 可視化為在環面上的Dehn扭曲。
|
|
|
|
|
|
PSL2(Z) 是循環群 Z2 和 Z3 的自由積。
|
海森堡群
|
|
|
Baumslag-Solitar群,B(m,n)
|
|
|
所有群 G 都有表示。要得出這個結論請考慮在 G 上的自由群 <G>。因為 G 明顯的生成自身它應當可以通過 <G> 的商群得到。實際上,通過自由群的泛性質,存在唯一一個覆蓋了恒等映射的群同態 φ : <G> → G。設 K 是這個同態的核。則 G 明顯的有展示 <G|K>。注意這個展示是高度低效的,因為 G 和 K 二者都比所需要的大很多。
所有有限群都有限展示。
群的字問題的否定解答聲稱有一個有限展示 <S|R>,它沒有算法能對給出的兩個字 u, v 確定 u 和 v 是否描述了群中的同一個元素。
如果 G 有展示 <S|R> 而 H 有展示 <T|Q>,并有著 S 和 T 是不相交的,則自由積 G * H 有展示 <S,T|R,Q>。
如果 G 有展示 <S|R> 而 H 有展示 <T|Q>,并有著 S
和 T 是不相交的,則 G 和 H 的直積有展示 <S,T|R,Q, [S,T]>。這里 [S,T] 意味著來自 S 的所有元素與來自 T 的所有元素的交換子集合。
- Coxeter, H. S. M. and Moser, W. O. J. Generators and Relations for Discrete Groups. New York: Springer-Verlag. 1980. ISBN 0-387-09212-9. This useful reference has tables of presentations of all small finite groups, the reflection groups, and so forth.