群

File:Rubik's cube.svg

魔方的所有可能重新排列形成一個群，叫做魔方群。

在數學中，群（Template:Langx）是指配備二元運算的集合，其二元運算需要具有結合律、單位元和逆元素。因為眾多數學結構都是群（如整數系配備上加法就形成一個群），因而可以簡潔地從不同的數學結構歸納出共通的結果，這使群成為當代數學的核心概念。

很多自然界的變換（如平移、鏡射）的匯總都符合群的定義，而某群變換下保持不變的某種性質被稱為對稱性；如在空間對稱群的哪些變換下，面積或角度會保持不變，就是在研究立體幾何的對稱性。

歷史

抽象群的現代概念是從多個數學領域發展出來的。群論的最初動機是為了求解高於4次的多項式方程。十九世紀法國數學家埃瓦里斯特·伽羅瓦，擴展了保羅·魯菲尼和約瑟夫·拉格朗日先前的工作，依據特定多項式方程的根（解）的對稱群給出了對它的可解性的判別準則。這個伽羅瓦群的元素對應於根的特定置換。伽羅瓦的想法最初被同代人所拒絕，只在死後才出版。更一般的置換群由奧古斯丁·路易·柯西專門研究。阿瑟·凱萊的「On the theory of groups, as depending on the symbolic equation <math>\vartheta^n=1</math>」（1854 年）給出有限群的第一個抽象定義。

幾何是第二個系統性的使用群，特別是對稱群的領域。這類群是菲利克斯·克萊因 1872 年的愛爾蘭根綱領的一部分。在新型的幾何如雙曲幾何和射影幾何形成之後，克萊因利用群論以更連貫的方式來組織它們。索菲斯·李進一步發展了這些想法，在 1884 年創立了李群的研究。

對群論有貢獻的第三個領域是數論。一些阿貝爾群結構在卡爾·弗里德里希·高斯的數論著作《算術研究》（1798 年）中被隱含地用到，並被利奧波德·克羅內克更明顯地用到。 1847 年，恩斯特·庫默爾發展了描述用素數做因數分解的理想類群，使證明費馬大定理的早期嘗試達到了高潮。

