与「**群**」標題相近或相同的条目页，請見「**群 (消歧義)**」。
  此條目介紹的是基本概念。关于的主題，请见「**群論**」。
魔方的所有可能重新排列形成一個群，叫做魔方群。

在數學中，**群**（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年举办的"群论年"活动促使群论家们以丹尼尔·戈伦斯坦，约翰·格里格斯·汤普森和瓦爾特·法伊特为基础展开合作。在大量其他数学家的帮助下，他们完成了有限单群的分类。这项工程，不论是从证明长度来说还是从参与人数来说，其浩大程度超越了之前一切的数学成果。简化此证明的研究还在进行中。群论在当下仍是一个活跃的数学分支，并仍在对其他分支产生重大影响。

正式定義
----

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

|  |  |
| --- | --- |
| 结合律 | 對所有 {\displaystyle g\_{1},\,g\_{2},\,g\_{3}\in G} 有 {\displaystyle g\_{1}\circ (g\_{2}\circ g\_{3})=(g\_{1}\circ g\_{2})\circ g\_{3}} |
| 左单位元與左逆元素 | 存在 {\displaystyle e\in G} ，對所有 {\displaystyle g\in G} 有 | {\displaystyle e\circ g=g} |
| 且存在 {\displaystyle \gamma \in G} 使得 {\displaystyle \gamma \circ g=e} |

的話，稱 {\displaystyle (G,\ \circ )} 是一個**群**。當其配備的二元運算 {\displaystyle \circ } 不是那麼重要時， {\displaystyle (G,\ \circ )} 也常常简记为 {\displaystyle G} 。

群运算的次序很重要，也就是說，{\displaystyle a\cdot b=b\cdot a}（交换律）不一定成立。满足交换律的群称为交换群（或阿貝爾群，以尼尔斯·阿贝尔命名），不满足交换律的群称为非交换群（非阿贝尔群）。如以下面舉例一節的二面體群就不是交换群。

### 等價的定義

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

|  |  |  |
| --- | --- | --- |
| 右单位元與右逆元素 | 存在 {\displaystyle e\in G} ，對所有 {\displaystyle g\in G} 有 | {\displaystyle g\circ e=g} |
| 且存在 {\displaystyle \gamma \in G} 使得 {\displaystyle g\circ \gamma =e} |

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

|  |  |  |
| --- | --- | --- |
| 单位元與逆元素 | 存在 {\displaystyle e\in G} ，對所有 {\displaystyle g\in G} 有 | {\displaystyle e\circ g=g\circ e=g} |
| 且存在 {\displaystyle \gamma \in G} 使得 {\displaystyle \gamma \circ g=g\circ \gamma =e} |

以下是證明：

若二元運算 {\displaystyle \circ :G\times G\to G} 滿足結合律，且 {\displaystyle e\_{l}\in G} 對任意 {\displaystyle g\in G} 有

「{\displaystyle e\_{l}\circ g=g} 」(left-1)

「存在某 {\displaystyle \gamma \_{l}\in G} 使 {\displaystyle \gamma \_{l}\circ g=e\_{l}} 」(left-2)

因為 {\displaystyle \circ } 是二元運算， {\displaystyle g\circ \gamma \in G} 。所以根據(left-2)，存在 {\displaystyle \Gamma \in G} 滿足

{\displaystyle \Gamma \circ (g\circ \gamma \_{l})=e\_{l}}
這樣根據結合律和(left-1)與(left-2)有

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

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

{\displaystyle {\begin{aligned}g\circ e\_{l}&=g\circ (\gamma \_{l}\circ g)\\&=(g\circ \gamma \_{l})\circ g\\&=e\_{l}\circ g\end{aligned}}}
所以**左單位元必為右單位元**。

類似地，若二元運算 {\displaystyle \circ :G\times G\to G} 滿足結合律，且 {\displaystyle e\_{r}\in G} 對所有 {\displaystyle g\in G} 有 

「 {\displaystyle g\circ e\_{r}=g} 」(right-1)

「存在某 {\displaystyle \gamma \_{r}\in G} ，使 {\displaystyle g\circ \gamma \_{r}=e\_{r}} 」(right-2)

因為 {\displaystyle \gamma \_{r}\circ g\in G} ，所以根據(right-2)存在 {\displaystyle {\overline {\Gamma }}\in G} 滿足

{\displaystyle (\gamma \_{r}\circ g)\circ {\overline {\Gamma }}=e\_{r}}
所以根據結合律、(right-1)和(right-2)有

