定义

群是一个集合 G ，连同一个运算"·"，它结合任何两个元素 a 和 b 而形成另一个元素，记为 a · b 。符号"·"是对具体给出的运算，比如整数加法的一般占位符。要具备成为群的资格，这个集合和运算 ( G ,·) 必须满足叫做 群公理 的四个要求：

进行群运算的次序是重要的。换句话说，把元素 a 与元素 b 结合，所得到的结果不一定与把元素 b 与元素 a 结合相同；亦即，下列等式不一定恒成立：

这个等式在整数于加法下的群中总是成立，因为对于任何两个整数都有 a + b = b + a （加法的交换律）。但是在对称群的例子中不总是成立。使等式 a · b = b · a 总是成立的群叫做阿贝尔群（以尼尔斯·阿贝尔命名）。因此，整数加法群是阿贝尔群，而对称群不是。

举例

例一：整数

最常见的群之一是整数集 Z {\displaystyle \mathbb {Z} } ，它由以下数组成：

下列整数加法的性质，可以作为抽象的群公理的模型。

对于任何两个整数 a 和 b ，它们的和 a + b 也是整数。换句话说，在任何时候，把两个整数相加都能得出整数的结果。这个性质叫做在加法下封闭。

对于任何整数 a , b 和 c ，( a + b ) + c = a +（ b + c ）。用话语来表达，先把 a 加到 b ，然后把它们的和加到 c ，所得到的结果与把 a 加到 b 与 c 的和是相等的。这个性质叫做结合律。

如果 a 是任何整数，那么0 + a = a + 0 = a 。零叫做加法的单位元，因为把它加到任何整数都得到相同的整数。

对于任何整数 a ，存在另一个整数 b 使得 a + b = b + a = 0。整数 b 叫做整数 a 的逆元，记为− a 。

例二：对称群

正方形的对称操作（比如旋转和反射）形成了一个群，叫做二面体群，并记为D 4 。 二面体群中有下列8个对称：

任何两个对称 a 和 b 都可以复合，即进行一个之后再进行另一个。先进行 a 然后进行 b 在符号上“从右到左”写为

右面的群表列出了这种复合的所有可能结果。例如，右旋270°(r 3 )然后水平翻转（f h ），等于进行一个沿对角线的反射（f d ），如群表中蓝色突出的单元格所示。使用上述符号可以记为：

给定这个对称的集合和描述的运算，群公理可以理解如下：

闭合公理要求任何两个对称 a 和 b 的复合 b · a 仍是对称。另一个群运算的例子是

就是说在水平翻转后右旋270°等于沿反对角线翻转（f c ）。确实，两个对称的所有其他组合仍得出一个对称，这可以使用群表来检查。

结合律的限制处理多于两个对称的复合：给定D 4 的三个元素 a 、 b 和 c ，有两种方式计算“ a 接着 b 接着 c ”。

的要求，意味着三个元素的复合与先进行哪个运算是无关的。 例如， (f d ·f v )·r 2 = f d · (f v ·r 2 ) 可以使用右侧的群表来检查

单位元是保持所有东西不变的对称id：对于任何对称 a ，进行 a 然后进行id（或进行id然后进行 a ）等于 a ，用符号表示为

逆元素撤销某个其他元素的变换。所有对称都是可以撤销的：恒等id，翻转f h 、f v 、f d 、f c 和180°旋转r 2 这些变换都是自身的逆元，因为把它们进行两次就把正方形变回了最初的样子。旋转r 3 和r 1 相互是逆元，因为按一个方向旋转再按另一个方向旋转相同角度保持正方形不变。用符号表示为

与上述的整数群不同的是，在整数群中运算次序是无关紧要的，而在D 4 中则是重要的： f h ·r 1 = f c 然而 r 1 ·f h = f d 。换句话说，D 4 不是阿贝尔群，这使得这个群的结构比上面介绍的整数群要更加复杂。

历史