把上述各種來源融合成一個群的統一理論是從卡米爾·若爾當的「Traité des substitutions et des équations algébriques」 (1870 年）開始的。 瓦爾特·馮·迪克（1882年）給出了第一個抽象群的現代定義的陳述。在二十世紀，群在費迪南德·格奧爾格·弗羅貝尼烏斯和威廉·伯恩賽德的開拓性著作中獲得了廣泛的認識，他們研究有限群的表示理論，還有理察·布勞爾的模表示論和 Issai Schur 的論文。 赫爾曼·外爾、埃利·嘉當和很多其他人推進了李群和更一般的局部緊群的理論。它的代數對應者——代數群的理論，由克勞德·舍瓦萊（從 1930 年代晚期開始）和後來阿爾曼德·波萊爾和雅克·蒂茨的重要著作奠基。

芝加哥大學於 1960-61 年舉辦的「群論年」活動促使群論家們以丹尼爾·戈倫斯坦，約翰·格里格斯·湯普森和瓦爾特·法伊特為基礎展開合作。在大量其他數學家的幫助下，他們完成了有限單群的分類。這項工程，不論是從證明長度來說還是從參與人數來說，其浩大程度超越了之前一切的數學成果。簡化此證明的研究還在進行中。群論在當下仍是一個活躍的數學分支，並仍在對其他分支產生重大影響。

正式定義

給定集合 <math>G</math> ，且它配備的二元運算 <math>\circ:G \times G \to G</math> 滿足（其中運算結果 <math>\circ(a,\,b)</math> 被簡記為 <math>a \circ b</math> ）：

結合律	對所有 <math>g_1,\,g_2,\,g_3 \in G</math> 有 <math>g_1 \circ (g_2 \circ g_3) = (g_1 \circ g_2) \circ g_3</math>
左單位元與左逆元素	存在 <math>e \in G</math> ，對所有 <math>g \in G</math> 有	<math>e \circ g = g</math>
		且存在 <math>\gamma \in G</math> 使得 <math>\gamma \circ g = e</math>

的話，稱 <math>(G,\ \circ)</math> 是一個群。當其配備的二元運算 <math>\circ</math> 不是那麼重要時， <math>(G,\ \circ)</math> 也常常簡記為 <math>G</math>。單位元常稱作么元。

群運算的次序很重要，也就是說，等式 <math>a \circ b = b \circ a</math>（交換律）不一定成立。滿足交換律的群稱為交換群（或阿貝爾群，以尼爾斯·阿貝爾命名），不滿足交換律的群稱為非交換群（非阿貝爾群）。如以下面舉例一節的二面體群就不是交換群。

等價的定義

上面關於單位元和逆元素的部分也可以改為：

右單位元與右逆元素	存在 <math>e \in G</math> ，對所有 <math>g \in G</math> 有	<math>g \circ e= g</math>
		且存在 <math>\gamma \in G</math> 使得 <math>g \circ \gamma= e</math>

因為不管原來的淡紫色定義，還是淡黃色的替代性定義，配上結合律都會等價於以下的定義：

單位元與逆元素	存在 <math>e \in G</math> ，對所有 <math>g \in G</math> 有	<math>e \circ g = g \circ e = g</math>
		且存在 <math>\gamma \in G</math> 使得 <math>\gamma \circ g = g \circ \gamma = e</math>

舉例

整數加法群

整數系 <math>\mathbb{Z}</math> 是由所有整數所組成：

<math>\dots,\,-4,\,-3,\,-2,\,-1,\,0,\,1,\,2,\,3,\,4,\dots</math>

可以看出，整數系和整數的加法是可以構成群的：

1. 對於任意兩個整數 <math>a</math> 和 <math>b</math>，它們的和 <math>a+b</math> 也是整數，所以整數加法的確是個二元運算，換言之，滿足封閉性。
2. 對於任意三個整數 <math>a,\,b,\,c</math>，有 <math>(a+b)+c=a+(b+c)</math>。也就是說，先把 <math>a</math> 加到 <math>b</math>，然後把它們的和加到 <math>c</math>，所得到的結果與把 <math>a</math> 加到 <math>b</math> 與 <math>c</math> 的和是相等的。
3. 對於任意整數 <math>a</math>，有 <math>a+0=0+a=a</math>。故而 <math>0</math> 是整數加法的單位元。同時，對所有整數 <math>a</math>，均存在與之對應的另一個整數 <math>-a</math>，滿足 <math>a+(-a)=(-a)+a=0</math>，作爲 <math>a</math> 的逆元。

實數乘法群

實數集去掉 <math>0</math>，即 <math>\mathbb{R}^\sharp:=\mathbb{R}\backslash\{0\}</math>，在實數乘法下構成群，驗證如下：

1. <math>\forall a,\,b\in\mathbb{R}^\sharp,\,ab\in\mathbb{R}^\sharp</math>;
2. <math>\forall a,\,b,\,c\in\mathbb{R}^\sharp,\,(ab)c=a(bc)</math>;
3. 對於 <math>1\in\mathbb{R}^\sharp</math>, <math>\forall a\in\mathbb{R}^\sharp,\,a1=1a=a</math>;
4. <math>\forall a\in\mathbb{R}^\sharp,\,\exist a^{-1}\in\mathbb{R}^\sharp,\,a\left(a^{-1}\right)=\left(a^{-1}\right)a=1</math>.

二面體群

以下是正方形的 8 個旋轉和翻轉：

File:Group D8 id.svg <math>\operatorname{id}</math> (保持原樣)	File:Group D8 90.svg <math>r_1</math> (向右旋轉 90°)	File:Group D8 180.svg <math>r_2</math> (向右旋轉 180°)	File:Group D8 270.svg <math>r_3</math>（向右旋轉 270°）
File:Group D8 fv.svg <math>f_v</math> (垂直翻轉)	File:Group D8 fh.svg <math>f_h</math> (水平翻轉)	File:Group D8 f13.svg <math>f_d</math> (對角翻轉)	File:Group D8 f24.svg <math>f_c</math>（反對角翻轉）
注意顏色不同，「操作結果」才不同。數字只是去方便理解「操作過程」，數字有沒有顛倒不影響「操作結果」。

如果 <math>a</math> 和 <math>b</math> 是上述 8 個「操作」的其中一個，「操作的複合」 <math>a \circ b</math> 定義為先對正方形操作 <math>a</math> 之後再操作 <math>b</math> 。比如說，右旋 270° ( <math>r_3</math> ) 然後水平翻轉（ <math>f_h</math> ），等同於沿對角線的反射（ <math>f_d</math> ），這樣就可以表示為 <math>r_3 \circ f_h =f_d</math> 。

下面的群表列出了這種「操作的複合」的所有可能結果。

<math>\circ</math>		先操作
		<math>\operatorname{id}</math>	<math>r_1</math>	<math>r_2</math>	<math>r_3</math>	<math>f_v</math>	<math>f_h</math>	<math>f_d</math>	<math>f_c</math>
後操作	<math>\operatorname{id}</math>	<math>\operatorname{id}</math>	<math>r_1</math>	<math>r_2</math>	<math>r_3</math>	<math>f_v</math>	<math>f_h</math>	<math>f_d</math>	<math>f_c</math>
	<math>r_1</math>	<math>r_1</math>	<math>r_2</math>	<math>r_3</math>	<math>\operatorname{id}</math>	<math>f_c</math>	<math>f_d</math>	<math>f_v</math>	<math>f_h</math>
	<math>r_2</math>	<math>r_2</math>	<math>r_3</math>	<math>\operatorname{id}</math>	<math>r_1</math>	<math>f_h</math>	<math>f_v</math>	<math>f_c</math>	<math>f_d</math>
	<math>r_3</math>	<math>r_3</math>	<math>\operatorname{id}</math>	<math>r_1</math>	<math>r_2</math>	<math>f_d</math>	<math>f_c</math>	<math>f_h</math>	<math>f_v</math>
	<math>f_v</math>	<math>f_v</math>	<math>f_d</math>	<math>f_h</math>	<math>f_c</math>	<math>\operatorname{id}</math>	<math>r_2</math>	<math>r_1</math>	<math>r_3</math>
	<math>f_h</math>	<math>f_h</math>	<math>f_c</math>	<math>f_v</math>	<math>f_d</math>	<math>r_2</math>	<math>\operatorname{id}</math>	<math>r_3</math>	<math>r_1</math>
	<math>f_d</math>	<math>f_d</math>	<math>f_h</math>	<math>f_c</math>	<math>f_v</math>	<math>r_3</math>	<math>r_1</math>	<math>\operatorname{id}</math>	<math>r_2</math>
	<math>f_c</math>	<math>f_c</math>	<math>f_v</math>	<math>f_d</math>	<math>f_h</math>	<math>r_1</math>	<math>r_3</math>	<math>r_2</math>	<math>\operatorname{id}</math>

如果取

<math>D_4 =

\left\{

\operatorname{id},\,\,r_1,\,r_2,\,r_3,\,f_v,\,f_h,\,f_d,\,f_c

\right\}</math>，

那麼根據以上的群表， <math>\circ:D_4 \times D_4 \to D_4</math> 的確是個二元運算，而且 <math>(D_4,\,\circ)</math> 為群（其中 <math>\operatorname{id}</math> 符合單位元的要求），它被稱為二面體群。注意到上表藍色的部分破壞了交換律，所以二面體群不是交換群。

基本性質

單位元的唯一性

引入以下證明：

若群 <math>\left(G,\,\circ\right)</math> 同時有兩個單位元 <math>e \in G</math> 和 <math>e^{\prime} \in G</math> ，那根據定義裡對單位元的定義，對於任意 <math>g \in G</math> 有：

<math>g = e \circ g = g \circ e </math>

<math>g = e^{\prime} \circ g = g \circ e^{\prime} </math>

這樣的話，把 <math>g</math> 分別代換為 <math>e^{\prime}</math> 和 <math>e</math> 就有

<math>e^{\prime} = e \circ e^{\prime} = e^{\prime} \circ e </math>

<math>e = e^{\prime} \circ e = e \circ e^{\prime} </math>

所以

<math>e^{\prime} = e </math>

基於以上證明，群的單位元是唯一的。所以，根據函數符號與唯一性間的關係，可以添加新的三元函數符號 <math>e_{(G,\,\circ)}</math> 與以下的新公理（以下的合式公式 <math>\mathcal{B}</math> 是 「<math>\circ</math> 是 <math>G</math> 上的一個二元運算，且存在 <math>\circ</math> 的單位元」的正式邏輯表述）

<math>[\neg\mathcal{B}\wedge (e_{(G,\,\circ)} = \varnothing)]

\vee [\mathcal{B}\wedge (\forall g \in G)(e_{(G,\,\circ)} \circ g = g \circ e_{(G,\,\circ)} = g)]</math> 這條公理直觀上表示，只要「<math>\circ</math> 是 <math>G</math> 上的一個二元運算，且存在 <math>\circ</math> 的單位元」，就可以用 <math>e_{(G,\,\circ)}</math> 這個符號簡記 「<math>\left(G,\,\circ\right)</math> 上的那個唯一單位元」，否則取 <math>e_{(G,\,\circ)}</math> 為空集。

為了簡便起見， <math>e_{(G,\,\circ)}</math> 通常記為 <math>e_G</math> 甚至是 <math>e</math> 。

逆元的唯一性

在增添以上的新函數符號 <math>e_{(G,\,\circ)}</math> 和新公理的情況下，就可以證明逆元素的唯一性。

若群 <math>\left(G,\,\circ\right)</math> 的某元素 <math>g \in G</math> 有兩個逆元 <math>\gamma \in G</math> 和 <math>\bar{\gamma} \in G</math> ，那根據定義和 <math>e_{(G,\,\circ)}</math> 的新公理有

<math>e_G = g \circ \gamma = \gamma \circ g </math>

<math>e_G = g \circ \gamma^{\prime} = \gamma^{\prime} \circ g </math>

那這樣的話，依據定義裡的結合律和 <math>e_{(G,\,\circ)}</math> 的新公理有

<math>\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} </math>

