共軛類
數學上,特別是在群論中,群的元素可以分割成共軛類(Conjugacy class);同一個共軛類的元素有很多共同的屬性,而且研究非交換群的共軛類可以看出很多關於它們的結構的重要特徵。對於交換群,這個概念是平凡的,因為每個類就是一個單元素集合。
定義
[編輯]設為群。對於中共軛的兩個元素和,必存在中一個元素,滿足
- 。
很容易證明共軛是等價關係,因此將分割為等價類。(這表示群的每個元素屬於恰好一個共軛類,而類和相等當且僅當和共軛,否則不相交。)包含元素屬於的等價類是
並稱為的共軛類。的類數是共軛類的個數。
例子
[編輯]- 恆等 (abc -> abc)表示為(1)
- 對換 (abc -> acb,abc -> bac,abc -> cba)表示為(23) (12) (13)
- 三階輪換 (abc -> bca,abc -> cab)表示為(132) (123)
對稱群,由4個元素的全部24個置換組成,有5個共軛類:
- 恆等
- 對換
- 三階輪換
- 四階輪換
- 雙對換
參看立方體的恰當轉動,它可以用體對角線的枚舉刻劃。
- 在矩陣,在同一個共軛類的矩陣稱為相似矩陣。
屬性
[編輯]- 單位元素總是自成一類,也就是說。
- 若可交換,則對於所有和屬於成立;所以對於屬於成立;可見這個概念對於交換群不是很有用。
共軛類方程
[編輯]若G為有限群,則上節的內容,加上拉格朗日定理,可以得出如下結論:每個共軛類的元素個數整除G的階。
進一步的有,對於任何群G,可以通過從G的每個元素個數大於1的共軛類中取出一個元素來定義一個代表集S = {xi}。則G是Z(G)和S的元素的共軛類Cl(xi)的互斥併集集。由此可以寫出重要的類方程:
- |G| = |Z(G)| + ∑ i [G:H i ]
其中求和取遍對於每個S中的xi的Hi = CG(xi)。注意[G : Hi]是共軛類i的元素個數,一個|G|的大於1的除數。如果|G|的除數已知,則該方程經常用於獲得關於共軛類或者中心的大小的資訊。
例子
[編輯]考慮一個有限p-群G(也即,次數為pn的群,其中p是一個質數而n > 0)。我們將證明:每個有限p-群有非平凡的中心。
因為G的任意子群的次數必須整除G的次數,所以每個Hi也是某個冪p( ki )。但是類方程要求|G| = pn = |Z(G)| + ∑i (p( ki ))。因此我們可以看出p必須整除|Z(G)|,所以|Z(G)| > 1。
子群和一般子集的共軛
[編輯]更一般的來講,給定任意G的子集S(S不必是子群),我們定義一個G的子集T為S的共軛,當且僅當存在某個g屬於G滿足T = gSg−1。我們可以定義Cl(S)為所有共軛於S的子集T的集合。
一個常用的定理是,給定任意子集S,N(S)(S的正規化子)的指數等於Cl(S)的次數:
- |Cl(S)| = [G : N(S)]
這是因為,如果g和h屬於G,則gSg−1 = hSh−1當且僅當gh −1屬於N(S),換句話說,當且僅當g和h屬於N(S)的同一個陪集。
注意這個公式推廣了前面關於共軛類元素的個數的定理(S = {a}的特殊情況)。
上述定理在討論G的子群時尤其有用。子群可以由此分為等價類,兩個子群屬於同一類當且僅當它們共軛。共軛子群是同構的,但是同構子群未必共軛(例如,交換群可以有兩個不同的互相同構的子群,但是它們不可能共軛)。
作為群作用的共軛類
[編輯]如果對於任意兩個G中的元素g和x定義
- g.x = gxg−1
則我們有了一個G在G上的群作用。該作用的軌道就是共軛類,而給定元素的定點子群就是該元素的中心化子。
同樣,我們可以定義一個在G的所有子群或者所有子集的集合上的G的群作用如下
- g.S = gSg−1。
參看
[編輯]參考
[編輯]- Herstein, I.N. Abstract Algebra, Wiley, ISBN 0-471-36879-2
- Dummit, David and Richard Foote. Abstract Algebra, Wiley, ISBN 0-471-43334-9
- Lang, Serge. Algebra, Springer, ISBN 0-387-95385-X
|