抽象群的现代概念是从多个数学领域发展出来的。 群论的最初动机是为了求解高于4次的多项式方程。十九世纪法国数学家埃瓦里斯特·伽罗瓦，扩展了保罗·鲁菲尼和约瑟夫·拉格朗日先前的工作，依据特定多项式方程的根（解）的对称群给出了对它的可解性的判别准则。这个伽罗瓦群的元素对应于根的特定置换。伽罗瓦的想法最初被同代人所拒绝，只在死后才出版。 更一般的置换群由奥古斯丁·路易·柯西专门研究。阿瑟·凯莱的《On the theory of groups, as depending on the symbolic equation θ = 1》（1854年）给出有限群的第一个抽象定义。

几何是第二个系统性的使用群，特别是对称群的领域。这类群是菲利克斯·克莱因1872年的爱尔兰根纲领的一部分。 在新型的几何如双曲几何和射影几何形成之后，克莱因利用群论以更连贯的方式来组织它们。索菲斯·李进一步发展了这些想法，在1884年创立了李群的研究。

对群论有贡献的第三个领域是数论。一些阿贝尔群结构在卡尔·弗里德里希·高斯的数论著作《算术研究》（1798年）中被隐含地用到，并被利奥波德·克罗内克更明显地用到。 1847年，恩斯特·库默尔发展了描述用素数做约数分解的理想类群，使证明费马大定理的早期尝试达到了高潮。

把上述各种来源融合成一个群的统一理论是从卡米尔·若尔当的《Traité des substitutions et des équations algébriques》（1870年）开始的。 瓦尔特·冯·迪克（1882年）给出了第一个抽象群的现代定义的陈述。 在二十世纪，群在费迪南德·格奥尔格·弗罗贝尼乌斯和威廉·伯恩赛德的开拓性著作中获得了广泛的认识，他们研究有限群的表示理论，还有理查德·布劳尔的模表示论和Issai Schur的论文。 赫尔曼·韦伊、埃利·嘉当和很多其他人推进了李群和更一般的局部紧群的理论。 它的代数对应者——代数群的理论，由克劳德·舍瓦莱（从1930年代晚期开始）和后来阿尔曼德·波莱尔和雅克·蒂茨的重要著作奠基。

芝加哥大学于1960-61年举办的“群论年”活动促使群论家们以丹尼尔·格伦斯坦，约翰·格里格斯·汤普森和华特尔·费特为基础展开合作。在大量其他数学家的帮助下，他们完成了有限单群的分类。这项工程，不论是从证明长度来说还是从参与人数来说，其浩大程度超越了之前一切的数学成果。简化此证明的研究还在进行中。 群论在当下仍是一个活跃的数学分支，并仍在对其他分支产生重大影响。

群公理的简单结论

可以从群公理直接获得的关于所有群的基本事实，通常包含在初等群论中。 例如，重复应用结合律公理，可以证明以下等式

可以推广到多于三个因子。因为这意味着括号可以插入到一序列的项的任何地方，所以通常省略括号。

公理可以弱化为只宣称左单位元和左逆元的存在性。二者可以被证明实际上是双侧的，所以得出的定义与上面给出的等价。

单位元和逆元的唯一性

群公理的两个重要结果是单位元和逆元的唯一性。在群中只能有一个单位元，而群中的每个元素都正好有一个逆元素。

要证明 a 的逆元素的唯一性，假设 a 有两个逆元，记为 l 和 r 。则

因此 l 和 r 被一系列等式连接了起来，所以它们是相等的。换句话说 a 只有一个逆元。

除法

在群中，可以进行除法：给定群 G 的元素 a 和 b ， G 中存在方程 x · a = b 的唯一解 x 。 实际上，把方程右乘以 a 给出解 x = x · a · a = b · a 。类似地， G 中存在方程 a · y = b 的唯一解 y ，也就是 y = a · b 。一般地说， x 和 y 不一定相等。