{\displaystyle {\begin{aligned}e\_{r}&=(\gamma \_{r}\circ g)\circ {\overline {\Gamma }}\\&=[\,(\gamma \_{r}\circ e\_{r})\circ g\,]\circ {\overline {\Gamma }}\\&=\{\,[\,\gamma \_{r}\circ (g\circ \gamma \_{r})\,]\circ g\,\}\circ {\overline {\Gamma }}\\&=\{\,[\,(\gamma \_{r}\circ g)\circ \gamma \_{r}\,]\circ g\,\}\circ {\overline {\Gamma }}\\&=[\,(\gamma \_{r}\circ g)\circ (\gamma \_{r}\circ g)\,]\circ {\overline {\Gamma }}\\&=(\gamma \_{r}\circ g)\circ [\,(\gamma \_{r}\circ g)\circ {\overline {\Gamma }}\,]\\&=(\gamma \_{r}\circ g)\circ e\_{r}\\&=\gamma \_{r}\circ g\end{aligned}}}

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

{\displaystyle {\begin{aligned}e\_{r}\circ g&=(g\circ \gamma \_{r})\circ g\\&=g\circ (\gamma \_{r}\circ g)\\&=g\circ e\_{r}\end{aligned}}}
所以**右單位元必為左單位元**。

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

舉例
--

### 整數加法群

整數系 {\displaystyle \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个旋轉和翻轉：

|  |  |  |  |
| --- | --- | --- | --- |
|  id (保持原樣) |  r1 (向右旋轉90°) |  r2 (向右旋轉180°) |  r3（向右旋轉270°） |
|  fv (垂直翻轉) |  fh (水平翻轉) |  fd (對角翻轉) |  fc（反對角翻轉） |
| 注意顏色不同，「操作結果」才不同。數字只是去方便理解「操作過程」，數字有沒有顛倒不影響「操作結果」。 |

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

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

| {\displaystyle \circ } | 先操作 |
| --- | --- |
| id | r1 | r2 | r3 | fv | fh | fd | fc |
| 後操作 | id | id | r1 | r2 | r3 | fv | fh | fd | fc |
| r1 | r1 | r2 | r3 | id | fc | fd | fv | fh |
| r2 | r2 | r3 | id | r1 | fh | fv | fc | fd |
| r3 | r3 | id | r1 | r2 | fd | fc | fh | fv |
| fv | fv | fd | fh | fc | id | r2 | r1 | r3 |
| fh | fh | fc | fv | fd | r2 | id | r3 | r1 |
| fd | fd | fh | fc | fv | r3 | r1 | id | r2 |
| fc | fc | fv | fd | fh | r1 | r3 | r2 | id |

如果取

{\displaystyle D\_{4}=\left\{id,\,\,r\_{1},\,r\_{2},\,r\_{3},\,f\_{v},\,f\_{h},\,f\_{d},\,f\_{c}\right\}}
那麼根據以上的群表， {\displaystyle \circ :D\_{4}\times D\_{4}\to D\_{4}} 的確是個二元运算，而且 {\displaystyle (D\_{4},\,\circ )} 為群（其中 {\displaystyle id} 符合單位元的要求），它被稱為二面體群。注意到上表淡紫色的部分破壞了交換律，所以二面體群不是交换群。

基本性質
----

条目：初等群論
### 單位元的唯一性

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

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

{\displaystyle e^{\prime }=e\circ e^{\prime }=e^{\prime }\circ e}
{\displaystyle e=e^{\prime }\circ e=e\circ e^{\prime }}
所以

{\displaystyle e^{\prime }=e}
所以群的單位元是唯一的，這樣根據函數符號與唯一性間的關係，可以添加新的三元函數符號 {\displaystyle e\_{(G,\,\circ )}} 與以下的新公理（以下的合式公式 {\displaystyle {\mathcal {B}}} 是 「{\displaystyle \circ } 是 {\displaystyle G} 上的一個二元运算，且存在 {\displaystyle \circ } 的單位元」的正式邏輯表述）

{\displaystyle [\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)]}
這條公理直觀上表示，只要「{\displaystyle \circ } 是 {\displaystyle G} 上的一個二元運算，且存在 {\displaystyle \circ } 的單位元」，就可以用 {\displaystyle e\_{(G,\,\circ )}} 這個符號簡記 「*{\displaystyle \left(G,\,\circ \right)}* 上的那個唯一單位元」，否則取 {\displaystyle e\_{(G,\,\circ )}} 為空集。

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

