主題
Search

穩定子


G 是集合 Omega 上的一個置換群xOmega 的一個元素。則

 G_x={g in G:g(x)=x}
(1)

被稱為 x 的穩定子,它由 G 中所有在 群不動點 中產生不動點的置換組成,即,將 x 對映到自身的置換。例如,在置換群 {(1)(2)(3)(4),(12)(3)(4),(1)(2)(34),(12)(34)} 下,1 和 2 的穩定子都是 {(1)(2)(3)(4),(1)(2)(34)},而 3 和 4 的穩定子是 {(1)(2)(3)(4),(12)(3)(4)}

更一般地,在群 G 的置換下,x in Omega 的所有像的子集

 G(x)={g(x):g in G}
(2)

被稱為 xG 中的群軌道

群在透過 x群軌道上的作用是傳遞的,因此與其迷向群相關。 特別是,迷向子群的陪集對應於軌道中的元素,

 G(x)∼G/G_x,
(3)

其中 G(x)xG 中的軌道,G_xxG 中的穩定子。這立即給出恆等式

 |G|=|G_x||G(x)|,
(4)

其中 |G| 表示群 G 的階數 (Holton and Sheehan 1993, p. 27)。


另請參閱

群作用, 群不動點, 群軌道, 置換群

使用 探索

參考文獻

Holton, D. A. 和 Sheehan, J. 第 6 章,載於The Petersen Graph. 劍橋,英國:劍橋大學出版社,p. 26, 1993。

在 中被引用

穩定子

請引用為

Weisstein, Eric W. “穩定子。” 來自 Web 資源。 https://mathworld.tw/Stabilizer.html

主題分類