在數學中，群（group）是由一種配備二元運算的代數結構，其二元運算有結合律、單位元素和反元素。很多常用的數學結構都是群，如整數系配備上加法就形成一個群。

群的定義為眾多代數結構所共有，這使人們可以從不同的代數結構簡潔地歸納出普遍的結果，這使得群成為當代數學的核心概念。

很多自然界的變換（如平移、鏡射）都符合群的定義，所以研究某群變換下保持不變的某種性質 —— 也就是對稱性，和群有密切的聯繫。例如，在對稱群裡的哪些變換下，面積或角度會保持不變，就是描述立體幾何的對稱性。



歷史

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

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

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

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

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



正式定義

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

的話，稱 $(G,\ \circ )$ 是一個群。當其配備的二元運算 $\circ $ 不是那麼重要時， $(G,\ \circ )$ 也常常簡記為 $G$ 。

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

等價的定義

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

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

以下是證明：

假設 $e\in G$ 對所有 $g\in G$ 有「 $e\circ g=g$ 」，且「存在 $\gamma \in G$ 使 $\gamma \circ g=e$ 」。因為 $g\circ \gamma \in G$ ，所以根據假設存在 $\Gamma \in G$ 滿足

　
: $\Gamma \circ (g\circ \gamma )=e$

所以根據結合律和假設有

$$
{\begin{aligned}e&=\Gamma \circ (g\circ \gamma )\\&=\Gamma \circ [\,g\circ (e\circ \gamma )\,]\\&=\Gamma \circ \{\,g\circ [\,(\gamma \circ g)\circ \gamma \,]\,\}\\&=\Gamma \circ \{\,g\circ [\,\gamma \circ (g\circ \gamma )\,]\,\}\\&=\Gamma \circ [\,(g\circ \gamma )\circ (g\circ \gamma )\,]\\&=[\,\Gamma \circ (g\circ \gamma )\,]\circ (g\circ \gamma )\\&=e\circ (g\circ \gamma )\\&=g\circ \gamma \end{aligned}}
$$

所以左反元素必為右反元素，這樣根據結合律有

　
: ${\begin{aligned}g\circ e&=g\circ (\gamma \circ g)\\&=(g\circ \gamma )\circ g\\&=e\circ g\end{aligned}}$

所以左單位元素必為右單位元素。

類似地，假設 $i\in G$ 對所有 $g\in G$ 有「 $g\circ i=g$ 」，且「存在 ${\overline {\gamma }}\in G$ 使 $g\circ \gamma =i$ 」。因為 ${\overline {\gamma }}\circ g\in G$ ，所以根據假設存在 ${\overline {\Gamma }}\in G$ 滿足

　
: $({\overline {\gamma }}\circ g)\circ {\overline {\Gamma }}=i$

所以根據結合律和假設有

$$
{\begin{aligned}i&=({\overline {\gamma }}\circ g)\circ {\overline {\Gamma }}\\&=[\,({\overline {\gamma }}\circ E)\circ g\,]\circ {\overline {\Gamma }}\\&=\{\,[\,{\overline {\gamma }}\circ (g\circ {\overline {\gamma }})\,]\circ g\,\}\circ {\overline {\Gamma }}\\&=\{\,[\,({\overline {\gamma }}\circ g)\circ {\overline {\gamma }}\,]\circ g\,\}\circ {\overline {\Gamma }}\\&=[\,({\overline {\gamma }}\circ g)\circ ({\overline {\gamma }}\circ g)\,]\circ {\overline {\Gamma }}\\&=({\overline {\gamma }}\circ g)\circ [\,({\overline {\gamma }}\circ g)\circ {\overline {\Gamma }}\,]\\&=({\overline {\gamma }}\circ g)\circ i\\&={\overline {\gamma }}\circ g\end{aligned}}
$$

所以右反元素也為左反元素。這樣根據結合律有

　
: ${\begin{aligned}i\circ g&=(g\circ {\overline {\gamma }})\circ g\\&=g\circ ({\overline {\gamma }}\circ g)\\&=g\circ i\end{aligned}}$