### 逆元的唯一性

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

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

{\displaystyle e\_{G}=g\circ \gamma =\gamma \circ g}
{\displaystyle e\_{G}=g\circ \gamma ^{\prime }=\gamma ^{\prime }\circ g}
那這樣的話，依據定義裡的结合律和 {\displaystyle e\_{(G,\,\circ )}} 的新公理有

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

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

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

### 群的冪

若 *{\displaystyle \left(G,\,\circ \right)}* 為一群，可以仿造整数指數，對任意 {\displaystyle g\in G} 作如下關於符號簡寫的递归定义

{\displaystyle g^{0}:=e} （單位元視為 {\displaystyle 0} 次方）
{\displaystyle g^{1}:=g}
對所有的整数 {\displaystyle n\in \mathbb {Z} } ， {\displaystyle g^{n+1}:=g^{n}\circ g}
對所有的整数 {\displaystyle n\in \mathbb {Z} } ， {\displaystyle g^{n-1}:=g^{n}\circ g^{-1}}
### 除法與減法

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

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

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

基本概念
----

下列章節使用了數學符號如*X* = { *x*, *y*, *z* }來表示集合*X*包含元素*x*、*y*和*z*，或{\displaystyle x\in X}來表示*x*是*X*的一個元素。记法{\displaystyle f:X\to Y}意味著*f*是对*X*的所有元素指定*Y*的一個元素的函數。
更多：群論術語
要超越上述純粹符號操作水平去理解群，必須采用更加結構性的概念。有一個概念性原理位于所有下列概念的底層：要发挥群提供的結構（而無結構的集合就沒有）的优势，與群有關的構造必須与群運算*兼容*。下列概念中以各種方式表现了這種兼容性。例如，群可以通過叫做群同態的函數相互關聯。根據上述這個原理，要求它們以精確的意义照顧到群結構。群的結構還可以通過把它們分解成子群和商群來理解。"保持結構"的原理是在數學中反復出現的一個主題，它是靠范疇來工作的一個實例，在這裡的情況下靠群范疇。

### 群同態

条目：群同態
群同態是保持群結構的函數。兩個群之間的函數
*a*: *G* → *H*
是同態，如果等式

*a*(*g*·*k*) = *a*(*g*)·*a*(*k*)

對于所有*G*中的元素*g*、*k*都成立，就是說在进行映射*a*之后還是之前進行群運算所得到的結果是一樣的。這個要求保证了
*a*(e*G*) = e*H*
，以及對于*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* = e*G*
，等價於证明
*a*(*g*)·*a*(*g*) = e*H*
，因為應用*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}
，在上面的群表中突出為紅色：任何兩個復合的旋轉仍是一個旋轉，并且旋轉可以被相反方向上的旋轉（它的逆元）所抵消。我们可以通过以下方法检验子集"H"是群*G*是子群 : 對于所有元素
*g*, *h* ∈ *H*
，只需檢查*g*−1*h* ∈ *H*。了解子群族對于作為一個整體來理解群是重要的。

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

### 循環群

参见：循環群
設 {\displaystyle (G,\*)} 為一個群，若 {\displaystyle G} 裡面存在元素 {\displaystyle g}，使

{\displaystyle G=\left\{a{\big |}(\exists k\in \mathbb {Z} )(a=g^{k})\right\}}
則稱 {\displaystyle (G,\*)} 為一個循環群。

### 陪集

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

