在數學中，群是指配備二元運算的集合，其二元運算需要具有結合律、單位元和逆元素。因為眾多數學結構都是群（如整數系配備上加法就形成一個群），因而可以簡潔地從不同的數學結構歸納出共通的結果，這使群成為當代數學的核心概念。群的想法遍佈在包括純數學和應用數學二者的整個數學中。 很多自然界的變換（如平移、鏡射）的匯總都符合群的定義，而某群變換下保持不變的某種性質被稱為對稱性；如在空間對稱群的哪些變換下，面積或角度會保持不變，就是在研究立體幾何的對稱性。 歷史 抽象群的現代概念是從多個數學領域發展出來的。群論的最初動機是為了求解高於 4 次的多項式方程。十九世紀法國數學家埃瓦里斯特伽羅瓦，擴充套件了保羅魯菲尼和約瑟夫拉格朗日先前的工作，依據特定多項式方程的根（解）的對稱群給出了對它的可解性的判別準則。這個伽羅瓦群的元素對應於根的特定置換。伽羅瓦的想法最初被同代人所拒絕，只在死後才出版。更一般的置換群由奧古斯丁路易柯西專門研究。阿瑟凱萊的 On the theory of groups as depending on the symbolic equation varthetan1（1854 年）給出有限群的第一個抽象定義。 幾何是第二個系統性的使用群，特別是對稱群的領域。這類群是菲利克斯克萊因 1872 年的愛爾蘭根綱領的一部分。在新型的幾何如雙曲幾何和射影幾何形成之後，克萊因利用群論以更連貫的方式來組織它們。索菲斯李進一步發展了這些想法，在 1884 年創立了李群的研究。 對群論有貢獻的第三個領域是數論。一些阿貝爾群結構在卡爾弗里德里希高斯的數論著作《算術研究》（1798 年）中被隱含地用到，並被利奧波德克羅內克更明顯地用到。 1847 年，恩斯特庫默爾發展了描述用素數做因數分解的理想類群，使證明費馬大定理的早期嘗試達到了高潮。 把上述各種來源融合成一個群的統一理論是從卡米爾若爾當的 Traité des substitutions et des équations algébriques 1870 年）開始的。 瓦爾特馮迪克（1882 年）給出了第一個抽象群的現代定義的陳述。在二十世紀，群在費迪南德格奧爾格弗羅貝尼烏斯和威廉伯恩賽德的開拓性著作中獲得了廣泛的認識，他們研究有限群的表示理論，還有理查德布勞爾的模表示論和 Issai Schur 的論文。 赫爾曼外爾、埃利嘉當和很多其他人推進了李群和更一般的區域性緊群的理論。它的代數對應者 代數群的理論，由克勞德舍瓦萊（從 1930 年代晚期開始）和後來阿爾曼德波萊爾和雅克蒂茨的重要著作奠基。 芝加哥大學於 196061 年舉辦的 群論年 活動促使群論家們以丹尼爾戈倫斯坦，約翰格里格斯湯普森和瓦爾特法伊特為基礎展開合作。在大量其他數學家的幫助下，他們完成了有限單群的分類。這項工程，不論是從證明長度來說還是從參與人數來說，其浩大程度超越了之前一切的數學成果。簡化此證明的研究還在進行中。群論在當下仍是一個活躍的數學分支，並仍在對其他分支產生重大影響。 正式定義 給定集合 G ，且它配備的二元運算 circG times G to G 滿足（其中運算結果 circ ab 被簡記為 a circ b ）： 結合律 對所有 g_1g_2g_3 in G 有 g_1 circ g_2 circ g_3 g_1 circ g_2 circ g_3 對所有 g_1g_2g_3 in G 有 g_1 circ g_2 circ g_3 g_1 circ g_2 circ g_3 左單位元與左逆元素 存在 e in G ，對所有 g in G 有 e circ g g 左單位元與左逆元素 存在 e in G ，對所有 g in G 有 且存在 gamma in G 使得 gamma circ g e 的話，稱 G circ 是一個群。當其配備的二元運算 circ 不是那麼重要時， G circ 也常常簡記為 G。單位元常稱作么元。 群運算的次序很重要，也就是說，等式 a circ b b circ a（交換律）不一定成立。滿足交換律的群稱為交換群（或阿貝爾群，以尼爾斯阿貝爾命名），不滿足交換律的群稱為非交換群（非阿貝爾群）。如以下面舉例一節的二面體群就不是交換群。 等價的定義 上面關於單位元和逆元素的部分也可以改為： 右單位元與右逆元素 存在 e in G ，對所有 g in G 有 g circ e g 右單位元與右逆元素 存在 e in G ，對所有 g in G 有 且存在 gamma in G 使得 g circ gamma e 因為不管原來的淡紫色定義，還是淡黃色的替代性定義，配上結合律都會等價於以下的定義： 單位元與逆元素 存在 e in G ，對所有 g in G 有 e circ g g circ e g 單位元與逆元素 存在 e in G ，對所有 g in G 有 且存在 gamma in G 使得 gamma circ g g circ gamma e 舉例 整數加法群 整數系 mathbb Z 是由所有整數所組成： dots432101234dots 可以看出，整數系和整數的加法是可以構成群的： 對於任意兩個整數 a 和 b，它們的和 ab 也是整數，所以整數加法的確是個二元運算，換言之，滿足封閉性。 對於任意三個整數 abc，有 abcabc。也就是說，先把 a 加到 b，然後把它們的和加到 c，所得到的結果與把 a 加到 b 與 c 的和是相等的。 對於任意整數 a，有 a00aa。故而 0 是整數加法的單位元。同時，對所有整數 a，均存在與之對應的另一個整數 a，滿足 aaaa0，作為 a 的逆元。 實數乘法群 實數集去掉 0，即 mathbb Rsharpmathbb Rbackslash0，在實數乘法下構成群，驗證如下： forall abinmathbb Rsharpabinmathbb Rsharp forall abcinmathbb Rsharpab ca bc 對於 1inmathbb Rsharp forall ainmathbb Rsharpa11aa forall ainmathbb Rsharpexist a1inmathbb Rsharpaleft a1rightleft a1right a1 二面體群 以下是正方形的 8 個旋轉和翻轉： operatorname id 保持原樣 r_1 向右旋轉 90 r_2 向右旋轉 180 r_3（向右旋轉 270） f_v 垂直翻轉 f_h 水平翻轉 f_d 對角翻轉 f_c（反對角翻轉） 注意顏色不同，「操作結果」才不同。數字只是去方便理解「操作過程」，數字有沒有顛倒不影響「操作結果」。 注意顏色不同，「操作結果」才不同。數字只是去方便理解「操作過程」，數字有沒有顛倒不影響「操作結果」。 注意顏色不同，「操作結果」才不同。數字只是去方便理解「操作過程」，數字有沒有顛倒不影響「操作結果」。 注意顏色不同，「操作結果」才不同。數字只是去方便理解「操作過程」，數字有沒有顛倒不影響「操作結果」。 如果 a 和 b 是上述 8 個「操作」的其中一個，「操作的複合」 a circ b 定義為先對正方形操作 a 之後再操作 b 。比如說，右旋 270 r_3 然後水平翻轉（ f_h ），等同於沿對角線的反射（ f_d ），這樣就可以表示為 r_3 circ f_h f_d 。 下面的群表列出了這種「操作的複合」的所有可能結果。 circ circ 先操作 先操作 先操作 先操作 先操作 先操作 先操作 先操作 circ circ operatorname id r_1 r_2 r_3 f_v f_h f_d f_c 後操作 operatorname id operatorname id r_1 r_2 r_3 f_v f_h f_d f_c 後操作 r_1 r_1 r_2 r_3 operatorname id f_c f_d f_v f_h 後操作 r_2 r_2 r_3 operatorname id r_1 f_h f_v f_c f_d 後操作 r_3 r_3 operatorname id r_1 r_2 f_d f_c f_h f_v 後操作 f_v f_v f_d f_h f_c operatorname id r_2 r_1 r_3 後操作 f_h f_h f_c f_v f_d r_2 operatorname id r_3 r_1 後操作 f_d f_d f_h f_c f_v r_3 r_1 operatorname id r_2 後操作 f_c f_c f_v f_d f_h r_1 r_3 r_2 operatorname id 如果取 D_4 leftoperatorname idr_1r_2r_3f_vf_hf_df_c right， 那麼根據以上的群表， circD_4 times D_4 to D_4 的確是個二元運算，而且 D_4circ 為群（其中 operatorname id 符合單位元的要求），它被稱為二面體群。注意到上表淡紫色的部分破壞了交換律，所以二面體群不是交換群。 基本性質 單位元的唯一性 若群 left Gcircright 同時有兩個單位元 e in G 和 eprime in G ，那根據定義裡對單位元的定義，對於任意 g in G 有： g e circ g g circ e g eprime circ g g circ eprime 這樣的話，把 g 分別代換為 eprime 和 e 就有 eprime e circ eprime eprime circ e e eprime circ e e circ eprime 所以 eprime e 所以群的單位元是唯一的，這樣根據函式符號與唯一性間的關係，可以新增新的三元函式符號 e_Gcirc 與以下的新公理（以下的合式公式 mathcal B 是 「circ 是 G 上的一個二元運算，且存在 circ 的單位元」的正式邏輯表述） negmathcal Bwedge e_Gcirc varnothing vee mathcal Bwedge forall g in Ge_Gcirc circ g g circ e_Gcirc g 這條公理直觀上表示，只要「circ 是 G 上的一個二元運算，且存在 circ 的單位元」，就可以用 e_Gcirc 這個符號簡記 「left Gcircright 上的那個唯一單位元」，否則取 e_Gcirc 為空集。 為了簡便起見， e_Gcirc 通常記為 e_G 甚至是 e 。 逆元的唯一性 在增添以上的新函式符號 e_Gcirc 和新公理的情況下，就可以證明逆元素的唯一性。 若群 left Gcircright 的某元素 g in G 有兩個逆元 gamma in G 和 bar gamma in G ，那根據定義和 e_Gcirc 的新公理有 e_G g circ gamma gamma circ g e_G g circ gammaprime gammaprime circ g 那這樣的話，依據定義裡的結合律和 e_Gcirc 的新公理有 begin align bar gamma bar gamma circ e_G bar gamma circ g circ gamma bar gamma circ g circ gamma e_G circ gamma gamma end align 所以任意 g in G 只有一個逆元。這樣根據函式符號與唯一性間的關係，可以新增一個三元函式符號 g1_Gcirc 與以下的新公理（以下的合式公式 mathcal D 是 「 left Gcircright 為一群，且 g in G 」的正式邏輯表述） negmathcal Dwedge g1_Gcirc varnothing vee mathcal Dwedge g1_Gcirc circ g g1_Gcirc circ g e_G 這條公理直觀上表示，只要「left Gcircright 為一群，且 g in G」，就可以用 g1_Gcirc 簡記 「g 在 left Gcircright 上對應的那個唯一逆元素」，否則取 g1_Gcirc 為空集。 簡便起見， g1_Gcirc 通常記為 g1。 群的冪 若 left Gcircright 為一群，可以仿造整數指數，對任意 g in G 作如下關於符號簡寫的遞迴定義 g0 e （單位元視為 0 次方） g1 g 對所有的整數 n in Z ， gn1 gn circ g 對所有的整數 n in Z ， gn1 gn circ g1 除法與減法 有時，某個群的運算可以跟直觀上的加法聯想在一起，這個運算也可以改記為「 」或「 oplus 」，這時也會把 f g1 改記為 f g 或 f ominus g ，這時會暱稱 f g 為減法。更有甚者，g1 會被記為 g 。 類似的，如果群的運算可以跟直觀上的乘法聯想在一起而改記為「 times 」或「 otimes 」，這時會把 f times g1 改記為 f div g 或 frac fg ，並暱稱為除法；更有甚者，g1 會被記為 frac 1g 。 注意以上都是為了直觀理解方便所規定的簡寫，並不是斷定群的運算必然跟一般實數的加減乘除一模一樣。 群論術語 本章節羅列一些群論涉及到的概念，其並非群本身的固有性質，但其與群的應用息息相關。本章節使用了數學符號如 Xxyz 以示集合 X 包含元素 xy 和 z，或以 xin X 表記 x 是 X 的一個元素，而記號 fcolonXto Y 意指 f 為將 X 的所有元各自唯一指定到 Y 的某個元的函式。 要超越上述純粹符號操作水平去理解群，必須採用更加結構性的概念。有一個概念性原理位於所有下列概念的底層：要發揮群提供的結構（而無結構的集合就沒有）的優勢，與群有關的構造必須與群運算相容。下列概念中以各種方式表現了這種相容性。例如，群可以透過叫做群同態的函式相互關聯。根據上述這個原理，要求它們以精確的意義照顧到群結構。群的結構還可以透過把它們分解成子群和商群來理解。保持結構 的原理是在數學中反復出現的一個主題，它是靠範疇來工作的一個例項，在這裡的情況下靠群範疇。 群同態 群同態是保持群結構的對映。稱兩群之間的對映 varphicolonGto H 為群同態，當且僅當 varphi acirc_G bvarphi acirc_Hvarphi b 對 G 的所有元 ab 均成立。上式同樣蘊含了 varphi e_Ge_H 與 forall ain Gvarphi a1left varphi aright1。因此說：群同態保持了群的所有結構。 兩群 GH 被稱作同構的，當且僅當存在群同態 rhocolonGto HsigmacolonHto G，使得 rhosigmaoperatorname id_Gsigmarhooperatorname id_H，也就是説，其複合分別得到了 G 和 H 上的恆等變換，此時也記 sigmavarphi1。從抽象的觀點來看，同構的一類群攜帶了完全相同的資訊，或者說，在「模去」群結構以外的性質後，所有同構的群可以視作唯一的單個物件。例如，對群 G 中的某個元 a 已經證實了 aae_G ，如果另一群 H 由對映 varphi 同構於該群，則相當於證明瞭 varphi avarphi avarphi e_Ge_H。 此外，一個群可以擁有非恆等變換的自同態或自同構，如果以對映為元，映射覆合為群乘法，則任意群 G 擁有其自同態群和自同構群，分別記作 operatorname End G 和 operatorname Aut G。 子群 非正式地說，子群是包含在更大的群內的一個群。 具體而論，對群 G 與其子集 Hsubseteq G，如果 H 對 G 的群乘法 circ_G 和么元 e_Gin H 亦構成群，則稱 H 為 G 的一個子群，常記之為 Hle G。 可以證明，可透過以下判據校驗群 G 的子集 H 是否為其子群：Hle GLeftrightarrowforall ghin Hg1 hin H 。 前文所述的例子中，么元與旋轉構成其一個子群 Rleftoperatorname idr_1r_2r_3right，在上面的表格中突出為紅色：任意兩個旋轉，其複合仍為旋轉，且任意旋轉可被一個相反方向上的旋轉所抵消。 瞭解子群族對於作為一個整體來理解群是重要的。 給定群 G 的任意子集 Ssubseteq G，稱由 S 生成的子群為 langle Srangleleftes_1s_2cdots s_ncolonforall is_iin Scup S1right，其中 S1lefts1colonsin Sright。這是包含 S 的 G 的最小子群，由 S 本身的元素與其逆元的所有可能的有限乘積組成。 同樣在前文所述的二面體群中存在例子：由 leftr_2f_vright 生成的子群為 leftoperatorname idr_2f_vf_hf_vr_2right。這一集合的確構成群，驗證時需要注意，在該群內有 forall aa2operatorname id，這也意味著所有元都是自身的逆元，也就是説該群的方次數為 2，關於這一性質，見後文所述之階。 陪集 在很多情況下，需要認為兩個元是等同的，如果它們只相差一個給定子群中的元素。例如，在上述 D_4 中，一旦進行了翻轉，再只進行旋轉而不再進行翻轉，正方形就永遠不能回到 r_2 的構型，此時可以認為，旋轉運算對於是否已經進行了翻轉的問題是無關緊要的。陪集可用來把這種現象形式化：子群 H 定義了左陪集和右陪集，它們可以認為是把 H 平移了一個任意群元素 g。用符號表示，H 的包含 g 的左和右陪集分別構成集合 GHleftxHcolonxin Gright 與 Hbackslash GleftHxcolonxin Gright， 其中 左陪集 gHleftghcolonhin Hright，右陪集 Hglefthgcolonhin Hright。 同時也可以定義雙陪集為 Hbackslash GKleftHxKcolonxin GHxKlefthxkcolonhin Hkin Krightright， 顯然，左右陪集為雙陪集之特例，取某一側子群為 e 即可。 任何子群 H 的陪集形成了 G 的一個劃分，換言之， 對任兩個陪集 HxKHyK，HxKcap HyKneqvarnothingLeftrightarrow HxKHyK，且 取陪集所有元作無交併有 Gbigsqcup_x HxK，其中每個 x 作為每個陪集之代表元被選取。 考慮左右陪集。H 的左和右陪集可以相等也可以不相等。如果它們相等，就是說對於所有 G 中的 g 有 gHHg，則 H 被稱為正規子群。 在前面介紹的對稱群 D_4 中，由旋轉構成的子群 R 的左陪集 gR 要麼等於 R，如果 gin R ； 要麼等於 Uf_vRleftf_vf_df_hf_cright（用綠色突出）。 此處的子群 R 還是對 D_4 正規的，因為有 f_vRURf_v，且對於任何 f_v 以外的元素也類似。 商群 有時，在由陪集形成的集合上可以賦予一個滿足群公理的運算，使之成為商群或因子群。這僅在子群正規時可行。給定任何對 G 正規的子群 N，定義由 N 決定的商群為 GNcirc，其中 circcolonxNyNmapsto xyN 。 這個定義是由關聯任何元素 g 到它的陪集 gN 的對映 Gto GN 是群同態的想法（自身是上面提出的一般結構性考慮的一個例項）所激發的，或者是叫做泛性質的一般抽象考慮。陪集 eNN 充當了這個群的單位元，在商群中 gN 的逆元是 gN1g1 N。 cdot R U R R U U U R 商群 D_4R 的群表。 商群 D_4R 的群表。 商群 D_4R 的群表。 商群 D_4R 的元素是代表單位元的 R 自身和 Uf_vR。商群上的群運算如右側所示。例如，UUf_vRf_vRf_vf_v RR 。子群 Rleftoperatorname idr_1r_2r_3right 與其構造的商群 D_4R 均交換，而 D_4 本身並不交換。透過較小的群構造較大的群，例如從子群 R 和商群 D_4R 構造 D_4，被抽象為叫做半直積的概念。 商群和子群一起形成了用它的展示描述所有群的一種方法：任何群都是這個群的生成元上的自由群模以 關係 子群得到的商群。例如，二面體群 D_4 可以由兩個元素 r 和 f 生成（比如 rr_1 右旋，和 ff_mathrm v 垂直，或任何其他翻轉），這意味著正方形的所有對稱變換都是這兩個對稱或它們的逆元的有限復合。與 r4f2rf21 關係在一起，這個群就完全描述出來了。群的表示還可以被用來構造凱萊圖，它是一種利用圖形來輔助理解離散群的工具。 此外，子群與商群以下列方式聯係起來：G 之子集 H 可視作由單射 Hrightarrowtail G 構造，而 G 對正規子群 N 之商群 GN，則由一個滿射，即典範同態 picolon Gtwoheadrightarrow GN 匯出。需要指出，一般意義上的同態既不一定單，亦不一定滿。 共軛 如果同一個群中的兩個元素 p 和 q 滿足關係：p x1qx，其中 x 也是同一個群中的元素，則稱元素 p 和 q 共軛。共軛關係是一個等價關係，即它滿足三個性質：共軛是自反的、對稱的和傳遞的。 在群中可以找到一個集合，這個集合中每一個元素都相互共軛，而在這個集合以外群的其他部分已經沒有任何元素與他們具有共軛關係了。稱這種集合為群中的一個共軛類。同一個群的兩個類之間一定沒有共同的元素。群中一個元素一定屬於且僅屬於一個類。如果群中沒有元素與該元素共軛，則該元素自成一類。 階 群中元素個數稱為群 G 的階，記為 G 子群的階能整除這個群的階 應用 群的例子和應用大量存在。起點是上面介紹過的整數的群 Z 帶有加法作為群運算。如果把加法替代為乘法，就得到了乘法群。這些群是抽象代數中重要概念的前身。 群應用於很多數學領域中。數學物件的性質經常是透過將群關聯與數學物件關聯，並研究相應的群的性質來研究的。例如，儒勒昂利龐加萊透過引入基本群創立了現在所謂的代數拓撲。透過這種連線方式，拓撲性質比如臨近和連續轉換成了群的性質。例如，右側的影像描繪了平面減去一個點的基本群的元素。這個群的元素給出為在這個區域內的環路。藍色環路被認為是零同倫（因此是無關緊要的），因為它可以收縮為一個點。圓孔的存在防止了橙色環路被收縮。橙色環路（或任何環繞這個圓孔一次的其他環路）所生成的，去掉了一個點的平面的基本群是無限迴圈群。基本群以這種方式探測到了這個圓孔。 在更新近的應用中，影響已經被倒轉過來，由群論背景來激發幾何結構了。在類似的脈絡下，幾何群論採用了幾何概念，比如在雙曲群的研究中。其他一些大量應用群論的數學分支包括代數幾何和數論。例如，典型群和皮卡德群在代數幾何上有重要應用；參見，特別是 I12 和 I13 除了上述理論應用之外，還存在很多群的實踐應用。密碼學依賴於抽象群論方式和從計算群論中特別是實現於有限群上的時候所得到的演算法知識的結合。群論的應用不限於數學；科學如物理、化學和電腦科學都受益於這個概念。 數 很多數系統，比如整數和有理數享有自然給予的群結構。在某些情況下比如對於有理數，加法和乘法運算二者都引發群結構。這種系統是叫做環和 zhcn 域；zhtw 體； 的更一般的代數結構的前身。 整數 整數 Z 在加法下的群記為（Z ），它在上面已經描述了。整數帶有用乘法替代加法的運算，Z 不形成群。閉合、結合律和單位元公理滿足，但逆元不存在：例如，a 2 是整數，但方程 ab 1 的唯一解在這種情況下是 b 12，它是有理數而非整數。因此不是所有 Z 的元素都有（乘法）逆元。 有理數 對乘法逆元存在的要求建議了考慮分式 frac ab。 整數的分式（要求 b 非零）叫做有理數。所有這種分數的集合通常記為 Q。對於有理數帶有乘法成為群仍有一個小障礙：因為有理數 0 沒有乘法逆元（就是說沒有 x 使得 x0 1），Q 仍然不是群。 但是，所有非零有理數的集合 Q0 q Q q 0 形成一個在乘法下的阿貝爾群，記為。結合律和單位元公理從整數的性質中得出。閉合要求在去掉零之後仍成立，因為任何兩個非零有理數的乘積永遠不是零。最後，ab 的逆元是 ba，所以逆元公理也滿足。 有理數（包括 0）在加法下也形成群。同時帶有加法和乘法運算產生更復雜的結構叫做環 如果同時除法總是可能的話（如在 Q 中）就是域，它在抽象代數中佔據中心位置。群論理論因此位於這些實體的理論的底層部分。 非零整數模以素數 對於任何素數 p，模算術提供了整數模以 p 的乘法群。群的元素是不能被 p 整除的整數模 p 的同餘類，就是說兩個數被認為是等價的如果它們的差被 p 整除。例如，如果 p 5，則精確地有四個群元素 1 2 3 4 排除了 5 的倍數而 6 和4 都等價於 1。群運算給出為乘法。因此 44 1，因為通常意義下的乘積 16 等價於 1 而 5 整除 16 1 15。以上事實記為 16 1（mod 5）。 p 的首要作用是確保了兩個都不被 p 整除的整數的乘積也不被 p 整除，因此指示的同餘類的集合在乘法下閉合。單位元如平常的乘法群一樣是 1，而結合律可以從整數的相應性質得出。最後，逆元公理要求給定不整除於 p 的整數 a，存在一個整數 b 使得 a b 1（mod p），就是說 p 整除的差。 逆元 b 可以使用貝祖等式和最大公約數等於 1 的事實找到。在上述 p 5 的情況下，4 的逆元是 4，3 的逆元是 2，因為 32 6 1 mod 5。所有的群公理都滿足。實際上，這個例子類似於上述（Q0），因為它是在有限域 Fp 中非零元素的乘法群，記為 Fp。這些群對於公開金鑰加密是至關重要的。 迴圈群 迴圈群是其所有元素都是特定元素 a 的冪的群（在群運算被寫為加法的時候使用術語倍數）。在乘法符號下，群的元素是： a3 a2 a1 a0 e a a2 a3 這裡的 a2 意味著 aa，而 a3 表示 a1a1a1aaa1 等等。這個元素 a 叫做這個群的生成元或本原元。 這類群的典型例子是單位一的 n 次複數根，由滿足 zn 1 的複數 z 給出，其運算為乘法。任何有 n 個元素的迴圈群同構於這個群。使用某些域論，群 Fp 可以被證明為是迴圈群：對於 p 5 3 是生成元因為 31 3 32 9 4 33 2 而 34 1。無限迴圈群同構於（Z ），它是前面介紹的整數在加法下的群。因為這兩個原型都是阿貝爾群，所以任何迴圈群都是。 阿貝爾群包括有限生成阿貝爾群的基本定理的研究是非常成熟的；對這個事態的反映是很多有關群論的概念，比如中心和交換子，描述了一個給定群不是阿貝爾群的程度。 對稱群 對稱群是由給定數學物件的對稱組成的群，對稱源於它們的幾何本性（比如前面介紹的正方形的對稱群）或源於代數本性（比如多項式方程和它們的解）。概念上說，群論可以被認為是對稱性的研究。 數學中的對稱性極大的簡化了幾何或分析物件的研究。群被稱為作用於另一個數學物件 X 上，如果所有群元素進行某個在 X 上的運算相容於群定律。在下面最右側例子中，7 階的（237）三角群的一個元素透過置換突出的彎曲的三角形作用在鑲嵌上（其他的元素也是）。透過群作用，群模式被連線到了所作用到的物件的結構上。 在化學領域中，比如晶體學、空間群和點群描述分子對稱性和晶體對稱性。這些對稱性位於這些系統的化學和物理表現的底層，而群論使簡化對這些性質的量子力學分析成為可能。 另見例如，群論被用來證實在特定量子級別間不出現光學躍遷簡單的因為涉及到了狀態的對稱性。 群不只對評定在分子中蘊含的對稱性有用，而且令人驚奇的它們還可以預測出分子的對稱性有時候可以改變。姜 泰勒效應是高對稱的分子的變形，此時，在透過分子的對稱運算相互關聯的一組可能基態中，該分子將採納一個特定的低對稱的基態。 同樣的，群論還可以幫助預測在物質經歷相變的時候出現的物理性質的變更，比如晶體形式從立方體變為四面體。一個例子是鐵電物質，這裡從順電到鐵電狀態的變更出現在居里溫度時，與從高對稱順電狀態到低對稱鐵電狀態的變更有關，並伴隨著所謂的軟聲子模式，它是在變化時轉到零頻率的振動晶格模式。 這種自發對稱性破缺在基本粒子物理中找到了進一步應用，這裡它的出現與戈德斯通玻色子的出現有關。 富勒烯展現了二十面體對稱。 氨 NH3。它的對稱群是 6 階的，用 120 旋轉和反射生成的。 立方烷 C8H8 刻畫了八面體對稱。 H2 6 2。相較於完美的對稱形狀，分子垂直膨脹大約 22（姜 泰勒效應）。 （237）三角群是雙曲群，它作用在這個雙曲面的鑲嵌上。 有限對稱群比如馬蒂厄群被用於編碼理論中，它又用於傳輸資料的糾錯和 CD 播放器中。另一個應用是微分伽羅瓦理論，它刻畫有已知形式的不定積分的函式，給出何時特定微分方程的解有良好表現的群論判定標準。在群作用下保持穩定的幾何性質在幾何不變數理論中研究。 一般線性群和表示理論 矩陣群由矩陣加上矩陣乘法一起構成。一般線性群 GL n R 由所有可逆的 n 乘 n 的帶有實數元素的矩陣構成。它的子群被稱為矩陣群或線性群。上面提及的二面體群例子可以被看作（非常小的）矩陣群。另一個重要矩陣群是特殊正交群 SO n。它描述了 n 維的所有可能旋轉。透過尤拉角，旋轉矩陣被用於計算機圖形學中。 表示理論是對群概念的應用並且對深入理解群是很重要的。它透過群作用於其他空間來研究群。一類廣泛的群表示是線性表示，就是說群作用線上性空間中，比如三維歐幾裡得空間 R3。G 在 n 維實向量空間上的表示簡單的是從群到一般線性群的群同態 ρ G GL n R。 以這種方式，抽象給出的群運算被轉換成用明確的計算可觸及到的矩陣乘法。 給定一個群作用，這給出了研究所作用的物件的進一步方法。在另一方面，它還產生了關於群的資訊。群表示是在有限群、李群、代數群和拓撲群特別是（區域性）緊群理論中的起組織作用的原則。 伽羅瓦群 伽羅瓦群是透過對求解多項式方程的過程中涉及到的對稱性的研究而被髮展起來的。例如，二次方程 ax2 bx c 0 的解給出為 x frac b pm sqrt b24ac2a。 對換表示式中的 和 ，也就是置換方程的兩個解可以被看作（非常簡單的）群運算。類似的公式對於三次方程和四次方程也有，但是對於五次方程和更高次的方程就不普遍性的存在。 see in particular p 273 for concrete examples 與多項式相關聯的伽羅瓦群的抽象性質（特別是它們的可解性）給出了那些多項式的所有解都可用根式表達的判定標準，就是說這些解可以類似上面公式那樣只使用加法、乘法和方根來表達。 這個問題可以使用域論來處理：考慮一個多項式的分裂域就把問題轉移到了域論的領域中了。現代伽羅瓦理論把上述型別的伽羅瓦群推廣到了域擴張，並透過伽羅瓦理論基本定理建立了在 zhcn 域；zhtw 體； 和群之間的嚴格關聯，再次凸顯了群在數學中無所不在。 有限群 一個群被稱為有限群，如果它有有限個元素。元素的數目叫做群 G 的階。一類重要的有限群是 n 次對稱群 SN，它是 N 個字母的置換的群。例如，在 3 個字母上的 n 次對稱群 S3 是由三個字母 ABC 的所有可能置換構成的群，就是說它包含元素 ABC ACB 直到 CBA，總共有 6（或 3 的階乘）個元素。這類群是基礎性的，因為任何有限群都可以表達為 n 次對稱群 SN 在適合的整數 N 下的子群（凱萊定理）。相似於上述正方形的對稱的群，S3 還可以解釋為等邊三角形的對稱的群。 在群 G 中的一個元素 a 的階是最小的使得 an e 的正整數 n，這裡的 an 表示 underbrace a cdot ldots cdot a_n，就是應用運算於 a 的 n 個復本上。（如果代表乘法則 an 對應於 a 的 n 次冪）。在無限群中，這個 n 可能不存在，在這種情況下 a 的階被稱為無限的。一個元素的階等於這個元素生成的迴圈子群的階。 更復雜的計數技術例如計數陪集，產生關於有限群的更精確陳述：拉格朗日定理聲稱有限群 G 的任何有限子群 H 的階整除 G 的階。西羅定理證明瞭它的部分逆命題。 上面討論的二面體群是 8 階有限群。r1 的階為 4，這是它生成的子群 R（見上）的階。反射元素 fv 等的階是 2。如拉格朗日定理所述這兩個階都整除 8。上面的群 Fp 有階。 有限單群分類 數學家們常常為尋求一種數學物件的完備的分類（或列表）而努力。並且這種分類是十分有用的：如果有限群有一個完備的列表，假設我們需要證明定理 P 時，如果可以一步一步證明定理對列表中給出的群成立，那我們即可證明定理 P 在有限群的領域內成立。這個目標迅速引出了一系列困難而意義深遠的數學問題。 根據拉格朗日定理，p 階有限群（p 為素數）必定是迴圈（阿貝爾群）群 Zp。 p2 階群也被證明是阿貝爾群。但這一命題並不能推廣到 p3 階群，如上面的非阿貝爾群 8 階二面體群 mathrm D_4 所示，其中 8 23。 另見，其中包含類似結果。可以利用計算機代數系統來給較小的群列表，但沒有對一切有限群的分類。 一箇中間步驟是有限單群分類。如果一個非平凡群僅有的正規子群是平凡群和它自身，那麼這個群叫做一個單群或簡單群。合成列說明單群可以作為建構有限群的 磚塊。 有限單群分類是當代群論的一個主要成就。1998 年的菲爾茲獎得主理查德博赫茲成功地證明了怪獸月光理論。該猜想指出了有限單群中分類中的最大的散在群 怪獸群 與一種來自經典複分析和絃理論（一種被認為統一了對許多物理學現象的描述的理論）的物件模函式之間的驚人而深刻的聯絡。 帶有額外結構的群 很多群同時是群和其他數學結構的例子。用範疇論的語言來說，它們是在範疇中的 群 物件，這意味著它們是帶著模仿群公理的（叫做態射的）變換的物件（可以是其他代數 數學結構）。例如，所有群（如上面定義的）也是一個集合，所以群是在集合範疇中的群物件。 拓撲群 某些拓撲空間可以配備上群結構。為了讓群公理與拓撲交織良好，群運算必須是連續函式，就是說如果 g 和 h 只變化很小，那麼和 g1 必須變化不大。這種群叫做拓撲群，並且它們是在拓撲空間範疇內的群物件。最基本的例子是實數 R 在加法之下，任何其他拓撲 zhcn 域；zhtw 體； 比如複數或 p 進數也是類似。所有這些群都是區域性緊拓撲群，所以它們有哈爾測度並可以透過調和分析來研究。前者提供了不變積分的抽象形式化。以實數情況為例，不變性意味著有： int f xdx int f xcdx 對於任何常數 c 成立。在這些 zhcn 域；zhtw 體； 上的矩陣群也屬於這種結構下，賦值向量環和賦值向量代數群也是如此，它們對數論是基礎性的。無限域擴張的伽羅瓦群比如絕對伽羅瓦群也可以配備上拓撲，叫做 Krull 拓撲，它又是推廣上面概述的 zhcn 域；zhtw 體； 和群的連線到無限域擴張的中心概念。適應代數幾何需要的這個想法的高階推廣是 étale 基本群。 李群 李群（為紀念索菲斯李而命名）是具有流形結構的群，就是說它們是區域性上看起來像某個適當維度的歐幾裡得空間的空間。這裡，作為額外結構的流形結構也必須是相容的，就是說對應於乘法和求逆的對映必須是光滑的。 標準例子是上面介紹的一般線性群：它是所有 n times n 矩陣的空間的開子集，因為它由不等式 det A 0， 給出。這裡的 A 指示 n times n 矩陣。 李群在物理中是基礎性的：諾特定理把連續對稱與守恆定律關聯起來。在空間和時間中旋轉和平移不變性是力學定律的基本對稱。它們可以被用來構造簡單的模型 比如在一種狀況下實施軸對稱常常會導致在解用來提供物理描述的方程上的重大簡化。另一個例子是 zhhans 洛倫茲變換；zhhant 勞侖茲變換；，它有關於兩個相互運動的觀察者的時間和速度的測量。它們可以用純群論方式推演，透過把變換表達為閔可夫斯基時空的旋轉對稱。在忽略萬有引力的情況下，後者充當了狹義相對論的時空模型。閔可夫斯基時空的完全對稱群，就是說包括了平移，叫做龐加萊群。透過上述聯絡，它在狹義相對論中扮演了關鍵角色，並隱含地用於量子場論。 隨位置變化的對稱與規範場論一起構成現代物理對相互作用的描述的中心。 推廣 在抽象代數中，透過放鬆定義群的某個公理可定義出更多的一般結構。例如，如果省略所有元素都逆元的要求，結果的代數結構就叫做么半群。自然數集 N（包括 0）在加法下形成了么半群，還有非零整數在乘法下也是。有一種一般方法用來向任何（阿貝爾的）么半群正式的增加元素的逆元，非常類似於從得出的方式，這叫做格羅滕迪克群。廣群非常類似於群，除了復合 a b 不必須在所有的 a 和 b 上有定義之外。它們由更加復雜形式的對稱的研究所引發，常見於拓撲和分析結構比如基本廣群中。表格給出一些推廣群的結構。 參見 子群 群子集的乘積 正規子群 同構基本定理 有限群 中心化子和正規化子 拉格朗日定理 可解群 冪零群 半群 舒爾正交關係 注釋 引文 引用 一般引用 Chapter 2 contains an undergraduatelevel exposition of the notions covered in this article Chapter 5 provides a laymanaccessible explanation of groups an elementary introduction 《代數學引論》第二版 ISBN 7040088932 聶靈沼、丁石孫 著，高等教育出版社出版 專門引用 歷史引用 Galois work was first published by Joseph Liouville in 1843 外部連結 Group at PlanetMath The development of group theory at The MacTutor History of Mathematics archive Category 對稱 Q