所以右單位元素必為左單位元素。

再考慮到淡藍色是要求 $e\in G$ 同時為左右單位元素且存在左右反元素，這樣就證明以上三種定義在有結合律的前提下等價。



舉例

整數加法群

整數系 $\mathbb {Z} $ 是由所有整數所組成：

　
: ..., −4, −3, −2, −1, 0, 1, 2, 3, 4, ...

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

1. 對於任何兩個整數 _a_ 和 _b_，它們的和 _a_ + _b_ 也是整數，所以整數加法的確是個二元運算。
2. 對於任何整數 _a_, _b_ 和 _c_，(_a_ + _b_) + _c_ = _a_ +（_b_ + _c_）。也就是說，先把 _a_ 加到 _b_，然後把它們的和加到 _c_，所得到的結果與把 _a_ 加到 _b_ 與 _c_ 的和是相等的。
3. 如果 _a_ 是任何整數，那麼 0 + _a_ = _a_ + 0 = _a_。所以 0 是整數加法的單位元素，而且對所有 _a_ 都存在另一個整數 - a，使的 _a_ + _(-a)_ = -a + _a_ = 0。

實數乘法群

實數集去除 0 即 R# 是在乘法 '\*' 下的群。

　
: A1: 任何兩個 R# 的元素相乘產生 R# 的另一個元素。

　
: A2: (_a_\*_b_)\*_c_ = _a_\*(_b_\*_c_)。

　
: A3: _a_\*1 = _a_。因此 1 指示單位元素。

　
: A4: _a_-1\*_a_ = 1。因此 _a_-1 指示反元素。

二面體群

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

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

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

如果取

　
: $D_{4}=\left\{id,\,\,r_{1},\,r_{2},\,r_{3},\,f_{v},\,f_{h},\,f_{d},\,f_{c}\right\}$

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



基本性質

單位元素的唯一性

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

　
: $g=e\circ g=g\circ e$

　
: $g=e^{\prime }\circ g=g\circ e^{\prime }$

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

　
: $e^{\prime }=e\circ e^{\prime }=e^{\prime }\circ e$

　
: $e=e^{\prime }\circ e=e\circ e^{\prime }$

所以

　
: $e^{\prime }=e$

所以群的單位元素是唯一的，這樣可以添加三元函數符號 $e_{(G,\,\circ )}$ 和與以下的新公理（以下的合式公式 ${\mathcal {B}}$ 是 「 $\circ $ 是 $G$ 上的一個二元運算，且存在 $\circ $ 的單位元素」的正式邏輯表述）

　
: $[\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)]$

這條公理直觀上表示，只要「 $\circ $ 是 $G$ 上的一個二元運算，且存在 $\circ $ 的單位元素」，就可以用 $e_{(G,\,\circ )}$ 這個符號簡記 「 _$\left(G,\,\circ \right)$_ 上的那個唯一單位元素」，否則取 $e_{(G,\,\circ )}$ 為空集。

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

反元素的唯一性

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

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

　
: $e_{G}=g\circ \gamma =\gamma \circ g$

　
: $e_{G}=g\circ \gamma ^{\prime }=\gamma ^{\prime }\circ g$

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

　
: ${\begin{aligned}{\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{aligned}}$

所以任意 _$g\in G$_ 只有一個反元素。這樣的話，仿造上一小節，可以添加一個三元函數符號 ${g^{-1}}_{(G,\,\circ )}$ 和與以下的新公理（以下的合式公式 ${\mathcal {D}}$ 是 「 _$\left(G,\,\circ \right)$_ 為一群，且 _$g\in G$_ 」的正式邏輯表述）

　
: $[\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})]$

這條公理直觀上表示，只要「 _$\left(G,\,\circ \right)$_ 為一群，且 _$g\in G$_ 」，就可以用 ${g^{-1}}_{(G,\,\circ )}$ 簡記 「 _$g$_ 在 _$\left(G,\,\circ \right)$_ 上對應的那個唯一反元素」，否則取 ${g^{-1}}_{(G,\,\circ )}$ 為空集。

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