*gH* = {*gh*, {\displaystyle h\in H}}和*Hg* = {*hg*, {\displaystyle 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*, {\displaystyle g\in G}}，"{\displaystyle G} 模 {\displaystyle N}"
這個集合從最初的群*G* 繼承了一個群運算（有時叫做陪集乘法或陪集加法）：對于所有*G* 中的*g* 和*h*，
(*gN*)· (*hN*) =（*gh*）*N*
。這個定義是由關聯任何元素*g*到它的陪集 *gN* 的映射*G* → *G* / *N*是群同態的想法（自身是上面提出的一般結構性考慮的一個實例）所激發的，或者是叫做泛性質的一般抽象考慮。陪集
*eN*  = *N*
充當了這個群的單位元，在商群中*gN* 的逆元是
(*gN*)−1 =（*g*−1）*N*。


| · | R | U |
| --- | --- | --- |
| *R* | *R* | *U* |
| *U* | *U* | *R* |
| 商群D4 / *R*的群表。 |

商群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** 帶有加法作為群運算。如果把加法替代為乘法，就得到了乘法群。這些群是抽象代數中重要概念的前身。

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

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

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

### 數

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

#### 整數

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

#### 有理數

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

{\displaystyle {\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},·），因為它是在有限域**F***p*中非零元素的乘法群，記為**F***p*×。這些群對于公开密钥加密是至關重要的。

### 循環群

条目：循環群和阿貝爾群
單位一的六次複數根形成一個循環群。*z*是本原元而*z*2不是，因為*z*的奇數冪不是*z*2的冪。
*循環群*是其所有元素都是特定元素*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*個元素的循環群同構於這個群。使用某些域論，群**F***p*×可以被證明為是循環群：對于
*p* = 5,
 3是生成元因為
31 = 3,
 
32 = 9 ≡ 4,
 
33 ≡ 2,
而
34 ≡ 1
。無限循環群同構於（**Z**, +），它是前面介紹的整數在加法下的群。因為這兩個原型都是阿貝爾群，所以任何循環群都是。

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

### 對稱群

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

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

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

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

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

|  |  |  |  |  |
| --- | --- | --- | --- | --- |
|  |  |  |  |  |
| 富勒烯展现了二十面體對稱。 | 氨NH3。它的對稱群是6階的，用120°旋轉和反射生成的。 | 立方烷C8H8刻畫了八面體對稱。 | 六水合銅（II）配合物[Cu(OH2)6]2+。相較于完美的對稱形狀，分子垂直膨脹大約22%（姜-泰勒效应）。 | （2,3,7）三角群是雙曲群，它作用在這個雙曲面的鑲嵌上。 |

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

### 一般線性群和表示理論

条目：一般線性群和群表示論
兩個向量（左側展示），和它們乘以矩陣之后（中間和右側展示）。中間的表示了順時針旋轉90°，而右側的再按因子2伸縮了*x*坐標。
矩陣群由矩陣加上矩陣乘法一起構成。一般線性群
*GL*(*n*, **R**)
由所有可逆的*n*乘*n*的帶有實數元素的矩陣構成。它的子群被稱為矩陣群或線性群。上面提及的二面體群例子可以被看作（非常小的）矩陣群。另一個重要矩陣群是特殊正交群*SO*(*n*)。它描述了*n*維的所有可能旋轉。通過歐拉角，旋轉矩陣被用于計算機圖形學中。

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

*ρ*: *G* → *GL*(*n*, **R**)。
以這種方式，抽象給出的群運算被轉換成用明確的計算可觸及到的矩陣乘法。

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

### 伽羅瓦群

条目：伽羅瓦群
*伽羅瓦群*是通过对求解多項式方程的过程中涉及到的对称性的研究而被发展起来的。例如，二次方程
*ax*2 + *bx* + *c* = 0
的解給出為

{\displaystyle 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*表示{\displaystyle \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。上面的群**F***p*×有階*p* − 1。

### 有限单群分类

条目：有限单群分类
数学家们常常为寻求一种数学对象的完备的分类（或列表）而努力。并且这种分类是十分有用的: 如果有限群有一个完备的列表, 假设我们需要证明定理*P*时, 如果可以一步一步证明定理对列表中给出的群成立, 那我们即可证明定理*P*在有限群的领域内成立。这个目标迅速引出了一系列困难而意义深远的数学问题。  

根据拉格朗日定理，p阶有限群（p为素数）必定是循环（阿贝尔群）群**Z***p*。  

*p*2阶群也被证明是阿贝尔群。但这一命题并不能推广到*p*3阶群，如上面的非阿贝尔群——8阶二面体群D4所示，其中8 = 23。可以利用计算机代数系统来给较小的群列表，但没有对一切有限群的分类。 一个中间步骤是有限单群分类。如果一个非平凡群仅有的正规子群是平凡群和它自身，那么这个群叫做一个单群或简单群。合成列说明单群可以作为建构有限群的"砖块"。 有限单群分类是当代群论的一个主要成就。1998年的菲尔兹奖得主理查德·博赫兹成功地证明了怪兽月光理论。该猜想指出了有限单群中分类中的最大的散在群——"怪兽群"与一种来自经典复分析和弦理论（一种被认为统一了对许多物理学现象的描述的理论）的对象模函数之间的惊人而深刻的联系。

帶有額外結構的群
--------

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

### 拓撲群

条目：拓撲群
在複平面中的單位圓在複數乘法下是李群，所以是拓撲群。它是拓撲的因為複數乘法和除法是連續的。它是流形并因此是李群，因為所有小段比如在圖中的紅色圓弧，看起來像（顯示在底下的）實數線的一部分。
某些拓撲空間可以配備上群结构。為了讓群公理與拓撲交織良好，群運算必須是連續函數，就是說如果*g*和*h*只變化很小，那么*g*·*h*,和*g*−1必須變化不大。這種群叫做拓撲群，并且它們是在拓撲空間范疇內的群對象。最基本的例子是實數**R**在加法之下(**R**\{0},·)，任何其他拓撲比如複數或p進數也是類似。所有這些群都是局部緊拓撲群，所以它們有哈尔测度并可以通過調和分析來研究。前者提供了不變積分的抽象形式化。以實數情況为例，不变性意味着有：

{\displaystyle \int f(x)\,dx=\int f(x+c)\,dx}
對於任何常數*c*成立。在這些上的矩陣群也属于这种结构下，賦值向量環和賦值向量代數群也是如此，它們對數論是基礎性的。無限域擴張的伽羅瓦群比如絕對伽羅瓦群也可以配備上拓撲，叫做Krull拓撲，它又是推廣上面概述的和群的連接到無限域擴張的中心概念。適應代數幾何需要的這個想法的高級推廣是étale基本群。

### 李群

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

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

det (*A*) ≠ 0，
給出。這裡的*A*指示{\displaystyle n\times n}矩陣。

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

推廣
--

在抽象代數中，通過放松定義群的某個公理可定義出更多的一般結構。例如，如果省略所有元素都逆元的要求，結果的代數結構就叫做幺半群。自然數集**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:**  單射和滿射分別對應於單同態和滿同態。在傳給對偶范疇的時候它們是可互換的。

### 引文

1. ↑  Herstein 1975, §2, p. 26
2. ↑  Hall 1967, §1.1, p. 1:"群的想法遍布在包括純數學和應用數學二者的整個數學中。"
3. ↑  Wussing 2007
4. ↑  Kleiner 1986
5. ↑  Smith 1906
6. ↑  Galois 1908
7. ↑  Kleiner 1986, p. 202
8. ↑  Cayley 1889
9. ↑  Wussing 2007, §III.2
10. ↑  Lie 1973
11. ↑  Kleiner 1986, p. 204
12. ↑  Wussing 2007, §I.3.4
13. ↑  Jordan 1870
14. ↑  von Dyck 1882
15. ↑  Curtis 2003
16. ↑  Mackey 1976
17. ↑  Borel 2001
18. ↑  Aschbacher 2004
19. ↑  Herstein 1975, §2.1, p. 27
20. ↑  Lang 2005, App. 2, p. 360
21. 1 2  Mac Lane 1998
22. ↑  Lang 2005, §II.3, p. 34
23. ↑  Lang 2005, §II.1, p. 19
24. ↑  Ledermann 1973, §II.12, p. 39
25. ↑  Lang 2005, §II.4, p. 41
26. ↑  Lang 2002, §I.2, p. 12
27. ↑  Lang 2005, §II.4, p. 45
28. ↑  Lang 2002, §I.2, p. 9
29. ↑  韩士安,林磊.. 北京: 科学出版社. 2009: 8. ISBN 9787030250612.
30. ↑  [美] 约翰·德比希尔.. 人民邮电出版社. ISBN 9787115225375 （简体中文）. 关于群结构的第一个伟大定理是拉格朗日定理：子群的阶整除这个群的阶。整除的商被称为这个子群的指数。根据拉格朗日定理，分数指数不会出现。我们可以在 6 阶群中找到阶为 2 或 3（指数分别为 3 或 2）的子群，但是我们永远不可能在其中找到阶为 4 或 5 的子群，因为 6 不能被 4 或 5 整除。  引文格式1维护：未识别语文类型 (link)
31. ↑  Hatcher 2002, Chapter I, p. 30
32. ↑  Coornaert, Delzant & Papadopoulos 1990
33. ↑  Neukirch 1999，特別是§§I.12和I.13
34. ↑  Seress 1997
35. ↑  Lang 2005, Chapter VII
36. ↑  Rosen 2000, p. 54 (Theorem 2.1)
37. ↑  Lang 2005, §VIII.1, p. 292
38. ↑  Lang 2005, §II.1, p. 22
39. ↑  Lang 2005, §II.2, p. 26
40. ↑  Lang 2005, §II.1, p. 22 (example 11)
41. ↑  Lang 2002, §I.5, p. 26, 29
42. ↑  Weyl 1952
43. ↑  Conway, Delgado Friedrichs & Huson et al. 2001.另见Bishop 1993
44. ↑  Bersuker, Isaac, Cambridge University Press: 2, 2006, ISBN 0521822122
45. ↑  Jahn & Teller 1937
46. ↑  Dove, Martin T, Oxford University Press: 265, 2003, ISBN 0198506783
47. ↑  Welsh 1989
48. ↑  Mumford, Fogarty & Kirwan 1994
49. ↑  Lay 2003
50. ↑  Kuipers 1999
51. 1 2  Fulton & Harris 1991
52. ↑  Serre 1977
53. ↑  Rudin 1990
54. ↑  Robinson 1996, p. viii
55. ↑  Artin 1998
56. ↑  Lang 2002, Chapter VI (see in particular p. 273 for concrete examples)
57. ↑  Lang 2002, p. 292 (Theorem VI.7.2)
58. ↑  Kurzweil & Stellmacher 2004
59. ↑  Artin 1991, Theorem 6.1.14.另见Lang 2002, p. 77，其中包含类似结果。
60. ↑  Lang 2002, §I. 3, p. 22
61. ↑  Ronan 2007
62. ↑  Husain 1966
63. ↑  Neukirch 1999
64. ↑  Shatz 1972
65. ↑  Milne 1980
66. ↑  Warner 1983
67. ↑  Borel 1991
68. ↑  Goldstein 1980
69. ↑  Weinberg 1972
70. ↑  Naber 2003
71. ↑  Becchi 1997
72. ↑  Denecke & Wismath 2002
73. ↑  Romanowska & Smith 2002

引用
--

### 一般引用

* Artin, Michael, Prentice Hall, 1991, ISBN 978-0-89871-510-1 , Chapter 2 contains an undergraduate-level exposition of the notions covered in this article.
* Devlin, Keith, Owl Books, 2000, ISBN 978-0-8050-7254-9 , Chapter 5 provides a layman-accessible explanation of groups.
* Dummit, David S.; Foote, Richard M.  3rd, New York: Wiley, 2004, ISBN 978-0-471-43334-7, MR2286236 .
* Fulton, William; Harris, Joe, Graduate Texts in Mathematics, Readings in Mathematics **129**, New York: Springer-Verlag, 1991, ISBN 978-0-387-97495-8, MR1153249, ISBN 978-0-387-97527-6
* Hall, G. G. American Elsevier Publishing Co. Inc. New York, 1967, MR0219593 , an elementary introduction.
* Herstein, Israel Nathan,  3rd, Upper Saddle River, NJ: Prentice Hall Inc. 1996, ISBN 978-0-13-374562-7, MR1375019 .
* Herstein, Israel Nathan,  2nd, Lexington, Mass.: Xerox College Publishing, 1975, MR0356988 .
* Lang, Serge, Graduate Texts in Mathematics **211**, Berlin, New York, 2002, ISBN 978-0-387-95385-4, MR1878556 .
* Lang, Serge,  3rd, Berlin, New York: Springer-Verlag, 2005, ISBN 978-0-387-22025-3 .
* Ledermann, Walter, Oliver and Boyd, Edinburgh and London, 1953, MR0054593 .
* Ledermann, Walter, New York: Barnes and Noble, 1973, OCLC 795613 .
* Robinson, Derek John Scott, Berlin, New York: Springer-Verlag, 1996, ISBN 978-0-387-94461-6 .
* 《代數學引論》第二版ISBN 7-04-008893-2聶靈沼、丁石孫，高等教育出版社出版

### 專門引用

* Artin, Emil, New York: Dover Publications, 1998, ISBN 978-0-486-62342-9 .
* Aschbacher, Michael,  (PDF), Notices of the American Mathematical Society, 2004, **51** (7): 736–740  [2008-09-13], ISSN 0002-9920, （原始内容存档 (PDF)于2011-06-05） .
* Becchi, C. 1997  [2008-05-15], （原始内容存档于2016-10-07） .
* Besche, Hans Ulrich; Eick, Bettina; O'Brien, E. A. Electronic Research Announcements of the American Mathematical Society, 2001, **7**: 1–4  [2008-09-13], doi:10.1090/S1079-6762-01-00087-7, MR1826989, （原始内容存档于2008-10-08） .
* Bishop, David H. L. New York: Dover Publications, 1993, ISBN 978-0-486-67355-4 .
* Borel, Armand, Graduate Texts in Mathematics **126** 2nd, Berlin, New York: Springer-Verlag, 1991, ISBN 978-0-387-97370-8, MR1102012 .
* Carter, Roger W. New York: John Wiley & Sons, 1989, ISBN 978-0-471-50683-6 .
* Conway, John Horton; Delgado Friedrichs, Olaf; Huson, Daniel H.; Thurston, William P. Beiträge zur Algebra und Geometrie, 2001, **42** (2): 475–507  [2008-09-13], ISSN 0138-4821, MR1865535, （原始内容存档于2020-06-01） .
* （法文） Coornaert, M.; Delzant, T.; Papadopoulos, A. Lecture Notes in Mathematics **1441**, Berlin, New York: Springer-Verlag, 1990, ISBN 978-3-540-52977-4, MR1075994 .
* Denecke, Klaus; Wismath, Shelly L. London: CRC Press, 2002, ISBN 978-1-58488-254-1 .
* Fröhlich, Albrecht, Lecture notes in mathematics **74**, Berlin, New York: Springer-Verlag, 1968 .
* （德文） Frucht, R. Compositio Mathematica, 1939, **6**: 239–50, ISSN 0010-437X, （原始内容存档于2008-12-01） .
* Goldstein, Herbert,  2nd, Reading, MA: Addison-Wesley Publishing: 588–596, 1980, ISBN 0-201-02918-9 .
* Hatcher, Allen, Cambridge University Press, 2002  [2008-09-13], ISBN 978-0-521-79540-1, （原始内容存档于2018-05-19） .
* Husain, Taqdir, Philadelphia: W.B. Saunders Company, 1966, ISBN 978-0-89874-193-3
* Jahn, H.; Teller, E. Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences (1934-1990), 1937, **161** (905): 220–235, doi:10.1098/rspa.1937.0142 .
* Kassel, Christian, Springer, 1994, ISBN 978-0387943701 .
* Kuipers, Jack B. Princeton University Press, 1999, ISBN 978-0-691-05872-6, MR1670862 .
* Kuga, Michio, Boston, MA: Birkhäuser Boston, 1993, ISBN 978-0-8176-3688-3, MR1199112 .
* Kurzweil, Hans; Stellmacher, Bernd, Universitext, Berlin, New York: Springer-Verlag, 2004, ISBN 978-0-387-40510-0, MR2014408 .
* Lay, David, Addison-Wesley, 2003, ISBN 978-0-201-70970-4 .
* Mac Lane, Saunders,  2nd, Berlin, New York: Springer-Verlag, 1998, ISBN 978-0-387-98403-2 .
* Michler, Gerhard, Cambridge University Press, 2006, ISBN 978-0-521-86625-5 .
* Milne, James S. Princeton University Press, 1980, ISBN 978-0-691-08238-7
* Mumford, David; Fogarty, J.; Kirwan, F.  **34** 3rd, Berlin, New York: Springer-Verlag, 1994, ISBN 978-3-540-56963-3, MR1304906 .
* Naber, Gregory L. New York: Dover Publications, 2003, ISBN 978-0-486-43235-9, MR2044239 .
* Neukirch, Jürgen, Grundlehren der mathematischen Wissenschaften **322**, Berlin: Springer-Verlag, 1999, ISBN 978-3-540-65399-8, MR1697859
* Romanowska, A.B.; Smith, J.D.H. World Scientific, 2002, ISBN 9789810249427 .
* Ronan, Mark, Oxford University Press, 2007, ISBN 978-0-19-280723-6 .
* Rosen, Kenneth H.  4th, Addison-Wesley, 2000, ISBN 978-0-201-87073-2, MR1739433 .
* Rudin, Walter, Wiley Classics, Wiley-Blackwell, 1990, ISBN 047152364X .
* Seress, Ákos, Notices of the American Mathematical Society, 1997, **44** (6): 671–679, ISSN 0002-9920, MR1452069, （原始内容存档于2007-02-08） .
* Serre, Jean-Pierre, Berlin, New York: Springer-Verlag, 1977, ISBN 978-0-387-90190-9, MR0450380 .
* Shatz, Stephen S. Princeton University Press, 1972, ISBN 978-0-691-08017-8, MR0347778
* Suzuki, Michio, Transactions of the American Mathematical Society, 1951, **70** (2): 345–371, doi:10.2307/1990375 .
* Warner, Frank, Berlin, New York: Springer-Verlag, 1983, ISBN 978-0-387-90894-6 .
* Weinberg, Steven, New York: John Wiley & Sons, 1972, ISBN 0-471-92567-5 .
* Welsh, Dominic, Oxford: Clarendon Press, 1989, ISBN 978-0-19-853287-3 .
* Weyl, Hermann, Princeton University Press, 1952, ISBN 978-0-691-02374-8 .

### 歷史引用

参见：群論在歷史上的重要出版物。
* Borel, Armand, Providence, R.I.: American Mathematical Society, 2001, ISBN 978-0-8218-0288-5
* Cayley, Arthur, II (1851 - 1860), Cambridge University Press, 1889 .
* Curtis, Charles W. History of Mathematics, Providence, R.I.: American Mathematical Society, 2003, ISBN 978-0-8218-2677-5 .
* （德文） von Dyck, Walther,  (subscription required), Mathematische Annalen, 1882, **20** (1): 1–44, ISSN 0025-5831, doi:10.1007/BF01443322 [永久].
* （法文） Galois, Évariste, Tannery, Jules , 编, Paris: Gauthier-Villars, 1908  [2008-09-13], （原始内容存档于2011-05-21）  (Galois work was first published by Joseph Liouville in 1843).
* （法文） Jordan, Camille, Paris: Gauthier-Villars, 1870 .
* Kleiner, Israel,  (subscription required), Mathematics Magazine, 1986, **59** (4): 195–215, ISSN 0025-570X, MR863090 .
* （德文） Lie, Sophus, New York: Johnson Reprint Corp. 1973, MR0392459 .
* Mackey, George Whitelaw, University of Chicago Press, 1976, MR0396826
* Smith, David Eugene, Mathematical Monographs, No. 1, 1906  [2008-09-13], （原始内容存档于2008-09-19） .
* Wussing, Hans, New York: Dover Publications, 2007, ISBN 978-0-486-45868-7 .

外部連結
----

|  |  |
| --- | --- |
|  | 維基教科書中的相關電子：**群** |

* 埃里克·韦斯坦因.. MathWorld.
* Group （页面存档备份，存于） at PlanetMath.
* The development of group theory （页面存档备份，存于） at *The MacTutor History of Mathematics archive*.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
抽象代数相关主题 |
| --- |
|  |
| 代数结构 · 群 · 环 ·  · 有限 · 本原元 · 格 ·  · 等价关系 · 代數中心 · 同态 · 同构 · 商结构（商系统） · 同构基本定理 · 合成列 · 自由對象 |
|  |
| 群论 | 

|  |  |
| --- | --- |
| 群 | 幺半群 · 半群 · 阿贝尔群 · 非阿贝尔群 · 循環群 · 有限群 ·  · 半 ·  · 自由群 · 交换子群（交換子） · 幂零群 · 可解群 · p-群 · 对称群 · 李群 · 伽罗瓦群 |
|  |
| 子群 | 陪集 · 双陪集 · 商群 · 共轭类 · 拉格朗日定理 · 西羅定理 · 正规子群 · 群中心 · 中心化子和正规化子 · 稳定子群 · 置换群 |
|  |
| 其他 | 阶 · 群擴張 · 群同態 · 群同構 · 群表示 · 群作用 · 波利亞計數定理 · 有限生成阿貝爾群 |

 |
|  |
| 環論 | 

|  |  |
| --- | --- |
| 环 | 子環 · 整环 · 除环 · 多项式环 ·  · 商环 · 諾特環 · 局部環 · 賦值環 · 環代數 · 理想 · 主理想环 · 唯一分解整環 · 群環 |
|  |
| 模 | 深度 · 單模 · 自由模 · 平坦模 · 阿廷模 · 諾特模 |
|  |
| 其他 | 幂 · 特征 · 完備化 · 環的局部化 |

 |
|  |
| 論 | 

|  |  |
| --- | --- |
|  | 有限 · 原根 · 代数闭 · 局部 · 分裂 · 分式環 |
|  |
| 扩张 | 单扩张 · 有限扩张 · 超越扩张 · 代数扩张 · 正规扩张 · 可分扩张 · 伽罗瓦扩张 · 阿贝尔扩张 · 伽罗瓦理论基本定理 |

 |

 |