群的直和

在數學中，群 G 叫做子群的集合 {H_i} 的直和，如果

• 每個 H_i 是 G 的正規子群，
• 每對不同的子群都有平凡的交集，並且
• G = <{H_i}>；換句話說，G 是子群 {H_i} 生成的。

群論
群
基本概念 子群 · 正規子群 · 商群 · 群同態 · 像 · (半)直積 · 直和 單純群 · 有限群 · 無限群 · 拓撲群 · 群概形 · 循環群 · 冪零群 · 可解群 · 圈積 離散群 有限單群分類 循環群 Zn 交錯群 An 李型群 散在群 馬蒂厄群 M11..12,M22..24 康威群 Co1..3 揚科群 J1..4 費歇爾群（英語：Fischer group）F22..24 子魔群（英語：sub monster group） B 魔群 M 其他有限群 對稱群, Sn 二面體群, Dn 無限群 整數, Z 模群, PSL(2,Z) 和 SL(2,Z) 連續群 李群 一般線性群 GL(n) 特殊線性群 SL(n) 正交群 O(n) 特殊正交群 SO(n) 么正群 U(n) 特殊么正群 SU(n) 辛群 Sp(n) G2 F4 E6 E7 E8 勞侖茲群 龐加萊群 無限維群 共形群 微分同胚群 環路群 量子群 O(∞) SU(∞) Sp(∞) 代數群 橢圓曲線 線性代數群（英語：Linear algebraic group） 阿貝爾簇（英語：Abelian variety）
閱 論 編

解說

如果 G 是子群 H 和 K 的直和，則我們寫為 G = H + K；如果 G 是子群集合 {H_i} 的直和，我們經常寫為 G = ∑H_i。不嚴格的說，直和同構於子群的弱直積。

在抽象代數中，這種構造方法可以推廣為向量空間、模和其他結構的直和；詳情參見條目直和。

這個符號是符合交換律的；所以在兩個子群的直和的情況下，G = H + K = K + H。它還是符合結合律的，在如果 G = H + K 並且 K = L + M 則 G = H + (L + M) = H + L + M 的意義上。

可以表達為非平凡子群的直和的群被叫做「可分解」的；否則叫做「不可分解」的。

如果 G = H + K，則可以證明:

• 對於所有 H 中的 h 和 K 中的 k，有 h*k = k*h。
• 對於所有 G 中的 g，存在唯一的 H 中的 h 和 K 中的 k 使得 g = h*k。
• 有直和在商群中的消除，即 (H + K)/K 同構於 H。

上述斷言可以推廣到 G = ∑H_i 的情況，這里的 {H_i} 是子群的有限集合。

• 如果 i ≠ j，則對於所有 H_i 中的 h_i 和 H_j 中的 h_j，有著 h_i * h_j = h_j * h_i。
• 對於每個 G 中的 g，有唯一的 {h_i ∈ H_i} 使得

g = h₁*h₂* ... * h_i * ... * h_n。

• 有直和在商群中的消除；即 ((∑H_i) + K)/K 同構於 ∑H_i。

注意類似於直積，這里的每個 g 可以唯一的表達為

g = (h₁,h₂, ..., h_i, ..., h_n)。

因為 h_i * h_j = h_j * h_i 對於所有 i ≠ j，可推出在直和中的元素的乘積同構於對應的在直積中的元素的乘積；因此對於子群的有限集合，∑H_i 同構於直積 ×{H_i}。

直和的等價

直和對於群不是唯一的；例如在克萊因四元群 V₄ = C₂ × C₂ 中，我們有

V₄ = <(0,1)> + <(1,0)> 和

V₄ = <(1,1)> + <(1,0)>。

但是，Remak-Krull-Schmidt定理聲稱給定有限群 G = ∑A_i = ∑B_j，這里的每個 A_i 和每個 B_j 都是不平凡的並且不可分解的，則兩直和分別涉及到的子群在重新排序後同構意義下是等價的。

Remak-Krull-Schmidt 定理對無限群無效，所以在無限 G = H + K = L + M 的情況下，即使在所有子群都是非平凡的並且不可分解的，我們不能假定 H 同構於要麼 L 要麼 M。

推廣到在無限集合上的和

如果我們希望在 G 是子群的無限(可能不可數)集合的直和的情況下描述上述性質，我們需要更加的小心。

如果 g 是群的集合的笛卡兒積 ∏{H_i} 的元素，設 g_i 是在乘積中的 g 的第 i 個元素。 群的集合 {H_i} 的外直和(寫為 ∑_E{H_i}) 是 ∏{H_i} 的子集，這里對於每個 ∑_E{H_i} 的元素 g，g_i 是單位元素 ${\displaystyle e_{H_{i}}}$ 對於除了有限個之外的所有 g_i (等價的說只有有限個 g_i 不是單位元素)。在外直和中的群運算是逐點乘法，如在平常直積中那樣。

應當容易的明白這個子集確實形成了群；對於群 H_i 的無限集合，外直和同一於直積。

那麼如果 G = ∑H_i，則 G 同構於 ∑_E{H_i}。因此在某種意義上，直和是「內部」外直和。我們有了對於每個 G 中的元素 g，有一個唯一有限集合 S 和唯一的 {h_i ∈ H_i : i ∈ S} 使得 g = ∏ {h_i : i ∈ S}。