群的冪

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

　
: $g^{0}:=e$ （單位元素視為 $0$ 次方）

　
: $g^{1}:=g$

　
: 對所有的整數 $n\in \mathbb {Z} $ ， $g^{n+1}:=g^{n}\circ g$

　
: 對所有的整數 $n\in \mathbb {Z} $ ， $g^{n-1}:=g^{n}\circ g^{-1}$

除法與減法

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

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

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



基本概念

　
: 下列章節使用了數學符號如 _X_ = { _x_, _y_, _z_ } 來表示集合 _X_ 包含元素 _x_、_y_ 和 _z_，或 $x\in X$ 來表示 _x_ 是 _X_ 的一個元素。記法 $f:X\to Y$ 意味著 _f_ 是對 _X_ 的所有元素指定 _Y_ 的一個元素的函數。

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

群同態

群同態是保持群結構的函數。兩個群之間的函數 _a_: _G_ → _H_
是同態，如果等式

　
:

_a_(_g_·_k_) = _a_(_g_)·_a_(_k_)
對於所有 _G_ 中的元素 _g_、_k_ 都成立，就是說在進行映射 _a_ 之後還是之前進行群運算所得到的結果是一樣的。這個要求保證了 _a_(eG) = eH，以及對於 _G_ 中的所有 _g_，都有 _a_(_g_)−1 = _a_(_g_−1)
。因此群同態保持了群公理提供的 _G_ 的所有結構。

兩個群 _G_ 和 _H_ 被稱為同構的，如果存在群同態 _a_: _G_ → _H_
和 _b_: _H_ → _G_
，使得先後（以兩種可能的次序中每個次序）應用兩個函數分別等於 _G_ 和 _H_ 的恆等函數。就是說，對於任何 _G_ 中的 _g_ 和 _H_ 中 _h_，有 _a_(_b_(_h_)) = _h_
和 _b_(_a_(_g_)) = _g_
。從抽象的觀點來看，同構的群攜帶了相同的訊息。例如，證明對於 _G_ 的某個元素 _g_ 有 _g_·_g_ = eG，等價於證明 _a_(_g_)·_a_(_g_) = eH，因為應用 _a_ 於第一個等式得到第二個，而應用 _b_ 於第二個得到第一個。

子群

非正式的說，子群是包含在更大的群 _G_ 內的一個群 _H_。具體的說，_G_ 的單位元素包含在 _H_ 中，並且只要 _h_1 和 _h_2 在 _H_ 中，則 _h_1· _h_2 和 _h_1−1 也在其中，所以 _H_ 的元素對於限制於 _H_ 的 _G_ 上的群運算確實形成了一個群。

在上面例子中，單位元素和旋轉構成了一個子群 _R_ = {id, r1, r2, r3}
，在上面的群表中突出為紅色：任何兩個復合的旋轉仍是一個旋轉，並且旋轉可以被相反方向上的旋轉（它的反元素）所抵消。子群檢定法是群 _G_ 的子集 _H_ 是子群的充分必要條件：對於所有元素 _g_, _h_ ∈ _H_
，只需檢查 _g_−1_h_ ∈ _H_。了解子群族對於作為一個整體來理解群是重要的。

給定群 _G_ 的任何子集 _S_，由 _S_ 所生成的子群是由 _S_ 的元素和它們的反元素的乘積組成。它是包含 _S_ 的 _G_ 的最小子群。在上面介紹例子中，r2 和 fv 所生成的子群由這兩個元素本身、單位元素 id 和 fh = fv·r2 構成。這還是個群，因為結合這四個元素或它們的反元素（在這個特殊情況下，是這些相同的元素）中任何兩個仍得到這個子群中的元素。

循環群

設 $(G,*)$ 為一個群，若 $G$ 裡面存在元素 $g$ ，使

　
: $G=\left\{a{\big |}(\exists k\in \mathbb {Z} )(a=g^{k})\right\}$

則稱 $(G,*)$ 為一個循環群。