这一结果的一个推论是“乘以某个群中的元素 g ”是一个双射。特别地，如果 g 是群 G 的一个元素，则有 G 到自身的双射，（称为 由 g 引起的左平移 ）它将 h ∈ ∈ --> G {\displaystyle h\in G} 映射为 g ⋅ ⋅ --> h {\displaystyle g\cdot h} 。类似地， 由 g 引起的右平移 是一个 G 到自身的双射，它将 h ∈ ∈ --> G {\displaystyle h\in G} 映射为 h ⋅ ⋅ --> g {\displaystyle h\cdot g} 。如果 G 是阿贝尔群，由同一个元素引起的左平移和右平移是相同的。

基本概念

更多资料：群论术语

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

群同态

群同态 是保持群结构的函数。两个群之间的函数 a : G → H 是同态，如果等式

对于所有 G 中的元素 g 、 k 都成立，就是说在进行映射 a 之后还是之前进行群运算所得到的结果是一样的。这个要求保证了 a (e G ) = e H ，以及对于 G 中的所有 g ，都有 a ( g ) = a ( g ) 。因此群同态保持了群公理提供的 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 也在其中，所以 H 的元素对于限制于 H 的 G 上的群运算确实形成了一个群。

在上面例子中，单位元和旋转构成了一个子群 R = {id, r 1 , r 2 , r 3 } ，在上面的群表中突出为红色：任何两个复合的旋转仍是一个旋转，并且旋转可以被相反方向上的旋转（它的逆元）所抵消。子群检验法是群 G 的子集 H 是子群的充分必要条件：对于所有元素 g , h ∈ H ，只需检查 g h ∈ H 。了解子群族对于作为一个整体来理解群是重要的。

给定群 G 的任何子集 S ，由 S 所生成的子群是由 S 的元素和它们的逆元的乘积组成。它是包含 S 的 G 的最小子群。 在上面介绍例子中，r 2 和f v 所生成的子群由这两个元素本身、单位元id和 f h = f v ·r 2 构成。这还是个群，因为结合这四个元素或它们的逆元（在这个特殊情况下，是这些相同的元素）中任何两个仍得到这个子群中的元素。

陪集

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

任何子群 H 的陪集形成了 G 的一个划分；就是说所有左陪集的并集与 G 相等，而且两个陪集要么相等，要么有空的交集。 第一种情况 g 1 H = g 2 H 出现当且仅当 g 1 g 2 ∈ H ，就是说如果这两个元素差异了 H 的一个元素。类似的考虑也适用于 H 的右陪集。 H 的左和右陪集可以相等也可以不相等。如果它们相等，就是说对于所有 G 中的 g 有 gH = Hg ，则 H 被称为正规子群。

在前面介绍的对称群D 4 中，由旋转构成的子群 R 的左陪集 gR 要么等于 R ，如果 g 是 R 自身的一个元素；要么等于 U = f v R = {f v , f d , f h , f c } （用绿色突出）。子群 R 还是正规的，因为 f v R = U = R f v 且对于任何f v 以外的元素也是类似的。

商群

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

这个集合从最初的群 G 继承了一个群运算（有时叫做陪集乘法或陪集加法）：对于所有 G 中的 g 和 h ， ( gN )· ( hN ) =（ gh ） N 。这个定义是由关联任何元素 g 到它的陪集 gN 的映射 G → G / N 是群同态的想法（自身是上面提出的一般结构性考虑的一个实例）所激发的，或者是叫做泛性质的一般抽象考虑。陪集 eN = N 充当了这个群的单位元，在商群中 Ng 的逆元是 ( gN ) =（ g ） N 。

商群 D 4 / R 的元素是代表单位元的 R 自身和 U = f v R 。商群上的群运算如右侧所示。例如， U · U = f v R ·f v R =（f v ·f v ） R = R 。子群 R = {id, r 1 , r 2 , r 3 } 和对应的商群都是阿贝尔群，而D 4 不是阿贝尔群。通过较小的群构造较大的群，例如从子群 R 和商群 D 4 / R 构造D 4 ，被抽象为叫做半直积的概念。

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

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

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