所以任意 <math>g \in G</math> 只有一個逆元。這樣根據函數符號與唯一性間的關係，可以添加一個三元函數符號 <math>{g^{-1}}_{(G,\,\circ)}</math> 與以下的新公理（以下的合式公式 <math>\mathcal{D}</math> 是 「 <math>\left(G,\,\circ\right)</math> 為一群，且 <math>g \in G</math> 」的正式邏輯表述）

<math>[\neg\mathcal{D}\wedge ({g^{-1}}_{(G,\,\circ)} = \varnothing)]

\vee [\mathcal{D}\wedge ({g^{-1}}_{(G,\,\circ)} \circ g = {g^{-1}}_{(G,\,\circ)} \circ g = e_G)]</math> 這條公理直觀上表示，只要「<math>\left(G,\,\circ\right)</math> 為一群，且 <math>g \in G</math>」，就可以用 <math>{g^{-1}}_{(G,\,\circ)}</math> 簡記 「<math>g</math> 在 <math>\left(G,\,\circ\right)</math> 上對應的那個唯一逆元素」，否則取 <math>{g^{-1}}_{(G,\,\circ)}</math> 為空集。

簡便起見， <math>{g^{-1}}_{(G,\,\circ)}</math> 通常記為 <math>g^{-1}</math>。

群的冪

若 <math>\left(G,\,\circ\right)</math> 為一群，可以仿造整數指數，對任意 <math>g \in G</math> 作如下關於符號簡寫的遞歸定義

<math>g^0 := e</math> （單位元視為 <math>0</math> 次方）

<math>g^1 := g</math>

對所有的整數 <math>n \in \Z</math> ， <math>g^{n+1} := g^n \circ g</math>

對所有的整數 <math>n \in \Z</math> ， <math>g^{n-1} := g^n \circ g^{-1}</math>

除法與減法

有時，某個群的運算可以跟直觀上的加法聯想在一起，這個運算也可以改記為「 <math>+</math> 」或「 <math>\oplus</math> 」，這時也會把 <math>f + g^{-1}</math> 改記為 <math>f - g</math> 或 <math>f \ominus g</math> ，這時會暱稱 <math>f - g</math> 為減法。更有甚者，<math>g^{-1}</math> 會被記為 <math>-g</math> 。

類似的，如果群的運算可以跟直觀上的乘法聯想在一起而改記為「 <math>\times</math> 」或「 <math>\otimes</math> 」，這時會把 <math>f \times g^{-1}</math> 改記為 <math>f \div g</math> 或 <math>\frac{f}{g}</math> ，並暱稱為除法；更有甚者，<math>g^{-1}</math> 會被記為 <math>\frac{1}{g}</math> 。

注意以上都是為了直觀理解方便所規定的簡寫，並不是斷定群的運算必然跟一般實數的加減乘除一模一樣。

群論術語

本章節羅列一些群論涉及到的概念，其並非群本身的固有性質，但其與群的應用息息相關。本章節使用了數學符號如 <math>X=\{x,\,y,\,z \}</math> 以示集合 <math>X</math> 包含元素 <math>x,\,y</math> 和 <math>z</math>，或以 <math>x\in X</math> 表記 <math>x</math> 是 <math>X</math> 的一個元素，而記號 <math>f\colon,\,X\to Y</math> 意指 <math>f</math> 為將 <math>X</math> 的所有元各自唯一指定到 <math>Y</math> 的某個元的函數。

要超越上述純粹符號操作水平去理解群，必須採用更加結構性的概念。有一個概念性原理位於所有下列概念的底層：要發揮群提供的結構（而無結構的集合就沒有）的優勢，與群有關的構造必須與群運算兼容。下列概念中以各種方式表現了這種兼容性。例如，群可以通過叫做群同態的函數相互關聯。根據上述這個原理，要求它們以精確的意義照顧到群結構。群的結構還可以通過把它們分解成子群和商群來理解。「保持結構」的原理是在數學中反復出現的一個主題，它是靠範疇來工作的一個實例，在這裡的情況下靠群范疇。

群同態

群同態是保持群結構的映射。稱兩群之間的映射 <math>\varphi\colon\,G\to H</math> 為群同態，當且僅當

<math>\varphi(a\circ_G b)=\varphi(a)\circ_H\varphi(b)</math>

對 <math>G</math> 的所有元 <math>a,\,b</math> 均成立。上式同樣蘊含了 <math>\varphi(e_G)=e_H</math> 與 <math>\forall a\in G,\,\varphi(a^{-1})=\left[\varphi(a)\right]^{-1}</math>。因此說：群同態保持了群的所有結構。

