-
Cayley圖
鎖定
- 中文名
- Cayley圖
- 外文名
- Cayley graph
- 別 名
- 凱萊圖
Cayley圖定義
對於任何
,對應於元素
,和
,的頂點用顏色
,的有向邊連接。因此邊集合
,由形如
,的有序對構成,帶着
提供的顏色。
Cayley圖例子
類似的,如果G=Zn是n階循環羣而S由兩個元素構成,G的標準生成元和它的逆元,則凱萊圖是環圖Cn。
二面體羣D4在兩個生成元a和b上的凱萊圖列於右側。紅色箭頭表示左乘元素a。因此元素b是自我逆轉的,表示左乘元素b藍色線是無方向的。因此這個圖是混合的:它有8個頂點,8個有向邊,4個邊。羣D4的凱萊表可以從羣展示得出:
在對應於集合S= {a,b,a,b}的兩個生成元a,b上的自由羣的凱萊圖列出在文章開頭,這裏的e表示單位元。沿着邊向右走表示右乘a,而沿着變向上走表示乘以b。因為自由羣沒有關係,它的凱萊圖中沒有環。這個凱萊圖是證明巴拿赫-塔斯基悖論的關鍵因素。
[2]
Cayley圖特徵
羣
通過左乘作用在自身上(參見凱萊定理)。這個作用可以看作
作用在它的凱萊圖上。明顯的,一個元素
映射一個頂點
到頂點
。凱萊圖的邊集合被這個作用所保存:邊
變換成邊
。任何羣在自身上的左乘作用是簡單傳遞的,特別是凱萊圖是頂點傳遞的。這導致了凱萊圖的下列特徵:
圖
是羣
的凱萊圖,當且僅當它通過圖自同構許可
的簡單傳遞作用(就是保存邊的集合)。
要從一個凱萊圖
恢復羣
和生成集
,選擇一個頂點
並標記上這個羣的單位元。接着對每個
的頂點
標記上變換
到
的
的唯一元素。產生
為凱萊圖的
的生成元的集合
是毗連到選擇的頂點的頂點的標記的集合。生成集合是有限(這是凱萊圖的共同假定)當且僅當這個圖是局部有限的(就是説每個頂點毗連與有限多個邊)。
[2]
Cayley圖基本性質
如果生成集合的成員
是自身的逆元,即
,則它一般被表示為無向邊。
Cayley圖陪集圖
Cayley圖與羣論的關係
Cayley圖參見
- 羣的展示
- 參考資料
-
- 1. Magnus, Wilhelm; Karrass, Abraham; Solitar, Donald (2004) [1966]. Combinatorial Group Theory: Presentations of Groups in Terms of Generators and Relations. Courier. ISBN 978-0-486-43830-6.
- 2. Cayley, Arthur (1878). "Desiderata and suggestions: No. 2. The Theory of groups: graphical representation". American Journal of Mathematics. 1 (2): 174–6. doi:10.2307/2369306. JSTOR 2369306. In his Collected Mathematical Papers 10: 403–405.