陪集

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

　
: _gH_ = {_gh_, $h\in H$ } 和 _Hg_ = {_hg_, $h\in H$ }。

任何子群 _H_ 的陪集形成了 _G_ 的一個劃分；就是說所有左陪集的聯集與 _G_ 相等，而且兩個陪集要麼相等，要麼有空的交集。第一種情況 _g_1_H_ = _g_2_H_
出現若且唯若 _g_1−1_g_2 ∈ _H_，就是說如果這兩個元素差異了 _H_ 的一個元素。類似的考慮也適用於 _H_ 的右陪集。_H_ 的左和右陪集可以相等也可以不相等。如果它們相等，就是說對於所有 _G_ 中的 _g_ 有 _gH_ = _Hg_，則 _H_ 被稱為正規子群。

在前面介紹的對稱群 D4 中，由旋轉構成的子群 _R_ 的左陪集 _gR_ 要麼等於 _R_，如果 _g_ 是 _R_ 自身的一個元素；要麼等於 _U_ = fv_R_ = {fv, fd, fh, fc}
（用綠色突出）。子群 _R_ 還是正規的，因為 fv_R_ = _U_ = _R_fv 且對於任何 fv 以外的元素也是類似的。

商群

有時在由陪集形成的集合上可以賦予一個滿足群公理的運算而使之成為_商群_或_因子群_。這僅在子群是正規的時候才可行。給定任何正規子群 _N_，商群定義為

　
: _G_ / _N_ = {_gN_, $g\in G$ }，「 $G$ 模 $N$ 」

這個集合從最初的群 _G_ 繼承了一個群運算（有時叫做陪集乘法或陪集加法）：對於所有 _G_ 中的 _g_ 和 _h_，
(_gN_)· (_hN_) =（_gh_）_N_
。這個定義是由關聯任何元素 _g_ 到它的陪集 _gN_ 的映射 _G_ → _G_ / _N_ 是群同態的想法（自身是上面提出的一般結構性考慮的一個實例）所激發的，或者是叫做泛性質的一般抽象考慮。陪集 _eN_ = _N_
充當了這個群的單位元素，在商群中 _gN_ 的反元素是 (_gN_)−1 =（_g_−1）_N_。

商群 D4 / _R_ 的元素是代表單位元素的 _R_ 自身和 _U_ = fv_R_
。商群上的群運算如右側所示。例如，_U_·_U_ = fv_R_·fv_R_ =（fv·fv）_R_ = _R_
。子群 _R_ = {id, r1, r2, r3}
和對應的商群都是阿貝爾群，而 D4 不是阿貝爾群。通過較小的群構造較大的群，例如從子群 _R_ 和商群 D4 / _R_ 構造 D4，被抽象為叫做半直積的概念。

商群和子群一起形成了用它的展示描述所有群的一種方法：任何群都是這個群的生成元上的自由群模以「關係」子群得到的商群。例如，二面體群 D4 可以由兩個元素 _r_ 和 _f_ 生成（比如 _r_ = r1 右旋，和 _f_ = fv 垂直）或任何其他）翻轉），這意味著正方形的所有對稱都是這兩個對稱或它們的反元素的有限復合。與關係在一起

　
: _r_ 4 = _f_ 2 = (_rf_ )2 = 1,

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

子群和商群以下列方式相互關聯：_G_ 的子集 _H_ 可以被看作單射 _H_ → _G_，就是說任何目標元素都有最多一個映射到它的元素。單射的對立是滿射（所有目標的元素都被映射到了），比如規范映射 _G_ → _G_ / _N_。通過這些同態理解子群和商群強調了這些定義中內在的結構性概念。一般的說，同態既不是單射也不是滿射。群同態的核與像和第一同構定理研究這個現象。

共軛

如果同一個群中的兩個元素 _p_ 和 _q_ 滿足關係：_p = x−1qx_，其中 _x_ 也是同一個群中的元素，則稱元素 _p_ 和 _q_ 共軛。共軛關係是一個等價關係，即它滿足三個性質：共軛是自反的、對稱的和遞移的。

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