兩群 <math>G,\,H</math> 被稱作同構的，當且僅當存在群同態 <math>\rho\colon\,G\to H,\,\sigma\colon\,H\to G</math>，使得 <math>\rho\sigma=\operatorname{id}_G,\,\sigma\rho=\operatorname{id}_H</math>，也就是説，其複合分別得到了 <math>G</math> 和 <math>H</math> 上的恆等變換，此時也記 <math>\sigma=\varphi^{-1}</math>。從抽象的觀點來看，同構的一類群攜帶了完全相同的信息，或者說，在「模去」群結構以外的性質後，所有同構的群可以視作唯一的單個對象。例如，對群 <math>G</math> 中的某個元 <math>a</math> 已經證實了 <math>aa=e_G </math>，如果另一群 <math>H</math> 由映射 <math>\varphi</math> 同構於該群，則相當於證明了 <math>\varphi(a)\varphi(a)=\varphi(e_G)=e_H</math>。

此外，一個群可以擁有非恆等變換的自同態或自同構，如果以映射為元，映射複合為群乘法，則任意群 <math>G</math> 擁有其自同態群和自同構群，分別記作 <math>\operatorname{End}G</math> 和 <math>\operatorname{Aut} G</math>。

子群

非正式地說，子群是包含在更大的群內的一個群。

具體而論，對群 <math>G</math> 與其子集 <math>H\subseteq G</math>，如果 <math>H</math> 對 <math>G</math> 的群乘法 <math>\circ_G</math> 和么元 <math>e_G\in H</math> 亦構成群，則稱 <math>H</math> 為 <math>G</math> 的一個子群，常記之為 <math>H\le G</math>。

可以證明，可通過以下判據校驗群 <math>G</math> 的子集 <math>H</math> 是否爲其子群：<math>H\le G\Leftrightarrow\forall g,\,h\in H,\,g^{-1}h\in H </math>。

前文所述的例子中，么元與旋轉構成其一個子群 <math>R=\left\{\operatorname{id},\,r_1,\,r_2,\,r_3\right\}</math>，在上面的表格中突出為紅色：任意兩個旋轉，其複合仍爲旋轉，且任意旋轉可被一個相反方向上的旋轉所抵消。

了解子群族對於作為一個整體來理解群是重要的。

給定群 <math>G</math> 的任意子集 <math>S\subseteq G</math>，稱由 <math>S</math> 生成的子群為 <math>\langle S\rangle=\left\{e,s_1s_2\cdots s_n\colon\,\forall i,\,s_i\in S\cup S^{-1}\right\}</math>，其中 <math>S^{-1}:=\left\{s^{-1}\colon\,s\in S\right\}</math>。這是包含 <math>S</math> 的 <math>G</math> 的最小子群，由 <math>S</math> 本身的元素與其逆元的所有可能的有限乘積組成。

同樣在前文所述的二面體群中存在例子：由 <math>\left\{r_2,\,f_v\right\}</math> 生成的子群為 <math>\left\{\operatorname{id},\,r_2,\,f_v,\,f_h=f_vr_2\right\}</math>。這一集合的確構成群，驗證時需要注意，在該群內有 <math>\forall a,a^2=\operatorname{id}</math>，這也意味著所有元都是自身的逆元，也就是説該群的方次數為 2，關於這一性質，見後文所述之階。

陪集

在很多情況下，需要認為兩個元是等同的，如果它們只相差一個給定子群中的元素。例如，在上述 <math>D_4</math> 中，一旦進行了翻轉，再只進行旋轉而不再進行翻轉，正方形就永遠不能回到 <math>r_2</math> 的構型，此時可以認爲，旋轉運算對於是否已經進行了翻轉的問題是無關緊要的。陪集可用來把這種現象形式化：子群 <math>H</math> 定義了左陪集和右陪集，它們可以認為是把 <math>H</math> 平移了一個任意群元素 <math>g</math>。用符號表示，<math>H</math> 的包含 <math>g</math> 的左和右陪集分別構成集合

<math>G/H=\left\{xH\colon\,x\in G\right\}</math> 與 <math>H\backslash G=\left\{Hx\colon\,x\in G\right\}</math>，

其中

左陪集 <math>gH=\left\{gh\colon\,h\in H\right\}</math>，右陪集 <math>Hg=\left\{hg\colon\,h\in H\right\}</math>。

同時也可以定義雙陪集為

<math>H\backslash G/K=\left\{HxK\colon\,x\in G,\,HxK=\left\{hxk\colon\,h\in H,\,k\in K\right\}\right\}</math>，

顯然，左右陪集為雙陪集之特例，取某一側子群為 <math>\{e\}</math> 即可。

任何子群 <math>H</math> 的陪集形成了 <math> G </math> 的一個劃分，換言之，

1. 對任兩個陪集 <math>HxK,\,HyK</math>，<math>HxK\cap HyK\neq\varnothing\Leftrightarrow HxK=HyK</math>，且
2. 取陪集所有元作無交並有 <math>G=\bigsqcup_{x}HxK</math>，其中每個 <math>x</math> 作爲每個陪集之代表元被選取。

考慮左右陪集。<math>H</math> 的左和右陪集可以相等也可以不相等。如果它們相等，就是說對於所有 <math>G</math> 中的 <math>g</math> 有 <math>gH=Hg</math>，則 <math>H</math> 被稱為正規子群。

在前面介紹的對稱群 <math>D_4</math> 中，由旋轉構成的子群 <math>R</math> 的左陪集 <math>gR</math>

1. 要麼等於 <math>R</math>，如果 <math>g\in R</math> ；
2. 要麼等於 <math>U=f_vR=\left\{f_v,\,f_d,\,f_h,\,f_c\right\}</math>（用綠色突出）。

此處的子群 <math>R</math> 還是對 <math>D_4</math> 正規的，因為有 <math>f_vR=U=Rf_v</math>，且對於任何 <math>f_v</math> 以外的元素也類似。

商群

有時，在由陪集形成的集合上可以賦予一個滿足群公理的運算，使之成為商群或因子群。這僅在子群正規時可行。給定任何對 <math> G</math> 正規的子群 <math>N</math>，定義由 <math>N</math> 決定的商群為

