群

关于与“群”标题相近或相同的条目页，请见“群 (消歧义)”。

此条目介绍的是基本概念。关于高阶的主题，请见“群论”。

在数学中，群（英语：group）是指配备二元运算的集合，其二元运算需要具有结合律、单位元和逆元素。因为众多数学结构都是群（如整数系配备上加法就形成一个群），因而可以简洁地从不同的数学结构归纳出共通的结果，这使群成为当代数学的核心概念。

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

很多自然界的变换（如平移、镜射）的汇总都符合群的定义，而某群变换下保持不变的某种性质被称为对称性；如在空间对称群的哪些变换下，面积或角度会保持不变，就是在研究立体几何的对称性。

历史

主条目：群论的历史

抽象群的现代概念是从多个数学领域发展出来的。群论的最初动机是为了求解高于4次的多项式方程。十九世纪法国数学家埃瓦里斯特·伽罗瓦，扩展了保罗·鲁菲尼和约瑟夫·拉格朗日先前的工作，依据特定多项式方程的根（解）的对称群给出了对它的可解性的判别准则。这个伽罗瓦群的元素对应于根的特定置换。伽罗瓦的想法最初被同代人所拒绝，只在死后才出版。更一般的置换群由奥古斯丁·路易·柯西专门研究。阿瑟·凯莱的“On the theory of groups, as depending on the symbolic equation $\vartheta ^{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_{1},\,g_{2},\,g_{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$
		且存在 $\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$
		且存在 $\gamma \in G$ 使得 $g\circ \gamma =e$

因为不管原来的淡紫色定义，还是淡黄色的替代性定义，配上结合律都会等价于以下的定义：

单位元与逆元素	存在 $e\in G$ ，对所有 $g\in G$ 有	$e\circ g=g\circ e=g$
		且存在 $\gamma \in G$ 使得 $\gamma \circ g=g\circ \gamma =e$

证明

若二元运算 $\circ :G\times G\to G$ 满足结合律，且 $e_{l}\in G$ 对任意 $g\in G$ 有

“$e_{l}\circ g=g$ ”(left-1)

“存在某 $\gamma _{l}\in G$ 使 $\gamma _{l}\circ g=e_{l}$”(left-2)

因为 $\circ$ 是二元运算， $g\circ \gamma \in G$ 。所以根据 (left-2)，存在 $\Gamma \in G$ 满足

$\Gamma \circ (g\circ \gamma _{l})=e_{l}$

这样根据结合律和 (left-1) 与 (left-2) 有

${\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_{l}\circ (g\circ \gamma _{l})\\&=g\circ \gamma _{l}\end{aligned}}$

所以左逆元必为右逆元，这样根据结合律有

${\begin{aligned}g\circ e_{l}&=g\circ (\gamma _{l}\circ g)\\&=(g\circ \gamma _{l})\circ g\\&=e_{l}\circ g=g\end{aligned}}$

所以左单位元必为右单位元。

类似地，若二元运算 $\circ :G\times G\to G$ 满足结合律，且 $e_{r}\in G$ 对所有 $g\in G$ 有

“ $g\circ e_{r}=g$ ”(right-1)

“存在某 $\gamma _{r}\in G$ ，使 $g\circ \gamma _{r}=e_{r}$ ”(right-2)

因为 $\gamma _{r}\circ g\in G$ ，所以根据 (right-2) 存在 ${\overline {\Gamma }}\in G$ 满足

$(\gamma _{r}\circ g)\circ {\overline {\Gamma }}=e_{r}$

所以根据结合律、(right-1) 和 (right-2) 有

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

所以右逆元也为左逆元。这样根据结合律有

${\begin{aligned}e_{r}\circ g&=(g\circ \gamma _{r})\circ g\\&=g\circ (\gamma _{r}\circ g)\\&=g\circ e_{r}=g\end{aligned}}$

所以右单位元必为左单位元。

再考虑到淡蓝色是要求 $e\in G$ 同时为左右单位元且存在左右逆元，这样就证明以上三种定义在有结合律的前提下等价。

举例

整数加法群

整数系 $\mathbb {Z}$ 是由所有整数所组成：

$\dots ,\,-4,\,-3,\,-2,\,-1,\,0,\,1,\,2,\,3,\,4,\dots$

可以看出，整数系和整数的加法是可以构成群的：

1. 对于任意两个整数 $a$ 和 $b$，它们的和 $a+b$ 也是整数，所以整数加法的确是个二元运算，换言之，满足封闭性。
2. 对于任意三个整数 $a,\,b,\,c$，有 $(a+b)+c=a+(b+c)$。也就是说，先把 $a$ 加到 $b$，然后把它们的和加到 $c$，所得到的结果与把 $a$ 加到 $b$ 与 $c$ 的和是相等的。
3. 对于任意整数 $a$，有 $a+0=0+a=a$。故而 $0$ 是整数加法的单位元。同时，对所有整数 $a$，均存在与之对应的另一个整数 $-a$，满足 $a+(-a)=(-a)+a=0$，作为 $a$ 的逆元。

实数乘法群

实数集去掉 $0$，即 $\mathbb {R} ^{\sharp }:=\mathbb {R} \backslash \{0\}$，在实数乘法下构成群，验证如下：

1. $\forall a,\,b\in \mathbb {R} ^{\sharp },\,ab\in \mathbb {R} ^{\sharp }$;
2. $\forall a,\,b,\,c\in \mathbb {R} ^{\sharp },\,(ab)c=a(bc)$;
3. 对于 $1\in \mathbb {R} ^{\sharp }$, $\forall a\in \mathbb {R} ^{\sharp },\,a1=1a=a$;
4. $\forall a\in \mathbb {R} ^{\sharp },\,\exists a^{-1}\in \mathbb {R} ^{\sharp },\,a\left(a^{-1}\right)=\left(a^{-1}\right)a=1$.

二面体群

主条目：二面体群

以下是正方形的 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$		先操作
		$\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}=\left\{\operatorname {id} ,\,\,r_{1},\,r_{2},\,r_{3},\,f_{v},\,f_{h},\,f_{d},\,f_{c}\right\}$，

那么根据以上的群表， $\circ :D_{4}\times D_{4}\to D_{4}$ 的确是个二元运算，而且 $(D_{4},\,\circ )$ 为群（其中 $\operatorname {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\colon ,\,X\to Y$ 意指 $f$ 为将 $X$ 的所有元各自唯一指定到 $Y$ 的某个元的函数。

要超越上述纯粹符号操作水平去理解群，必须采用更加结构性的概念。有一个概念性原理位于所有下列概念的底层：要发挥群提供的结构（而无结构的集合就没有）的优势，与群有关的构造必须与群运算兼容。下列概念中以各种方式表现了这种兼容性。例如，群可以通过叫做群同态的函数相互关联。根据上述这个原理，要求它们以精确的意义照顾到群结构。群的结构还可以通过把它们分解成子群和商群来理解。“保持结构”的原理是在数学中反复出现的一个主题，它是靠范畴来工作的一个实例，在这里的情况下靠群范畴。

群同态

主条目：群同态

群同态是保持群结构的映射。称两群之间的映射 $\varphi \colon \,G\to H$ 为群同态，当且仅当

$\varphi (a\circ _{G}b)=\varphi (a)\circ _{H}\varphi (b)$

对 $G$ 的所有元 $a,\,b$ 均成立。上式同样蕴含了 $\varphi (e_{G})=e_{H}$ 与 $\forall a\in G,\,\varphi (a^{-1})=\left[\varphi (a)\right]^{-1}$。因此说：群同态保持了群的所有结构。

两群 $G,\,H$ 被称作同构的，当且仅当存在群同态 $\rho \colon \,G\to H,\,\sigma \colon \,H\to G$，使得 $\rho \sigma =\operatorname {id} _{G},\,\sigma \rho =\operatorname {id} _{H}$，也就是说，其复合分别得到了 $G$ 和 $H$ 上的恒等变换，此时也记 $\sigma =\varphi ^{-1}$。从抽象的观点来看，同构的一类群携带了完全相同的信息，或者说，在“模去”群结构以外的性质后，所有同构的群可以视作唯一的单个对象。例如，对群 $G$ 中的某个元 $a$ 已经证实了 $aa=e_{G}$，如果另一群 $H$ 由映射 $\varphi$ 同构于该群，则相当于证明了 $\varphi (a)\varphi (a)=\varphi (e_{G})=e_{H}$。

此外，一个群可以拥有非恒等变换的自同态或自同构，如果以映射为元，映射复合为群乘法，则任意群 $G$ 拥有其自同态群和自同构群，分别记作 $\operatorname {End} G$ 和 $\operatorname {Aut} G$。

子群

主条目：子群

非正式地说，子群是包含在更大的群内的一个群。

具体而论，对群 $G$ 与其子集 $H\subseteq G$，如果 $H$ 对 $G$ 的群乘法 $\circ _{G}$ 和幺元 $e_{G}\in H$ 亦构成群，则称 $H$ 为 $G$ 的一个子群，常记之为 $H\leq G$。

可以证明，可通过以下判据校验群 $G$ 的子集 $H$ 是否为其子群：$H\leq G\Leftrightarrow \forall g,\,h\in H,\,g^{-1}h\in H$。

前文所述的例子中，幺元与旋转构成其一个子群 $R=\left\{\operatorname {id} ,\,r_{1},\,r_{2},\,r_{3}\right\}$，在上面的表格中突出为红色：任意两个旋转，其复合仍为旋转，且任意旋转可被一个相反方向上的旋转所抵消。

了解子群族对于作为一个整体来理解群是重要的。

给定群 $G$ 的任意子集 $S\subseteq G$，称由 $S$ 生成的子群为 $\langle S\rangle =\left\{e,s_{1}s_{2}\cdots s_{n}\colon \,\forall i,\,s_{i}\in S\cup S^{-1}\right\}$，其中 $S^{-1}:=\left\{s^{-1}\colon \,s\in S\right\}$。这是包含 $S$ 的 $G$ 的最小子群，由 $S$ 本身的元素与其逆元的所有可能的有限乘积组成。

同样在前文所述的二面体群中存在例子：由 $\left\{r_{2},\,f_{v}\right\}$ 生成的子群为 $\left\{\operatorname {id} ,\,r_{2},\,f_{v},\,f_{h}=f_{v}r_{2}\right\}$。这一集合的确构成群，验证时需要注意，在该群内有 $\forall a,a^{2}=\operatorname {id}$，这也意味着所有元都是自身的逆元，也就是说该群的方次数为 2，关于这一性质，见后文所述之阶。

陪集

主条目：陪集

在很多情况下，需要认为两个元是等同的，如果它们只相差一个给定子群中的元素。例如，在上述 $D_{4}$ 中，一旦进行了翻转，再只进行旋转而不再进行翻转，正方形就永远不能回到 $r_{2}$ 的构型，此时可以认为，旋转运算对于是否已经进行了翻转的问题是无关紧要的。陪集可用来把这种现象形式化：子群 $H$ 定义了左陪集和右陪集，它们可以认为是把 $H$ 平移了一个任意群元素 $g$。用符号表示，$H$ 的包含 $g$ 的左和右陪集分别构成集合

$G/H=\left\{xH\colon \,x\in G\right\}$ 与 $H\backslash G=\left\{Hx\colon \,x\in G\right\}$，

其中

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

同时也可以定义双陪集为

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

显然，左右陪集为双陪集之特例，取某一侧子群为 $\{e\}$ 即可。

任何子群 $H$ 的陪集形成了 $G$ 的一个划分，换言之，

1. 对任两个陪集 $HxK,\,HyK$，$HxK\cap HyK\neq \varnothing \Leftrightarrow HxK=HyK$，且
2. 取陪集所有元作无交并有 $G=\bigsqcup _{x}HxK$，其中每个 $x$ 作为每个陪集之代表元被选取。

证明

设有 $HxK\cap HyK\neq \varnothing$，倘 $hxk=h'xk'$，则 $x:=h^{-1}h'yk'k^{-1}\in HyK$，即 $HxK\subset HHyKK=HyK$；同理 $HyK\subset HxK$。故而矛盾，第一句命题得证。

第二句命题是显然的，不过须要注意到，代表元的选取依赖于选择公理。

考虑左右陪集。$H$ 的左和右陪集可以相等也可以不相等。如果它们相等，就是说对于所有 $G$ 中的 $g$ 有 $gH=Hg$，则 $H$ 被称为正规子群。

在前面介绍的对称群 $D_{4}$ 中，由旋转构成的子群 $R$ 的左陪集 $gR$

1. 要么等于 $R$，如果 $g\in R$ ；
2. 要么等于 $U=f_{v}R=\left\{f_{v},\,f_{d},\,f_{h},\,f_{c}\right\}$（用绿色突出）。

此处的子群 $R$ 还是对 $D_{4}$ 正规的，因为有 $f_{v}R=U=Rf_{v}$，且对于任何 $f_{v}$ 以外的元素也类似。

商群

主条目：商群

有时，在由陪集形成的集合上可以赋予一个满足群公理的运算，使之成为商群或因子群。这仅在子群正规时可行。给定任何对 $G$ 正规的子群 $N$，定义由 $N$ 决定的商群为

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

这个定义是由关联任何元素 $g$ 到它的陪集 $gN$ 的映射 $G\to G/N$ 是群同态的想法（自身是上面提出的一般结构性考虑的一个实例）所激发的，或者是叫做泛性质的一般抽象考虑。陪集 $eN=N$充当了这个群的单位元，在商群中 $gN$ 的逆元是 $(gN)^{-1}=g^{-1}N$。

$\cdot$	$R$	$U$
$R$	$R$	$U$
$U$	$U$	$R$
商群 $D_{4}R$ 的群表。

商群 $D_{4}/R$ 的元素是代表单位元的 $R$ 自身和 $U=f_{v}R$。商群上的群运算如右侧所示。例如，$UU=(f_{v}R)(f_{v}R)=(f_{v}f_{v})R=R$。子群 $R=\left\{\operatorname {id} ,\,r_{1},\,r_{2},\,r_{3}\right\}$ 与其构造的商群 $D_{4}/R$ 均交换，而 $D_{4}$ 本身并不交换。通过较小的群构造较大的群，例如从子群 $R$ 和商群 $D_{4}/R$ 构造 $D_{4}$，被抽象为叫做半直积的概念。

商群和子群一起形成了用它的展示描述所有群的一种方法：任何群都是这个群的生成元上的自由群模以“关系”子群得到的商群。例如，二面体群D₄可以由两个元素 r 和 f 生成（比如r = r₁右旋，和 f = f_v 垂直）或任何其他）翻转），这意味着正方形的所有对称都是这两个对称或它们的逆元的有限复合。与关系在一起

r ⁴ = f ² = (rf )² = 1,

这个群就完全描述出来了。群的展示还可以被用来构造凯莱图，它是一种利用图形来辅助理解离散群的工具。

子群和商群以下列方式相互关联：G 的子集H 可以被看作单射H → G，就是说任何目标元素都有最多一个映射到它的元素。单射的对立是满射（所有目标的元素都被映射到了），比如规范映射G → G / N。通过这些同态理解子群和商群强调了这些定义中内在的结构性概念。一般的说，同态既不是单射也不是满射。群同态的核与像和第一同构定理研究这个现象。

共轭

主条目：共轭类

如果同一个群中的两个元素p 和q 满足关系：p = x⁻¹qx，其中x 也是同一个群中的元素，则称元素p 和q 共轭。共轭关系是一个等价关系，即它满足三个性质：共轭是自反的、对称的和传递的。

在群中可以找到一个集合，这个集合中每一个元素都相互共轭，而在这个集合以外群的其他部分已经没有任何元素与他们具有共轭关系了。称这种集合为群中的一个共轭类。同一个群的两个类之间一定没有共同的元素。群中一个元素一定属于且仅属于一个类。如果群中没有元素与该元素共轭，则该元素自成一类。

阶

主条目：阶 (群论)

群中元素个数称为群G的阶，记为|G|

主条目：拉格朗日定理 (群论)

子群的阶能整除这个群的阶

应用

主条目：群论应用

周期性壁纸引发壁纸群。

平面减去一个（粗体）点的基本群由在这个区域内的环路构成。

群的例子和应用大量存在。起点是上面介绍过的整数的群 Z 带有加法作为群运算。如果把加法替代为乘法，就得到了乘法群。这些群是抽象代数中重要概念的前身。

群应用于很多数学领域中。数学对象的性质经常是通过将群关联与数学对象关联，并研究相应的群的性质来研究的。例如，儒勒·昂利·庞加莱通过引入基本群创立了现在所谓的代数拓扑。通过这种连接方式，拓扑性质比如临近和连续变换成了群的性质。例如，右侧的图像描绘了平面减去一个点的基本群的元素。这个群的元素给出为在这个区域内的环路。蓝色环路被认为是零同伦（因此是无关紧要的），因为它可以收缩为一个点。圆孔的存在防止了橙色环路被收缩。橙色环路（或任何环绕这个圆孔一次的其他环路）所生成的，去掉了一个点的平面的基本群是无限循环群。基本群以这种方式探测到了这个圆孔。

在更新近的应用中，影响已经被倒转过来，由群论背景来激发几何结构了。在类似的脉络下，几何群论采用了几何概念，比如在双曲群的研究中。其他一些大量应用群论的数学分支包括代数几何和数论。例如，典型群和皮卡德群在代数几何上有重要应用；参见

除了上述理论应用之外，还存在很多群的实践应用。密码学依赖于抽象群论方式和从计算群论中特别是实现于有限群上的时候所得到的算法知识的结合。群论的应用不限于数学；科学如物理、化学和计算机科学都受益于这个概念。

数

很多数系统，比如整数和有理数享有自然给予的群结构。在某些情况下比如对于有理数，加法和乘法运算二者都引发群结构。这种系统是叫做环和域的更一般的代数结构的前身。

整数

整数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},·），因为它是在有限域F_p中非零元素的乘法群，记为F_p^×。这些群对于公开密钥加密是至关重要的。

循环群

主条目：循环群和阿贝尔群

单位一的六次复数根形成一个循环群。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）三角群的一个元素通过置换突出的弯曲的三角形作用在镶嵌上（其他的元素也是）。通过群作用，群模式被连接到了所作用到的对象的结构上。

旋转和翻转形成一个大二十面体的对称群。

在化学领域中，比如晶体学、空间群和点群描述分子对称性和晶体对称性。这些对称性位于这些系统的化学和物理表现的底层，而群论使简化对这些性质的量子力学分析成为可能。例如，群论被用来证实在特定量子级别间不出现光学跃迁简单的因为涉及到了状态的对称性。

群不只对评定在分子中蕴含的对称性有用，而且令人惊奇的它们还可以预测出分子的对称性有时候可以改变。姜-泰勒效应是高对称的分子的变形，此时，在通过分子的对称运算相互关联的一组可能基态中，该分子将采纳一个特定的低对称的基态。

同样的，群论还可以帮助预测在物质经历相变的时候出现的物理性质的变更，比如晶体形式从立方体变为四面体。一个例子是铁电物质，这里从顺电到铁电状态的变更出现在居里温度时，与从高对称顺电状态到低对称铁电状态的变更有关，并伴随着所谓的软声子模式，它是在变化时转到零频率的振动晶格模式。

这种自发对称性破缺在基本粒子物理中找到了进一步应用，这里它的出现与戈德斯通玻色子的出现有关。

富勒烯展现了二十面体对称。	氨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³。G在n-维实向量空间上的表示简单的是从群到一般线性群的群同态

ρ: G → GL(n, R)。

以这种方式，抽象给出的群运算被变换成用明确的计算可触及到的矩阵乘法。

给定一个群作用，这给出了研究所作用的对象的进一步方法。在另一方面，它还产生了关于群的信息。群表示是在有限群、李群、代数群和拓扑群特别是（局部）紧群理论中的起组织作用的原则。

伽罗瓦群

主条目：伽罗瓦群

伽罗瓦群是通过对求解多项式方程的过程中涉及到的对称性的研究而被发展起来的。例如，二次方程ax² + bx + c = 0的解给出为

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

对换表达式中的"+"和"−"，也就是置换方程的两个解可以被看作（非常简单的）群运算。类似的公式对于三次方程和四次方程也有，但是对于五次方程和更高次的方程就不普遍性的存在。与多项式相关联的伽罗瓦群的抽象性质（特别是它们的可解性）给出了那些多项式的所有解都可用根式表达的判定标准，就是说这些解可以类似上面公式那样只使用加法、乘法和方根来表达。

这个问题可以使用域论来处理：考虑一个多项式的分裂域就把问题转移到了域论的领域中了。现代伽罗瓦理论把上述类型的伽罗瓦群推广到了域扩张，并通过伽罗瓦理论基本定理建立了在域和群之间的严格关联，再次凸显了群在数学中无所不在。

有限群

主条目：有限群

一个群被称为有限群，如果它有有限个元素。元素的数目叫做群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ⁿ表示$\underbrace {a\cdot \ldots \cdot a} _{n}$，就是应用运算·于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阶二面体群 $\mathrm {D} _{4}$ 所示，其中 8 = 2³。可以利用计算机代数系统来给较小的群列表，但没有对一切有限群的分类。 一个中间步骤是有限单群分类。如果一个非平凡群仅有的正规子群是平凡群和它自身，那么这个群叫做一个单群或简单群。合成列说明单群可以作为建构有限群的“砖块”。 有限单群分类是当代群论的一个主要成就。1998年的菲尔兹奖得主理查德·博赫兹成功地证明了怪兽月光理论。该猜想指出了有限单群中分类中的最大的散在群——“怪兽群”与一种来自经典复分析和弦理论（一种被认为统一了对许多物理学现象的描述的理论）的对象模函数之间的惊人而深刻的联系。

带有额外结构的群

很多群同时是群和其他数学结构的例子。用范畴论的语言来说，它们是在范畴中的“群”对象，这意味着它们是带着模仿群公理的（叫做态射的）变换的对象（可以是其他代数/数学结构）。例如，所有群（如上面定义的）也是一个集合，所以群是在集合范畴中的群对象。

拓扑群

主条目：拓扑群

在复平面中的单位圆在复数乘法下是李群，所以是拓扑群。它是拓扑的因为复数乘法和除法是连续的。它是流形并因此是李群，因为所有小段比如在图中的红色圆弧，看起来像（显示在底下的）实数线的一部分。

某些拓扑空间可以配备上群结构。为了让群公理与拓扑交织良好，群运算必须是连续函数，就是说如果g和h只变化很小，那么g·h,和g⁻¹必须变化不大。这种群叫做拓扑群，并且它们是在拓扑空间范畴内的群对象。最基本的例子是实数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上有定义之外。它们由更加复杂形式的对称的研究所引发，常见于拓扑和分析结构比如基本广群中。表格给出一些推广群的结构。

参见

• 子群
• 群子集的乘积
• 正规子群
• 同构基本定理
• 有限群
• 中心化子和正规化子
• 拉格朗日定理
• 可解群
• 幂零群
• 半群
• 舒尔正交关系

注释

^  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:  单射和满射分别对应于单同态和满同态。在传给对偶范畴的时候它们是可互换的。

引用

一般引用

• Artin, Michael, Algebra, 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, The Language of Mathematics: Making the Invisible Visible, Owl Books, 2000, ISBN 978-0-8050-7254-9 , Chapter 5 provides a layman-accessible explanation of groups.
• Dummit, David S.; Foote, Richard M., Abstract algebra 3rd, New York: Wiley, 2004, ISBN 978-0-471-43334-7, MR2286236 .
• Fulton, William; Harris, Joe, Representation theory. A first course, 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., Applied group theory, American Elsevier Publishing Co., Inc., New York, 1967, MR0219593 , an elementary introduction.
• Herstein, Israel Nathan, Abstract algebra 3rd, Upper Saddle River, NJ: Prentice Hall Inc., 1996, ISBN 978-0-13-374562-7, MR1375019 .
• Herstein, Israel Nathan, Topics in algebra 2nd, Lexington, Mass.: Xerox College Publishing, 1975, MR0356988 .
• Lang, Serge, Algebra, Graduate Texts in Mathematics 211, Berlin, New York, 2002, ISBN 978-0-387-95385-4, MR1878556 .
• Lang, Serge, Undergraduate Algebra 3rd, Berlin, New York: Springer-Verlag, 2005, ISBN 978-0-387-22025-3 .
• Ledermann, Walter, Introduction to the theory of finite groups, Oliver and Boyd, Edinburgh and London, 1953, MR0054593 .
• Ledermann, Walter, Introduction to group theory, New York: Barnes and Noble, 1973, OCLC 795613 .
• Robinson, Derek John Scott, A course in the theory of groups, Berlin, New York: Springer-Verlag, 1996, ISBN 978-0-387-94461-6 .
• 《代数学引论》第二版ISBN 7-04-008893-2聂灵沼、丁石孙著，高等教育出版社出版

专门引用

• Artin, Emil, Galois Theory, New York: Dover Publications, 1998, ISBN 978-0-486-62342-9 .
• Aschbacher, Michael, The Status of the Classification of the Finite Simple Groups (PDF), Notices of the American Mathematical Society, 2004, 51 (7): 736–740 [2008-09-13], ISSN 0002-9920, （原始内容存档 (PDF)于2011-06-05） .
• Becchi, C., Introduction to Gauge Theories, 1997 [2008-05-15], （原始内容存档于2016-10-07） .
• Besche, Hans Ulrich; Eick, Bettina; O'Brien, E. A., The groups of order at most 2000, 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., Group theory and chemistry, New York: Dover Publications, 1993, ISBN 978-0-486-67355-4 .
• Borel, Armand, Linear algebraic groups, Graduate Texts in Mathematics 126 2nd, Berlin, New York: Springer-Verlag, 1991, ISBN 978-0-387-97370-8, MR1102012 .
• Carter, Roger W., Simple groups of Lie type, New York: John Wiley & Sons, 1989, ISBN 978-0-471-50683-6 .
• Conway, John Horton; Delgado Friedrichs, Olaf; Huson, Daniel H.; Thurston, William P., On three-dimensional space groups, 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., Géométrie et théorie des groupes [Geometry and Group Theory], Lecture Notes in Mathematics 1441, Berlin, New York: Springer-Verlag, 1990, ISBN 978-3-540-52977-4, MR1075994 .
• Denecke, Klaus; Wismath, Shelly L., Universal algebra and applications in theoretical computer science, London: CRC Press, 2002, ISBN 978-1-58488-254-1 .
• Fröhlich, Albrecht, Formal groups, Lecture notes in mathematics 74, Berlin, New York: Springer-Verlag, 1968 .
• （德文） Frucht, R., Herstellung von Graphen mit vorgegebener abstrakter Gruppe [Construction of Graphs with Prescribed Group], Compositio Mathematica, 1939, 6: 239–50, ISSN 0010-437X, （原始内容存档于2008-12-01） .
• Goldstein, Herbert, Classical Mechanics 2nd, Reading, MA: Addison-Wesley Publishing: 588–596, 1980, ISBN 0-201-02918-9 .
• Hatcher, Allen, Algebraic topology, Cambridge University Press, 2002 [2008-09-13], ISBN 978-0-521-79540-1, （原始内容存档于2018-05-19） .
• Husain, Taqdir, Introduction to Topological Groups, Philadelphia: W.B. Saunders Company, 1966, ISBN 978-0-89874-193-3 
• Jahn, H.; Teller, E., Stability of Polyatomic Molecules in Degenerate Electronic States. I. Orbital Degeneracy, 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, Quantum Groups, Springer, 1994, ISBN 978-0387943701 .
• Kuipers, Jack B., Quaternions and rotation sequences - A primer with applications to orbits, aerospace, and virtual reality, Princeton University Press, 1999, ISBN 978-0-691-05872-6, MR1670862 .
• Kuga, Michio, Galois' dream: group theory and differential equations, Boston, MA: Birkhäuser Boston, 1993, ISBN 978-0-8176-3688-3, MR1199112 .
• Kurzweil, Hans; Stellmacher, Bernd, The theory of finite groups, Universitext, Berlin, New York: Springer-Verlag, 2004, ISBN 978-0-387-40510-0, MR2014408 .
• Lay, David, Linear Algebra and Its Applications, Addison-Wesley, 2003, ISBN 978-0-201-70970-4 .
• Mac Lane, Saunders, Categories for the Working Mathematician 2nd, Berlin, New York: Springer-Verlag, 1998, ISBN 978-0-387-98403-2 .
• Michler, Gerhard, Theory of finite simple groups, Cambridge University Press, 2006, ISBN 978-0-521-86625-5 .
• Milne, James S., Étale cohomology, Princeton University Press, 1980, ISBN 978-0-691-08238-7 
• Mumford, David; Fogarty, J.; Kirwan, F., Geometric invariant theory 34 3rd, Berlin, New York: Springer-Verlag, 1994, ISBN 978-3-540-56963-3, MR1304906 .
• Naber, Gregory L., The geometry of Minkowski spacetime, New York: Dover Publications, 2003, ISBN 978-0-486-43235-9, MR2044239 .
• Neukirch, Jürgen, Algebraic Number Theory, Grundlehren der mathematischen Wissenschaften 322, Berlin: Springer-Verlag, 1999, ISBN 978-3-540-65399-8, MR1697859 
• Romanowska, A.B.; Smith, J.D.H., Modes, World Scientific, 2002, ISBN 9789810249427 .
• Ronan, Mark, Symmetry and the Monster: The Story of One of the Greatest Quests of Mathematics, Oxford University Press, 2007, ISBN 978-0-19-280723-6 .
• Rosen, Kenneth H., Elementary number theory and its applications 4th, Addison-Wesley, 2000, ISBN 978-0-201-87073-2, MR1739433 .
• Rudin, Walter, Fourier Analysis on Groups, Wiley Classics, Wiley-Blackwell, 1990, ISBN 047152364X .
• Seress, Ákos, An introduction to computational group theory, Notices of the American Mathematical Society, 1997, 44 (6): 671–679, ISSN 0002-9920, MR1452069, （原始内容存档于2007-02-08） .
• Serre, Jean-Pierre, Linear representations of finite groups, Berlin, New York: Springer-Verlag, 1977, ISBN 978-0-387-90190-9, MR0450380 .
• Shatz, Stephen S., Profinite groups, arithmetic, and geometry, Princeton University Press, 1972, ISBN 978-0-691-08017-8, MR0347778 
• Suzuki, Michio, On the lattice of subgroups of finite groups, Transactions of the American Mathematical Society, 1951, 70 (2): 345–371, doi:10.2307/1990375 .
• Warner, Frank, Foundations of Differentiable Manifolds and Lie Groups, Berlin, New York: Springer-Verlag, 1983, ISBN 978-0-387-90894-6 .
• Weinberg, Steven, Gravitation and Cosmology, New York: John Wiley & Sons, 1972, ISBN 0-471-92567-5 .
• Welsh, Dominic, Codes and cryptography, Oxford: Clarendon Press, 1989, ISBN 978-0-19-853287-3 .
• Weyl, Hermann, Symmetry, Princeton University Press, 1952, ISBN 978-0-691-02374-8 .

历史引用

参见：群论在历史上的重要出版物。

• Borel, Armand, Essays in the History of Lie Groups and Algebraic Groups, Providence, R.I.: American Mathematical Society, 2001, ISBN 978-0-8218-0288-5 
• Cayley, Arthur, The collected mathematical papers of Arthur Cayley, II (1851 - 1860), Cambridge University Press, 1889 .
• Curtis, Charles W., Pioneers of Representation Theory: Frobenius, Burnside, Schur, and Brauer, History of Mathematics, Providence, R.I.: American Mathematical Society, 2003, ISBN 978-0-8218-2677-5 .
• （德文） von Dyck, Walther, Gruppentheoretische Studien Group-theoretical Studies (subscription required), Mathematische Annalen, 1882, 20 (1): 1–44, ISSN 0025-5831, doi:10.1007/BF01443322 .
• （法文） Galois, Évariste, Tannery, Jules , 编, Manuscrits de Évariste Galois [Évariste Galois' Manuscripts], Paris: Gauthier-Villars, 1908 [2008-09-13], （原始内容存档于2011-05-21）  (Galois work was first published by Joseph Liouville in 1843).
• （法文） Jordan, Camille, Traité des substitutions et des équations algébriques [Study of Substitutions and Algebraic Equations], Paris: Gauthier-Villars, 1870 .
• Kleiner, Israel, The evolution of group theory: a brief survey (subscription required), Mathematics Magazine, 1986, 59 (4): 195–215, ISSN 0025-570X, MR863090 .
• （德文） Lie, Sophus, Gesammelte Abhandlungen. Band 1 [Collected papers. Volume 1], New York: Johnson Reprint Corp., 1973, MR0392459 .
• Mackey, George Whitelaw, The theory of unitary group representations, University of Chicago Press, 1976, MR0396826 
• Smith, David Eugene, History of Modern Mathematics, Mathematical Monographs, No. 1, 1906 [2008-09-13], （原始内容存档于2008-09-19） .
• Wussing, Hans, The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory, New York: Dover Publications, 2007, ISBN 978-0-486-45868-7 .

外部链接

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