共轭

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

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

例子和应用

周期性壁纸引发壁纸群。平面减去一个（粗体）点的基本群由在这个区域内的环路构成。

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

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

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

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

数

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

整数

整数 Z 在加法下的群记为（ Z , +），它在上面已经描述了。整数带有用乘法替代加法的运算，( Z , ·)不形成群。闭合、结合律和单位元公理满足，但逆元不存在：例如， a = 2 是整数，但方程 a·b = 1 的唯一解在这种情况下是 b = 1/2，它是有理数而非整数。因此不是所有 Z 的元素都有（乘法）逆元。

有理数

对乘法逆元存在的要求建议了考虑分式

整数的分式（要求 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 。以上事实记为

p 的首要作用是确保了两个都不被 p 整除的整数的乘积也不被 p 整除，因此指示的同余类的集合在乘法下闭合。 单位元如平常的乘法群一样是1，而结合律可以从整数的相应性质得出。最后，逆元公理要求给定不整除于 p 的整数 a ，存在一个整数 b 使得

逆元 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 表示 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）三角群的一个元素通过置换突出的弯曲的三角形作用在镶嵌上（其他的元素也是）。通过群作用，群模式被连接到了所作用到的对象的结构上。

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

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

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

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

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

有限对称群比如马蒂厄群被用于编码理论中，它又用于传输数据的纠错和CD播放器中。 另一个应用是微分伽罗瓦理论，它刻画有已知形式的不定积分的函数，给出何时特定微分方程的解有良好表现的群论判定标准。 在群作用下保持稳定的几何性质在几何不变量理论中研究。

一般线性群和表示理论

  两个向量（左侧展示），和它们乘以矩阵之后（中间和右侧展示）。中间的表示了顺时针旋转90°，而右侧的再按因子2伸缩了 x 坐标。

矩阵群由矩阵加上矩阵乘法一起构成。一般线性群 GL ( n , R ) 由所有可逆的 n 乘 n 的带有实数元素的矩阵构成。 它的子群被称为矩阵群或线性群。上面提及的二面体群例子可以被看作（非常小的）矩阵群。另一个重要矩阵群是特殊正交群 SO ( n )。它描述了 n 维的所有可能旋转。通过欧拉角，旋转矩阵被用于计算机图形学中。

表示理论是对群概念的应用并且对深入理解群是很重要的。 它通过群作用于其他空间来研究群。一类广泛的群表示是线性表示，就是说群作用在线性空间中，比如三维欧几里得空间 R 。 G 在 n -维实向量空间上的表示简单的是从群到一般线性群的群同态

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

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

伽罗瓦群

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

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

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

有限群

一个群被称为有限群，如果它有有限个元素。元素的数目叫做群 G 的阶。 一类重要的有限群是n次对称群 S N ，它是 N 个字母的置换的群。例如，在3个字母上的n次对称群 S 3 是由三个字母 ABC 的所有可能置换构成的群，就是说它包含元素 ABC , ACB , ...,直到 CBA ，总共有6（或3的阶乘）个元素。这类群是基础性的，因为任何有限群都可以表达为 n 次对称群 S N 在适合的整数 N 下的子群（凯莱定理）。相似于上述正方形的对称的群， S 3 还可以解释为等边三角形的对称的群。

在群 G 中的一个元素 a 的阶是最小的使得 a = e 的正整数 n ，这里的 a 表示 a ⋅ ⋅ --> … … --> ⋅ ⋅ --> a ⏟ ⏟ --> n {\displaystyle \underbrace {a\cdot \ldots \cdot a} _{n}} ，就是应用运算·于 a 的 n 个复本上。（如果·代表乘法则 a 对应于 a 的 n 次幂）。在无限群中，这个 n 可能不存在，在这种情况下 a 的阶被称为无限的。一个元素的阶等于这个元素生成的循环子群的阶。