<math>(G/N,\,\circ)</math>，其中 <math>\circ\colon\,(xN,\,yN)\mapsto xyN </math>。

這個定義是由關聯任何元素 <math>g</math> 到它的陪集 <math>gN</math> 的映射 <math>G\to G/N</math> 是群同態的想法（自身是上面提出的一般結構性考慮的一個實例）所激發的，或者是叫做泛性質的一般抽象考慮。陪集 <math>eN=N</math>充當了這個群的單位元，在商群中 <math>gN</math> 的逆元是 <math>(gN)^{-1}=g^{-1}N</math>。

<math>\cdot</math>	<math>R</math>	<math>U</math>
<math>R</math>	<math>R</math>	<math>U</math>
<math>U</math>	<math>U</math>	<math>R</math>
商群 <math>D_4R</math> 的群表。

商群 <math>D_4/R</math> 的元素是代表單位元的 <math>R</math> 自身和 <math>U=f_vR</math>。商群上的群運算如右側所示。例如，<math>UU=(f_vR)(f_vR)=(f_vf_v)R=R </math>。子群 <math>R=\left\{\operatorname{id},\,r_1,\,r_2,\,r_3\right\}</math> 與其構造的商群 <math>D_4/R</math> 均交換，而 <math>D_4</math> 本身並不交換。通過較小的群構造較大的群，例如從子群 <math>R</math> 和商群 <math>D_4/R</math> 構造 <math>D_4</math>，被抽象為叫做半直積的概念。

商群和子群一起形成了用它的展示描述所有群的一種方法：任何群都是這個群的生成元上的自由群模以「關係」子群得到的商群。例如，二面體群 <math>D_4</math> 可以由兩個元素 <math>r</math> 和 <math>f</math> 生成（比如 <math>r=r_1</math> 右旋，和 <math>f=f_\mathrm{v}</math> 垂直，或任何其他翻轉），這意味著正方形的所有對稱變換都是這兩個對稱或它們的逆元的有限復合。與

<math>r^4=f^2=(rf)^2=1</math>

關係在一起，這個群就完全描述出來了。群的表示還可以被用來構造凱萊圖，它是一種利用圖形來輔助理解離散群的工具。

此外，子群與商群以下列方式聯係起來：<math>G</math> 之子集 <math>H</math> 可視作由單射 <math> H\rightarrowtail G</math> 構造，而 <math>G</math> 對正規子群 <math>N</math> 之商群 <math>G/N</math>，則由一個滿射，即典範同態 <math>\pi\colon G\twoheadrightarrow G/N</math> 匯出。需要指出，一般意義上的同態既不一定單，亦不一定滿。

共軛

如果同一個群中的兩個元素p 和q 滿足關係：p = x⁻¹qx，其中x 也是同一個群中的元素，則稱元素p 和q 共軛。共軛關係是一個等價關係，即它滿足三個性質：共軛是自反的、對稱的和傳遞的。

在群中可以找到一個集合，這個集合中每一個元素都相互共軛，而在這個集合以外群的其他部分已經沒有任何元素與他們具有共軛關係了。稱這種集合為群中的一個共軛類。同一個群的兩個類之間一定沒有共同的元素。群中一個元素一定屬於且僅屬於一個類。如果群中沒有元素與該元素共軛，則該元素自成一類。

階

群中元素個數稱為群G的階，記為|G| 子群的階能整除這個群的階

應用

群的例子和應用大量存在。起點是上面介紹過的整數的群 Z 帶有加法作為群運算。如果把加法替代為乘法，就得到了乘法群。這些群是抽象代數中重要概念的前身。

群應用於很多數學領域中。數學物件的性質經常是通過將群關聯與數學對象關聯，並研究相應的群的性質來研究的。例如，儒勒·昂利·龐加萊通過引入基本群創立了現在所謂的代數拓撲。通過這種連接方式，拓撲性質比如臨近和連續轉換成了群的性質。例如，右側的圖像描繪了平面減去一個點的基本群的元素。這個群的元素給出為在這個區域內的環路。藍色環路被認為是零同倫（因此是無關緊要的），因為它可以收縮為一個點。圓孔的存在防止了橙色環路被收縮。橙色環路（或任何環繞這個圓孔一次的其他環路）所生成的，去掉了一個點的平面的基本群是無限循環群。基本群以這種方式探測到了這個圓孔。

在更新近的應用中，影響已經被倒轉過來，由群論背景來激發幾何結構了。在類似的脈絡下，幾何群論採用了幾何概念，比如在雙曲群的研究中。其他一些大量應用群論的數學分支包括代數幾何和數論。例如，典型群和皮卡德群在代數幾何上有重要應用；參見

除了上述理論應用之外，還存在很多群的實踐應用。密碼學依賴於抽象群論方式和從計算群論中特別是實現於有限群上的時候所得到的算法知識的結合。群論的應用不限於數學；科學如物理、化學和計算機科學都受益於這個概念。

數

很多數系統，比如整數和有理數享有自然給予的群結構。在某些情況下比如對於有理數，加法和乘法運算二者都引發群結構。這種系統是叫做環和體的更一般的代數結構的前身。

整數

整數Z在加法下的群記為（Z, +），它在上面已經描述了。整數帶有用乘法替代加法的運算，(Z, ·)不形成群。閉合、結合律和單位元公理滿足，但逆元不存在：例如，a = 2是整數，但方程a·b = 1的唯一解在這種情況下是b = 1/2，它是有理數而非整數。因此不是所有Z的元素都有（乘法）逆元。

有理數

對乘法逆元存在的要求建議了考慮分式

<math>\frac{a}{b}</math>。

整數的分式（要求b非零）叫做有理數。所有這種分數的集合通常記為Q。對於有理數帶有乘法(Q,·),成為群仍有一個小障礙：因為有理數0沒有乘法逆元（就是說沒有x使得x·0 = 1），(Q, ·)仍然不是群。

但是，所有非零有理數的集合Q\{0} = {q ∈ Q, q ≠ 0}形成一個在乘法下的阿貝爾群，記為(Q\{0},·)。結合律和單位元公理從整數的性質中得出。閉合要求在去掉零之後仍成立，因為任何兩個非零有理數的乘積永遠不是零。最後，a/b的逆元是b/a，所以逆元公理也滿足。

