-
換位子羣
鎖定
在
抽象代數中,一個
羣的
換位子羣或
導羣,是指由這個羣的所有
交換子所生成的
子羣,記作[
G,
G]、
G′或
G(1) 。每個羣都對應着一個確定的交換子羣。在一個羣
G的所有正規子羣中,交換子羣
G′是使得
G對它的
商羣為
交換羣的最小子羣。在某種意義上,交換子羣提供了羣
G的可交換程度。因為從交換子的定義:,如果x與y交換,那麼[x,y]=e。一個羣內可交換的元素越多,交換子就越少,交換子羣也就越小。可交換羣的交換子羣為
平凡羣{e}。
換位子羣定義
給定一個羣G,G的交換子羣或導羣: [G,G]、G′或G是G的所有交換子所生成的子羣:
類似地可以定義高階的導羣。
可以證明,如果存在自然數 n 使得
那麼
G是
可解羣。
商羣G/[G,G]是一個阿貝爾羣,叫做
G的
阿貝爾化子羣,通常記作
G。
G的阿貝爾化子羣就是
G的一階
同調羣。
[G,G]=G的羣叫做完美羣,這是與阿貝爾羣相對的概念。完美羣的阿貝爾化子羣是單位羣{e}。
換位子羣性質
G對於自同構穩定:。
可交換。
換位子羣應用
n次對稱羣的交換子羣是n次交替羣。
四元羣Q= {1, −1,i, −i,j, −j,k, −k} 的交換子羣是 {1, −1}。