階

群中元素個數稱為群 _G_ 的_階_，記為 |_G_|

子群的階能整除這個群的階



應用

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

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

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

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

數

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

整數

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

有理數

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

　
: ${\frac {a}{b}}$ 。

整數的分式（要求 _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},・），因為它是在有限體 Fp 中非零元素的乘法群，記為 Fp×。這些群對於公開密鑰加密是至關重要的。

循環群

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

　
: ..., _a_−3, _a_−2, _a_−1, _a_0 = _e_, _a_, _a_2, _a_3, ...,

這裡的 _a_2 意味著 _a_·_a_，而 _a−3_ 表示 _a_−1·_a_−1·_a_−1=(_a_·_a_·_a_)−1 等等。這個元素 _a_ 叫做這個群的生成元或本原元。

這類群的典型例子是單位一的 _n_ 次複數根，由滿足 _z_n = 1
的複數 _z_ 給出，其運算為乘法。任何有 _n_ 個元素的循環群同構於這個群。使用某些體論，群 Fp× 可以被證明為是循環群：對於 _p_ = 5,
 3 是生成元因為 31 = 3,

32 = 9 ≡ 4,

33 ≡ 2,
而 34 ≡ 1
。無限循環群同構於（Z, +），它是前面介紹的整數在加法下的群。因為這兩個原型都是阿貝爾群，所以任何循環群都是。

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

對稱群

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

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

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

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

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

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

一般線性群和表示理論

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

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

　
: _ρ_: _G_ → _GL_(_n_, R)。

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

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

伽羅瓦群

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

　
: $x={\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}$ 。

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

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



有限群

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

在群 _G_ 中的一個元素 _a_ 的階是最小的使得 _an = e_ 的正整數 _n_，這裡的 _an_ 表示 $\underbrace {a\cdot \ldots \cdot a} _{n}$ ，就是應用運算・於 _a_ 的 _n_ 個復本上。（如果・代表乘法則 _a_n 對應於 _a_ 的 _n_ 次冪）。在無限群中，這個 _n_ 可能不存在，在這種情況下 _a_ 的階被稱為無限的。一個元素的階等於這個元素生成的循環子群的階。

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

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

有限單純群分類

數學家們常常為尋求一種數學物件的完備分類（或列表）而努力。在有限群的領域內，這個目標迅速引出了一系列困難而意義深遠的數學問題。根據拉格朗日定理，p 階有限群（p 為質數）必定是循環（阿貝爾）群 Zp。_p_2 階群也被證明是阿貝爾群。但這一命題並不能推廣到 _p_3 階群，如上面的非阿貝爾群 ——8 階二面體群 D4 所示，其中 8 = 23。可以利用計算機代數系統來給較小的群列表，但沒有對一切有限群的分類。一個中間步驟是有限單純群分類。如果一個非平凡群僅有的正規子群是平凡群和它自身，那麼這個群叫做一個單純群或簡單純群。若爾當 - 赫爾德定理說明單純群可以作為建構有限群的「磚塊」。 有限單純群列表是當代群論的一個主要成就。1998 年的菲爾茲獎得主理查・伯切德斯成功地證明了所謂怪獸 - 胡言亂語猜想。該猜想指出了最大有限簡單散在群 ——「怪獸群」與一種來自經典複分析和弦理論（一種被認為統一了對許多物理學現象的描述的理論）的物件模函數之間的驚人而深刻的聯繫。



帶有額外結構的群

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

拓撲群

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

　
: $\int f(x)\,dx=\int f(x+c)\,dx$

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

李群

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

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

　
: det (_A_) ≠ 0，

給出。這裡的 _A_ 指示 $n\times n$ 矩陣。

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



推廣

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



參見



注釋

引文



引用



外部連結


* 埃里克・韋斯坦因. Group. MathWorld.

* Group （頁面存檔備份，存於網際網路檔案館） at PlanetMath.

* The development of group theory （頁面存檔備份，存於網際網路檔案館） at _The MacTutor History of Mathematics archive_.