有理數（包括0）在加法下也形成群。同時帶有加法和乘法運算產生更復雜的結構叫做環—如果同時除法總是可能的話（如在Q中）就是域，它在抽象代數中占據中心位置。群論理論因此位於這些實體的理論的底層部分。

非零整數模以素數

對於任何素數p，模算術提供了整數模以p的乘法群。群的元素是不能被p整除的整數模p的同餘類，就是說兩個數被認為是等價的如果它們的差被p整除。例如，如果p = 5，則精確地有四個群元素1, 2, 3, 4:排除了5的倍數而6和−4都等價於1。群運算給出為乘法。因此4·4 = 1，因為通常意義下的乘積16等價於1,而5整除16 − 1 = 15。以上事實記為

16 ≡ 1（mod 5）。

p的首要作用是確保了兩個都不被p整除的整數的乘積也不被p整除，因此指示的同餘類的集合在乘法下閉合。單位元如平常的乘法群一樣是1，而結合律可以從整數的相應性質得出。最後，逆元公理要求給定不整除於p的整數a，存在一個整數b使得

a · b ≡ 1（mod p），就是說p整除a·b − 1的差。

逆元b可以使用貝祖等式和最大公約數gcd(a, p)等於1的事實找到。在上述p = 5的情況下，4的逆元是4，3的逆元是2，因為3·2 = 6 ≡ 1 (mod 5)。所有的群公理都滿足。實際上，這個例子類似於上述（Q\{0},·），因為它是在有限域F_p中非零元素的乘法群，記為F_p^×。這些群對於公開密鑰加密是至關重要的。

循環群

File:Cyclic group.svg

單位一的六次複數根形成一個循環群。z是本原元而z²不是，因為z的奇數冪不是z²的冪。

循環群是其所有元素都是特定元素a的冪的群（在群運算被寫為加法的時候使用術語倍數）。在乘法符號下，群的元素是：

..., a⁻³, a⁻², a⁻¹, a⁰ = e, a, a², a³, ...,

這裡的a²意味著a·a，而a⁻³表示a⁻¹·a⁻¹·a⁻¹=(a·a·a)⁻¹等等。這個元素a叫做這個群的生成元或本原元。

這類群的典型例子是單位一的n次複數根，由滿足zⁿ = 1的複數z給出，其運算為乘法。任何有n個元素的循環群同構於這個群。使用某些域論，群F_p^×可以被證明為是循環群：對於p = 5, 3是生成元因為3¹ = 3, 3² = 9 ≡ 4, 3³ ≡ 2,而3⁴ ≡ 1。無限循環群同構於（Z, +），它是前面介紹的整數在加法下的群。因為這兩個原型都是阿貝爾群，所以任何循環群都是。

阿貝爾群包括有限生成阿貝爾群的基本定理的研究是非常成熟的；對這個事態的反映是很多有關群論的概念，比如中心和交換子，描述了一個給定群不是阿貝爾群的程度。

對稱群

對稱群是由給定數學對象的對稱組成的群，對稱源於它們的幾何本性（比如前面介紹的正方形的對稱群）或源於代數本性（比如多項式方程和它們的解）。概念上說，群論可以被認為是對稱性的研究。 數學中的對稱性極大的簡化了幾何或分析對象的研究。群被稱為作用於另一個數學對象X上，如果所有群元素進行某個在X上的運算兼容於群定律。在下面最右側例子中，7階的（2,3,7）三角群的一個元素通過置換突出的彎曲的三角形作用在鑲嵌上（其他的元素也是）。通過群作用，群模式被連接到了所作用到的對象的結構上。

File:Sixteenth stellation of icosahedron.png

旋轉和翻轉形成一個大二十面體的對稱群。

在化學領域中，比如晶體學、空間群和點群描述分子對稱性和晶體對稱性。這些對稱性位於這些系統的化學和物理表現的底層，而群論使簡化對這些性質的量子力學分析成為可能。例如，群論被用來證實在特定量子級別間不出現光學躍遷簡單的因為涉及到了狀態的對稱性。

群不只對評定在分子中蘊含的對稱性有用，而且令人驚奇的它們還可以預測出分子的對稱性有時候可以改變。姜-泰勒效應是高對稱的分子的變形，此時，在通過分子的對稱運算相互關聯的一組可能基態中，該分子將採納一個特定的低對稱的基態。

同樣的，群論還可以幫助預測在物質經歷相變的時候出現的物理性質的變更，比如晶體形式從立方體變為四面體。一個例子是鐵電物質，這裡從順電到鐵電狀態的變更出現在居里溫度時，與從高對稱順電狀態到低對稱鐵電狀態的變更有關，並伴隨著所謂的軟聲子模式，它是在變化時轉到零頻率的振動晶格模式。

這種自發對稱性破缺在基本粒子物理中找到了進一步應用，這裡它的出現與戈德斯通玻色子的出現有關。

File:C60a.png	File:Ammonia-3D-balls-A.png	File:Cubane-3D-balls.png	File:Hexaaquacopper(II)-3D-balls.png	File:Uniform tiling 73-t2 colored.png
富勒烯展現了二十面體對稱。	氨NH3。它的對稱群是6階的，用120°旋轉和反射生成的。	立方烷C8H8刻畫了八面體對稱。	六水合銅（II）配合物[Cu(OH2)6]2+。相較於完美的對稱形狀，分子垂直膨脹大約22%（姜-泰勒效應）。	（2,3,7）三角群是雙曲群，它作用在這個雙曲面的鑲嵌上。

有限對稱群比如馬蒂厄群被用於編碼理論中，它又用於傳輸數據的糾錯和CD播放器中。另一個應用是微分伽羅瓦理論，它刻畫有已知形式的不定積分的函數，給出何時特定微分方程的解有良好表現的群論判定標準。在群作用下保持穩定的幾何性質在幾何不變量理論中研究。

一般線性群和表示理論

File:Matrix multiplication.svg

兩個向量（左側展示），和它們乘以矩陣之後（中間和右側展示）。中間的表示了順時針旋轉90°，而右側的再按因子2伸縮了x坐標。

矩陣群由矩陣加上矩陣乘法一起構成。一般線性群GL(n, R)由所有可逆的n乘n的帶有實數元素的矩陣構成。它的子群被稱為矩陣群或線性群。上面提及的二面體群例子可以被看作（非常小的）矩陣群。另一個重要矩陣群是特殊正交群SO(n)。它描述了n維的所有可能旋轉。通過歐拉角，旋轉矩陣被用於計算機圖形學中。