更复杂的计数技术例如计数陪集，产生关于有限群的更精确陈述：拉格朗日定理声称有限群 G 的任何有限子群 H 的阶整除 G 的阶。西罗定理证明了它的部分逆命题。

上面讨论的二面体群是8阶有限群。r 1 的阶为4，这是它生成的子群 R （见上）的阶。反射元素f v 等的阶是2。如拉格朗日定理所述这两个阶都整除8。上面的群 F p 有阶 p − 1 。

有限单群分类

数学家们常常为寻求一种数学对象的完备分类（或列表）而努力。在有限群的领域内，这个目标迅速引出了一系列困难而意义深远的数学问题。根据拉格朗日定理，p阶有限群（p为素数）必定是循环（阿贝尔）群 Z p 。 p 阶群也被证明是阿贝尔群。但这一命题并不能推广到 p 阶群，如上面的非阿贝尔群——8阶二面体群D 4 所示，其中8 = 2 。 可以利用计算机代数系统来给较小的群列表，但没有对一切有限群的分类。 一个中间步骤是有限单群分类。 如果一个非平凡群仅有的正规子群是平凡群和它自身，那么这个群叫做一个单群或简单群。 若尔当-赫尔德定理说明单群可以作为建构有限群的“砖块”。 有限单群列表是当代群论的一个主要成就。1998年的菲尔兹奖得主理查·伯切德斯成功地证明了所谓怪兽-胡言乱语猜想。该猜想指出了最大有限简单散在群——“怪兽群”与一种来自经典复分析和弦理论（一种被认为统一了对许多物理学现象的描述的理论）的对象模函数之间的惊人而深刻的联系。

带有额外结构的群

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

拓扑群

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

某些拓扑空间可以配备上群结构。为了让群公理与拓扑交织良好，群运算必须是连续函数，就是说如果 g 和 h 只变化很小，那么 g · h , 和 g 必须变化不大。这种群叫做拓扑群，并且它们是在拓扑空间范畴内的群对象。 最基本的例子是实数 R 在加法之下 ( R \{0},·) ，任何其他拓扑域比如复数或p进数也是类似。所有这些群都是局部紧拓扑群，所以它们有哈尔测度并可以通过调和分析来研究。前者提供了不变积分的抽象形式化。以实数情况为例，不变性意味着有：

对于任何常数 c 成立。在这些域上的矩阵群也属于这种结构下，赋值向量环和赋值向量代数群也是如此，它们对数论是基础性的。 无限域扩张的伽罗瓦群比如绝对伽罗瓦群也可以配备上拓扑，叫做Krull拓扑，它又是推广上面概述的域和群的连接到无限域扩张的中心概念。 适应代数几何需要的这个想法的高级推广是étale基本群。

李群

李群（为纪念索菲斯·李而命名）是具有流形结构的群，就是说它们是局部上看起来像某个适当维度的欧几里得空间的空间。 这里，作为额外结构的流形结构也必须是兼容的，就是说对应于乘法和求逆的映射必须是光滑的。

标准例子是上面介绍的一般线性群：它是所有 n × × --> n {\displaystyle n\times n} 矩阵的空间的开子集，因为它由不等式

给出。这里的 A 指示 n × × --> n {\displaystyle n\times n} 矩阵。

李群在物理中是基础性的：诺特定理把连续对称与守恒定律关联起来。 在空间和时间中旋转和平移不变性是力学定律的基本对称。它们可以被用来构造简单的模型——比如在一种状况下实施轴对称常常会导致在解用来提供物理描述的方程上的重大简化。 另一个例子是洛伦兹变换，它有关于两个相互运动的观察者的时间和速度的测量。它们可以用纯群论方式推演，通过把变换表达为闵可夫斯基时空的旋转对称。在忽略万有引力的情况下，后者充当了狭义相对论的时空模型。 闵可夫斯基时空的完全对称群，就是说包括了平移，叫做庞加莱群。通过上述联系，它在狭义相对论中扮演了关键角色，并隐含地用于量子场论。 随位置变化的对称与规范场论一起构成现代物理对相互作用的描述的中心。

