商群
此條目翻譯品質不佳。 (2017年1月27日) |
在數學中,商群(英語:quotient group)或因子群(英語:factor group)是通過保持群結構的等價關係來把較大群中的類似元素聚類而產生的群。例如,加法模 的循環群是由在整數加法群中將相差 倍的整數定義為一類(稱為同餘類)得到的一系列可作為一個整體進行二元運算的群結構。
給定一個群 和 的一個正規子群 在 上的商群或因子群,直觀上是把正規子群 「萎縮」為單位元的群。商群寫為 ,念作 模 (「模」對應英文 mod,是 module 的簡稱)。
商群的重要性很大程度上源自他們與同態的關係。第一同構定理指出,任意群 在同態下的像總是同構於 的商。具體而言,同態 下 的像同構於 ,其中 代表 的核。
如果 不是正規子群,仍可定義 關於 的商,但 將不是群,而是一個齊性空間。
群的子集的乘積
在隨後的討論中,我們將使用在 的子集上的二元運算:如果給出 的兩個子集 和 ,我們定義它們的乘積為 。這個運算符合結合律,並有單元素集合 作為單位元,這裡 是群 的單位元。因此,由 的所有子集構成的集合和這個運算構成一個幺半群。
憑借這個運算我們可以首先解釋商群及正規子群的定義:
- 群 的商群是 的一個劃分,而它在這個乘積運算下是群。
它完全由包含 的子集所確定。 的正規子群是在任何這種劃分中包含 的集合。在劃分中的子集是這個正規子群的陪集。
群 的子群 是正規子群當且僅當陪集等式 對於所有 中的元素 都成立。依據上述定義的在子集上的二元運算, 的正規子群是交換於 的所有子集的子群,記作 。置換於 的所有子群的子群叫做可置換子群。
定義
設 是群 的正規子群。我們定義集合 是 在 中的所有左陪集所構成的集合,即 。群 上的群運算定義如上。換句話說,對於每個 中的元素 和 , 和 的乘積是 。這個運算是閉合的,因為 是一個左陪集:
- 。
上述等式用到了 的正規性。因為 是正規子群, 在 中的左陪集和右陪集相等,所以 也可以定義為 在 中所有的右陪集的集合。因為運算是從 的子集的乘積得出的,這個運算有良好定義(不依賴於表示的特定選擇),符合結合律,並有 作為單位元。 的元素 的逆元是 ,其中 是 在群 中的逆元。
定義的動機
被稱爲商群的契機來自整數的除法。 除以 時之所以會得到 是因為我們可以把 個對象重新分組為各含 個對象的 個子集。商群的誕生出於同樣的想法,但用一個群作為最終結果而非一個整數,因為比起任意對象構成的集合,群有更嚴密的結構。
更細致的說,當 是 的正規子群時, 這一群結構形成了一種自然的「重新分組」。它們是 在 中陪集。因為這種運算涉及一個群和它的正規子群,最終我們得到的商不只是陪集的(正常除法所產生的)數目,還包含更多的信息,得到了一個群結構。
例子
- 考慮整數集Z(在加法下)的群和所有偶數構成的子群2Z。這是個正規子群,因為Z是阿貝爾群。只有兩個陪集:偶數的集合和奇數的集合;因此商群Z/2Z是兩個元素的循環群。這個商群同構於集合{ 0, 1 }帶有模2加法運算的群;非正式的說,有時稱Z/2Z等於集合{ 0, 1 }帶有模2加法。
- 上個例子的稍微一般化。再次考慮整數集Z在加法下的群。設n是任何正整數。我們考慮由n的所有倍數構成的Z的子群nZ。nZ在Z中還是正規子群因為Z是阿貝爾群。陪集們是搜集{nZ,1+nZ,...,(n−2)+nZ,(n−1)+nZ}。整數k屬於陪集r+nZ,這里的r是k除以n的餘數。商Z/nZ可以被認為模以n的「餘數」的群。這是個n階循環群。
- 考慮複數十二次單位一的根的乘法阿貝爾群G,它們是在單位圓上的點,它們在右圖中展示為著色的球並在每點上用數標記出它們的輻角。考慮它由單位一的四次根構成的子群N,在圖中表示為紅色球。這個正規子群把群分解為三個陪集,分別表示為紅色、綠色和藍色。你可以驗證這些陪集形成了三個元素的群(紅色元素和藍色元素的乘積是藍色元素,藍色元素的逆元是綠色元素等等)。因此商群G/N是三種顏色元素的群,它又是三個元素的循環群。
- 考慮實數集R在加法下的群,和整數集子群Z。Z在R中的陪集們是形如a + Z的所有集合,這里0 ≤ a < 1是實數。這種陪集的加法是通過做相應的實數的加法,並在結果大於或等於1的時候減去1完成的。商群R/Z同構於圓群S1,它是絕對值為1的複數在乘法下的群,或者說關於原點的二維旋轉的群,也就是特殊正交群SO(2)。有一個同構給出為f(a + Z) = exp(2πia,參見歐拉恆等式)。
- 如果G是可逆的3 × 3實數矩陣的群,而N是帶有行列式為1的3 × 3實數矩陣的子群,那麼N在G中是正規子群(因為它是行列式同態的核)。N的陪集們是帶有給定行列式的矩陣的集合們,因此G/N同構於非零實數的乘法群。
- 考慮阿貝爾群Z4 = Z/4Z(也就是集合{ 0, 1, 2, 3 }帶有加法模4),和它的子群{ 0, 2 }。商群Z4 / { 0, 2 }是{ { 0, 2 }, { 1, 3 } }。這是帶有單位元{ 0, 2 }的群,群運算如{ 0, 2 } + { 1, 3 } = { 1, 3 }。子群{ 0, 2 }和商群{ { 0, 2 }, { 1, 3 } }同構於Z2。
- 考慮乘法群 。第n個餘數的集合N是 的ϕ (n)階乘法子群。則N在G中是正規子群並且因子群G/N有陪集N,(1+n)N, (1+n)2N,…,(1+n)n−1N。Pallier加密系統基於了在不知道n的因子分解的時候難於確定G的隨機元素的陪集的猜想。
性質
商群 同構於平凡群(只有一個元素的群),而 關於平凡群的商群 同構於 。
的階定義為 ,它是 在 中的子群的指標(index)。如果 是有限群,指標等於 的階除以 的階。注意 和 都是無限群的時候 可以是有限的(比如 的階是 )。
有一個「自然」滿射群同態 ,把每個 的元素 映射到 所屬於的 的陪集上,即 。映射 有時叫做「 到 上的規范投影」。它的核是 。
在包含 的 的子群和 的子群之間有一個雙射映射;如果 是 中一個包含 的子群,則對應的 的子群是 。這個映射對於 的正規子群和 也成立,並在格定理中形式化。
如果 是在有限群 中的子群,並且 的階等於 的階的一半,則 必然是正規子群,因此 存在並同構於 。這個結果還可以陳述為「任何指標為 的子群都是正規子群」。這一結論也適用於無限群。
所有群都同構於一個自由群的商。
有時但非必然的,群 可以從 和 重構為一個直積或半直積。判定何時成立的問題叫做擴張問題。不成立的一個例子如下。 同構於 ,並且還同構於 ,但是其唯一的半直積是直積,因為 只有一個平凡的自同構。所以 不同於 ,它不能被重構。