表示理論是對群概念的應用並且對深入理解群是很重要的。它通過群作用於其他空間來研究群。一類廣泛的群表示是線性表示，就是說群作用在線性空間中，比如三維歐幾里得空間R³。G在n-維實向量空間上的表示簡單的是從群到一般線性群的群同態

ρ: G → GL(n, R)。

以這種方式，抽象給出的群運算被轉換成用明確的計算可觸及到的矩陣乘法。

給定一個群作用，這給出了研究所作用的對象的進一步方法。在另一方面，它還產生了關於群的信息。群表示是在有限群、李群、代數群和拓撲群特別是（局部）緊群理論中的起組織作用的原則。

伽羅瓦群

伽羅瓦群是通過對求解多項式方程的過程中涉及到的對稱性的研究而被發展起來的。例如，二次方程ax² + bx + c = 0的解給出為

<math>x = \frac{-b \pm \sqrt {b^2-4ac}}{2a}</math>。

對換表達式中的"+"和"−"，也就是置換方程的兩個解可以被看作（非常簡單的）群運算。類似的公式對於三次方程和四次方程也有，但是對於五次方程和更高次的方程就不普遍性的存在。與多項式相關聯的伽羅瓦群的抽象性質（特別是它們的可解性）給出了那些多項式的所有解都可用根式表達的判定標準，就是說這些解可以類似上面公式那樣只使用加法、乘法和方根來表達。

這個問題可以使用域論來處理：考慮一個多項式的分裂域就把問題轉移到了域論的領域中了。現代伽羅瓦理論把上述類型的伽羅瓦群推廣到了域擴張，並通過伽羅瓦理論基本定理建立了在體和群之間的嚴格關聯，再次凸顯了群在數學中無所不在。

有限群

一個群被稱為有限群，如果它有有限個元素。元素的數目叫做群G的階。一類重要的有限群是n次對稱群S_N，它是N個字母的置換的群。例如，在3個字母上的n次對稱群S₃是由三個字母ABC的所有可能置換構成的群，就是說它包含元素ABC, ACB, ...,直到CBA，總共有6（或3的階乘）個元素。這類群是基礎性的，因為任何有限群都可以表達為n次對稱群S_N在適合的整數N下的子群（凱萊定理）。相似於上述正方形的對稱的群，S₃還可以解釋為等邊三角形的對稱的群。

在群G中的一個元素a的階是最小的使得aⁿ = e的正整數n，這裡的 aⁿ表示<math>\underbrace{a \cdot \ldots \cdot a}_n</math>，就是應用運算·於a的n個復本上。（如果·代表乘法則aⁿ對應於a的n次冪）。在無限群中，這個n可能不存在，在這種情況下a的階被稱為無限的。一個元素的階等於這個元素生成的循環子群的階。

更復雜的計數技術例如計數陪集，產生關於有限群的更精確陳述：拉格朗日定理聲稱有限群G的任何有限子群H的階整除G的階。西羅定理證明了它的部分逆命題。

上面討論的二面體群是8階有限群。r₁的階為4，這是它生成的子群R（見上）的階。反射元素f_v等的階是2。如拉格朗日定理所述這兩個階都整除8。上面的群F_p^×有階p − 1。

有限單群分類

數學家們常常為尋求一種數學對象的完備的分類（或列表）而努力。並且這種分類是十分有用的: 如果有限群有一個完備的列表, 假設我們需要證明定理P時, 如果可以一步一步證明定理對列表中給出的群成立, 那我們即可證明定理P在有限群的領域內成立。這個目標迅速引出了一系列困難而意義深遠的數學問題。
根據拉格朗日定理，p階有限群（p為素數）必定是循環（阿貝爾群）群Z_p。
p²階群也被證明是阿貝爾群。但這一命題並不能推廣到p³階群，如上面的非阿貝爾群——8階二面體群 <math>\mathrm{D}_4</math> 所示，其中 8 = 2³。可以利用計算機代數系統來給較小的群列表，但沒有對一切有限群的分類。 一個中間步驟是有限單群分類。如果一個非平凡群僅有的正規子群是平凡群和它自身，那麼這個群叫做一個單群或簡單群。合成列說明單群可以作為建構有限群的「磚塊」。 有限單群分類是當代群論的一個主要成就。1998年的菲爾茲獎得主理察·博赫茲成功地證明了怪獸月光理論。該猜想指出了有限單群中分類中的最大的散在群——「怪獸群」與一種來自經典複分析和弦理論（一種被認為統一了對許多物理學現象的描述的理論）的對象模函數之間的驚人而深刻的聯繫。

帶有額外結構的群

很多群同時是群和其他數學結構的例子。用范疇論的語言來說，它們是在范疇中的「群」物件，這意味著它們是帶著模仿群公理的（叫做態射的）變換的對象（可以是其他代數/數學結構）。例如，所有群（如上面定義的）也是一個集合，所以群是在集合范疇中的群物件。

拓撲群

File:Circle as Lie group2.svg

在複平面中的單位圓在複數乘法下是李群，所以是拓撲群。它是拓撲的因為複數乘法和除法是連續的。它是流形並因此是李群，因為所有小段比如在圖中的紅色圓弧，看起來像（顯示在底下的）實數線的一部分。

某些拓撲空間可以配備上群結構。為了讓群公理與拓撲交織良好，群運算必須是連續函數，就是說如果g和h只變化很小，那麼g·h,和g⁻¹必須變化不大。這種群叫做拓撲群，並且它們是在拓撲空間范疇內的群對象。最基本的例子是實數R在加法之下(R\{0},·)，任何其他拓撲體比如複數或p進數也是類似。所有這些群都是局部緊拓撲群，所以它們有哈爾測度並可以通過調和分析來研究。前者提供了不變積分的抽象形式化。以實數情況為例，不變性意味著有：

<math>\int f(x)\,dx = \int f(x+c)\,dx</math>

對於任何常數c成立。在這些體上的矩陣群也屬於這種結構下，賦值向量環和賦值向量代數群也是如此，它們對數論是基礎性的。無限域擴張的伽羅瓦群比如絕對伽羅瓦群也可以配備上拓撲，叫做Krull拓撲，它又是推廣上面概述的體和群的連接到無限域擴張的中心概念。適應代數幾何需要的這個想法的高級推廣是étale基本群。