推广

在抽象代数中，通过放松定义群的某个公理可定义出更多的一般结构。 例如，如果省略所有元素都逆元的要求，结果的代数结构就叫做幺半群。自然数集 N （包括0）在加法下形成了幺半群，还有非零整数在乘法下 ( Z \{0},·) 也是。有一种一般方法用来向任何（阿贝尔的）幺半群正式的增加元素的逆元，非常类似于从 ( Z \{0},·) 得出 ( Q \{0},·) 的方式，这叫做格罗滕迪克群。广群非常类似于群，除了复合 a · b 不必须在所有的 a 和 b 上有定义之外。它们由更加复杂形式的对称的研究所引发，常见于拓扑和分析结构比如基本广群中。表格给出一些推广群的结构。

参见

子群

群子集的乘积

正规子群

同构基本定理

有限群

中心化子和正规化子

拉格朗日定理

可解群

幂零群

舒尔正交关系

注释

^ a: 《数学评论》列出了3,224篇2005年写的关于群论和它的应用的研究论文。 ^ b: 闭合公理已经由·是二元运算的条件所蕴含。因此有些作者省略这个公理。 Lang2002 。 ^ c: 比如参见Lang (2002, 2005)和Herstein (1996, 1975)的书。 ^ d: 但是一个群不由它的子群的格所决定。参见 Suzuki1951 。 ^ e: 群运算的这么规范的扩展是泛性质的实例。 ^ f: 例如，依据拉格朗日定理，如果 G 是有限的，则任何子群和任何商群的大小整除 G 的大小。 ^ g: 词同态演化自希腊语ὁμός—相同和μορφή—结构。 ^ h: 循环群的加法符号是 t · a , t ∈ Z 。 ^ i: 例子参见Seifert–van Kampen定理。 ^ j: 一个例子是群的群上同调，它等于它的分类空间的单同调。 ^ k: 有乘法逆元的元素叫做可逆元，参见 Lang2002, §II.1, p. 84 。 ^ l: 通过增加分数的从整数到有理数的转变推广为分式域。 ^ m: 用任何域 F 替代 Q 同样是真的。参见 Lang2005, §III.1, p. 86 。 ^ n: 例如，域的乘法群的有限子群必然是循环群。参见 Lang2002, Theorem IV.1.9 。模和单纯代数的挠概念是这个原理的另一个实例。 ^ o: 陈述的性质是素数的一个可能定义。参见素元。 ^ p: 例如，Diffie-Hellman密钥交换协议使用离散对数。 ^ q: 阶不超过2000的群是已知的。这些群在同构意义下约有490亿个。参见 Besche, Eick & O"Brien2001 . ^ r: 在单群和一般群分类之间的缺口在于扩张问题，一个很难一般性求解的问题。参见 Aschbacher2004, p. 737 . ^ s: 等价地说，一个非平凡群是单群当且仅当它仅有的商群是平凡群和自身。参见 Michler2006 , Carter1989 . ^ t: 更严格的说，所有群都是某个图的对称群，参见 Frucht1939 。 ^ u: 更精确地说，monodromy作用在要考虑的微分方程的解的向量空间上。参见 Kuga1993, pp. 105–113 。 ^ v: 例如参见史瓦西度规，这里的对称极大的减小了物理系统的复杂性。 ^ w: 例如，这是有限简单群的分类的关键。参见 Aschbacher2004 。 ^ x: 例如，群作用在单模上的效果的Schur引理。更加复杂的例子是绝对伽罗瓦群作用在étale上同调上。 ^ y: 单射和满射分别对应于单同态和满同态。在传给对偶范畴的时候它们是可互换的。

引文

引用

一般引用 专门引用 历史引用

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。