李群

李群（為紀念索菲斯·李而命名）是具有流形結構的群，就是說它們是局部上看起來像某個適當維度的歐幾里得空間的空間。這裡，作為額外結構的流形結構也必須是兼容的，就是說對應於乘法和求逆的映射必須是光滑的。

標準例子是上面介紹的一般線性群：它是所有<math>n \times n</math>矩陣的空間的開子集，因為它由不等式

det (A) ≠ 0，

給出。這裡的A指示<math>n \times n</math>矩陣。

李群在物理中是基礎性的：諾特定理把連續對稱與守恆定律關聯起來。在空間和時間中旋轉和平移不變性是力學定律的基本對稱。它們可以被用來構造簡單的模型——比如在一種狀況下實施軸對稱常常會導致在解用來提供物理描述的方程上的重大簡化。另一個例子是勞侖茲變換，它有關於兩個相互運動的觀察者的時間和速度的測量。它們可以用純群論方式推演，通過把變換表達為閔可夫斯基時空的旋轉對稱。在忽略萬有引力的情況下，後者充當了狹義相對論的時空模型。閔可夫斯基時空的完全對稱群，就是說包括了平移，叫做龐加萊群。通過上述聯繫，它在狹義相對論中扮演了關鍵角色，並隱含地用於量子場論。 隨位置變化的對稱與規范場論一起構成現代物理對相互作用的描述的中心。

推廣

類似群的結構
	完全性	結合律	單位元	除法
群	是	是	是	是
么半群	是	是	是	否
半群	是	是	否	否
環群	是	否	是	是
擬群	是	否	否	是
原群	是	否	否	否
廣群	否	是	是	是
範疇	否	是	是	否

在抽象代數中，通過放鬆定義群的某個公理可定義出更多的一般結構。例如，如果省略所有元素都逆元的要求，結果的代數結構就叫做么半群。自然數集N（包括0）在加法下形成了么半群，還有非零整數在乘法下(Z\{0},·)也是。有一種一般方法用來向任何（阿貝爾的）么半群正式的增加元素的逆元，非常類似於從(Z\{0},·)得出(Q\{0},·)的方式，這叫做格羅滕迪克群。廣群非常類似於群，除了復合a · b不必須在所有的a和b上有定義之外。它們由更加復雜形式的對稱的研究所引發，常見於拓撲和分析結構比如基本廣群中。表格給出一些推廣群的結構。

參見

• 子群
• 群子集的乘積
• 正規子群
• 同構基本定理
• 有限群
• 中心化子和正規化子
• 拉格朗日定理
• 可解群
• 冪零群
• 半群
• 舒爾正交關係

注釋

^  a:  《數學評論》列出了3,224篇2005年寫的關於群論和它的應用的研究論文。

^  b:  閉合公理已經由·是二元運算的條件所蘊含。因此有些作者省略這個公理。Lang 2002。

^  c:  比如參見Lang (2002, 2005)和Herstein (1996, 1975)的書。

^  d:  但是一個群不由它的子群的格所決定。參見Suzuki 1951。

^  e:  群運算的這麼規范的擴展是泛性質的實例。

^  f:  例如，依據拉格朗日定理，如果G是有限的，則任何子群和任何商群的大小整除G的大小。

^  g:  詞同態演化自希臘語ὁμός—相同和μορφή—結構。

^  h:  循環群的加法符號是t·a, t ∈ Z。

^  i:  例子參見塞弗特－范坎彭定理。

^  j:  一個例子是群的群上同調，它等於它的分類空間的單同調。

^  k:  有乘法逆元的元素叫做可逆元，參見Lang 2002, §II.1, p. 84。

^  l:  通過增加分數的從整數到有理數的轉變推廣為分式體。

^  m:  用任何體F替代Q同樣是真的。參見Lang 2005, §III.1, p. 86。

^  n:  例如，體的乘法群的有限子群必然是循環群。參見Lang 2002, Theorem IV.1.9。模和單純代數的撓概念是這個原理的另一個實例。

^  o:  陳述的性質是素數的一個可能定義。參見素元。

^  p:  例如，迪菲-赫爾曼密鑰交換協議使用離散對數。

^  q:  階不超過2000的群是已知的。這些群在同構意義下約有490億個。參見Besche, Eick & O'Brien 2001.

^  r:  在單群和一般群分類之間的缺口在於擴張問題，一個很難一般性求解的問題。參見Aschbacher 2004, p. 737.

^  s:  等價地說，一個非平凡群是單群若且唯若它僅有的商群是平凡群和自身。參見Michler 2006, Carter 1989.

^  t:  更嚴格的說，所有群都是某個圖的對稱群，參見Frucht 1939。

^  u:  更精確地說，monodromy作用在要考慮的微分方程的解的向量空間上。參見Kuga 1993, pp. 105–113。

^  v:  例如參見史瓦西度規，這裡的對稱極大的減小了物理系統的復雜性。

^  w:  例如，這是有限簡單群的分類的關鍵。參見Aschbacher 2004。

^  x:  例如，群作用在單模上的效果的Schur引理。更加復雜的例子是絕對伽羅瓦群作用在平展上同調上。

^  y:  單射和滿射分別對應於單同態和滿同態。在傳給對偶范疇的時候它們是可互換的。

引用

一般引用

• , Chapter 2 contains an undergraduate-level exposition of the notions covered in this article.
• , Chapter 5 provides a layman-accessible explanation of groups.
• .
• , an elementary introduction.
• .
• .
• .
• .
• .
• .
• .
• 《代數學引論》第二版ISBN 7-04-008893-2聶靈沼、丁石孫著，高等教育出版社出版

專門引用

• .
• .
• .
• .
• .
• .
• .
• .
• （法文） .
• .
• .
• （德文） .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .

歷史引用

• .
• .
• （德文） .
• （法文） (Galois work was first published by Joseph Liouville in 1843).
• （法文） .
• .
• （德文） .
• .
• .

外部連結

• Template:Cite web
• Group （頁面存檔備份，存於網際網路檔案館） at PlanetMath.
• The development of group theory （頁面存檔備份，存於網際網路檔案館） at The MacTutor History of Mathematics archive.