群 在数学中，群（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年举办的“群论年”活动促使群论家们以丹尼尔·戈伦斯坦，约翰·格里格斯·汤普森和瓦尔特·法伊特为基础展开合作。在大量其他数学家的帮助下，他们完成了有限单群的分类。这项工程，不论是从证明长度来说还是从参与人数来说，其浩大程度超越了之前一切的数学成果。简化此证明的研究还在进行中。群论在当下仍是一个活跃的数学分支，并仍在对其他分支产生重大影响。[a] 正式定义. 给定集合 formula_1 ，且它配备的二元运算 formula_2 满足（其中运算结果 formula_3 被简记为 formula_4 ）： 的话，称 formula_5 是一个群。当其配备的二元运算 formula_6 不是那么重要时， formula_5 也常常简记为 formula_1 。 群运算的次序很重要，也就是说，formula_9（交换律）不一定成立。满足交换律的群称为交换群（或阿贝尔群，以尼尔斯·阿贝尔命名），不满足交换律的群称为非交换群（非阿贝尔群）。如以下面举例一节的二面体群就不是交换群。 等价的定义. 上面关於单位元和逆元素的部分也可以改为： 因为不管原来的淡紫色定义，还是淡黄色的替代性定义，配上结合律都会等价于以下的定义： 以下是证明： 若二元运算 formula_2 满足结合律，且 formula_11 对任意 formula_12 有 「formula_13 」(left-1) 「存在某 formula_14 使 formula_15 」(left-2) 因为 formula_6 是二元运算， formula_17 。所以根据(left-2)，存在 formula_18 满足 formula_19 这样根据结合律和(left-1)与(left-2)有 formula_20 所以左逆元必为右逆元，这样根据结合律有 formula_21 所以左单位元必为右单位元。 类似地，若二元运算 formula_2 满足结合律，且 formula_23 对所有 formula_12 有 「 formula_25 」(right-1) 「存在某 formula_26 ，使 formula_27 」(right-2) 因为 formula_28 ，所以根据(right-2)存在 formula_29 满足 formula_30 所以根据结合律、(right-1)和(right-2)有 formula_31 所以右逆元也为左逆元。这样根据结合律有 formula_32 所以右单位元必为左单位元。 再考虑到淡蓝色是要求 formula_33 同时为左右单位元且存在左右逆元，这样就证明以上三种定义在有结合律的前提下等价。 举例. 整数加法群. 整数系 formula_34 是由所有整数所组成： ..., −4, −3, −2, −1, 0, 1, 2, 3, 4, ... 可以看出，整数系和整数的加法是可以构成群的： 实数乘法群. 实数集去除 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个旋转和翻转： 如果 formula_35 和 formula_36 是上述8个「操作」的其中一个，「操作的复合」 formula_4 定义为先对正方形操作 formula_35 之后再操作 formula_36 。比如说，右旋270° ( formula_40 ) 然后水平翻转（ formula_41 ），等同于沿对角线的反射（ formula_42 ），这样就可以表示为 formula_43 。 下面的群表列出了这种「操作的复合」的所有可能结果。 如果取 formula_44 那么根据以上的群表， formula_45 的确是个二元运算，而且 formula_46 为群（其中 formula_47 符合单位元的要求），它被称为二面体群。注意到上表淡紫色的部分破坏了交换律，所以二面体群不是交换群。 基本性质. 单位元的唯一性. 若群 "formula_48" 同时有两个单位元 "formula_33" 和 "formula_50" ，那根据定义里对单位元的定义，对于任意 "formula_12" 有： formula_52 formula_53 这样的话，把 formula_54 分别代换为 formula_55 和 formula_56 就有 formula_57 formula_58 所以 formula_59 所以群的单位元是唯一的，这样根据函数符号与唯一性间的关系，可以添加新的三元函数符号 formula_60 与以下的新公理（以下的合式公式 formula_61 是 「formula_6 是 formula_1 上的一个二元运算，且存在 formula_6 的单位元」的正式逻辑表述） formula_65 这条公理直观上表示，只要「formula_6 是 formula_1 上的一个二元运算，且存在 formula_6 的单位元」，就可以用 formula_60 这个符号简记 「"formula_48" 上的那个唯一单位元」，否则取 formula_60 为空集。 为了简便起见， formula_60 通常记为 formula_73 甚至是 formula_56 。 逆元的唯一性. 在增添以上的新函数符号 formula_60 和新公理的情况下，就可以证明逆元素的唯一性。 若群 "formula_48" 的某元素 "formula_12" 有两个逆元 "formula_78" 和 "formula_79" ，那根据定义和 formula_60 的新公理有 formula_81 formula_82 那这样的话，依据定义里的结合律和 formula_60 的新公理有 formula_84 所以任意 "formula_12" 只有一个逆元。这样根据函数符号与唯一性间的关系，可以添加一个三元函数符号 formula_86 与以下的新公理（以下的合式公式 formula_87 是 「 "formula_48" 为一群，且 "formula_12" 」的正式逻辑表述） formula_90 这条公理直观上表示，只要「 "formula_48" 为一群，且 "formula_12" 」，就可以用 formula_86 简记 「"formula_54 "在" formula_48" 上对应的那个唯一逆元素」，否则取 formula_86 为空集。 简便起见， formula_86 通常记为 "formula_98"。 群的幂. 若 "formula_48" 为一群，可以仿造整数指数，对任意 formula_12 作如下关于符号简写的递归定义 formula_101 （单位元视为 formula_102 次方） formula_103 对所有的整数 formula_104 ， formula_105 对所有的整数 formula_104 ， formula_107 除法与减法. 如果群的运算可以跟直观上的加法联想在一起而改记为「 "formula_108" 」或「 "formula_109" 」，这时也会把 formula_110 改记为 formula_111 或 formula_112 ，这时会暱称 formula_111 为减法。更有甚者，formula_98 会被记为 formula_115 。 类似的，如果群的运算可以跟直观上的乘法联想在一起而改记为「 "formula_116" 」或「 "formula_117" 」，这时会把 formula_118 改记为 formula_119 或 formula_120 ，并暱称为除法；更有甚者，formula_98 会被记为 formula_122 。 注意以上都是为了直观理解方便所规定的简写，并不是断定群的运算必然跟一般实数的加减乘除一模一样。 下列章节使用了数学符号如"X" = { "x", "y", "z" }来表示集合"X"包含元素"x"、"y"和"z"，或formula_123来表示"x"是"X"的一个元素。记法formula_124意味著"f"是对"X"的所有元素指定"Y"的一个元素的函数。 基本概念. 要超越上述纯粹符号操作水平去理解群，必须采用更加结构性的概念。[c]有一个概念性原理位于所有下列概念的底层：要发挥群提供的结构（而无结构的集合就没有）的优势，与群有关的构造必须与群运算"兼容"。下列概念中以各种方式表现了这种兼容性。例如，群可以通过叫做群同态的函数相互关联。根据上述这个原理，要求它们以精确的意义照顾到群结构。群的结构还可以通过把它们分解成子群和商群来理解。“保持结构”的原理是在数学中反复出现的一个主题，它是靠范畴来工作的一个实例，在这里的情况下靠群范畴。 群同态. 群同态[g]是保持群结构的函数。两个群之间的函数 "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"上的群运算确实形成了一个群。 在上面例子中，单位元和旋转构成了一个子群 ，在上面的群表中突出为红色：任何两个复合的旋转仍是一个旋转，并且旋转可以被相反方向上的旋转（它的逆元）所抵消。我们可以通过以下方法检验子集“H"是群"G"是子群 : 对于所有元素 "g", "h" ∈ "H" ，只需检查"g"−1"h" ∈ "H"。了解子群族对于作为一个整体来理解群是重要的。[d] 给定群"G"的任何子集"S"，由"S"所生成的子群是由"S"的元素和它们的逆元的乘积组成。它是包含"S"的"G"的最小子群。在上面介绍例子中，r2和fv所生成的子群由这两个元素本身、单位元id和 fh = fv·r2 构成。这还是个群，因为结合这四个元素或它们的逆元（在这个特殊情况下，是这些相同的元素）中任何两个仍得到这个子群中的元素。 循环群. 设 formula_125 为一个群，若 formula_1 里面存在元素 formula_54，使 formula_128 则称 formula_125 为一个循环群。 陪集. 在很多情况下，需要认为两个群元素是等同的，如果它们只差一个给定子群中的元素。例如，在上述D4中，一旦进行了翻转，只进行旋转运算（不再进行翻转）正方形就永远不能回到r2的构型，就是说旋转运算对于是否已经进行了翻转的问题是无关紧要的。陪集可用来把这种现象形式化：子群"H"定义了左陪集和右陪集，它们可以认为是把"H"平移了一个任意群元素"g"。用符号表示，"H"的包含"g"的左和右陪集分别是 "gH" = {"gh", formula_130}和"Hg" = {"hg", formula_130}。 任何子群"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"自身的一个元素；要么等于 （用绿色突出）。子群"R"还是正规的，因为 fv"R" = "U" = "R"fv 且对于任何fv以外的元素也是类似的。 商群. 有时在由陪集形成的集合上可以赋予一个满足群公理的运算而使之成为"商群"或"因子群"。这仅在子群是正规的时候才可行。给定任何正规子群"N"，商群定义为 "G" / "N" = {"gN", formula_12}，“formula_1 模 formula_134” 这个集合从最初的群"G" 继承了一个群运算（有时叫做陪集乘法或陪集加法）：对于所有"G" 中的"g" 和"h"， ("gN")· ("hN") =（"gh"）"N" 。这个定义是由关联任何元素"g"到它的陪集 "gN" 的映射"G" → "G" / "N"是群同态的想法（自身是上面提出的一般结构性考虑的一个实例）所激发的，或者是叫做泛性质的一般抽象考虑。陪集 "eN " = "N" 充当了这个群的单位元，在商群中"gN" 的逆元是 ("gN")−1 =（"g"−1）"N"。 [e] 商群D4 / "R"的元素是代表单位元的"R" 自身和 "U" = fv"R" 。商群上的群运算如右侧所示。例如， "U"·"U" = fv"R"·fv"R" =（fv·fv）"R" = "R" 。子群 和对应的商群都是阿贝尔群，而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"。[y]通过这些同态理解子群和商群强调了这些定义中内在的结构性概念。一般的说，同态既不是单射也不是满射。群同态的核与像和第一同构定理研究这个现象。 共轭. 如果同一个群中的两个元素"p" 和"q "满足关系："p = x−1qx"，其中"x" 也是同一个群中的元素，则称元素"p" 和"q" 共轭。共轭关系是一个等价关系，即它满足三个性质：共轭是自反的、对称的和传递的。 在群中可以找到一个集合，这个集合中每一个元素都相互共轭，而在这个集合以外群的其他部分已经没有任何元素与他们具有共轭关系了。称这种集合为群中的一个共轭类。同一个群的两个类之间一定没有共同的元素。群中一个元素一定属于且仅属于一个类。如果群中没有元素与该元素共轭，则该元素自成一类。 阶. 群中元素个数称为群"G"的"阶"，记为|"G"| 子群的阶能整除这个群的阶 应用. 群的例子和应用大量存在。起点是上面介绍过的整数的群 Z 带有加法作为群运算。如果把加法替代为乘法，就得到了乘法群。这些群是抽象代数中重要概念的前身。 群应用于很多数学领域中。数学物件的性质经常是通过将群关联与数学对象关联，并研究相应的群的性质来研究的。例如，儒勒·昂利·庞加莱通过引入基本群创立了现在所谓的代数拓扑。通过这种连接方式，拓扑性质比如临近和连续转换成了群的性质。[i]例如，右侧的图像描绘了平面减去一个点的基本群的元素。这个群的元素给出为在这个区域内的环路。蓝色环路被认为是零同伦（因此是无关紧要的），因为它可以收缩为一个点。圆孔的存在防止了橙色环路被收缩。橙色环路（或任何环绕这个圆孔一次的其他环路）所生成的，去掉了一个点的平面的基本群是无限循环群。基本群以这种方式探测到了这个圆孔。 在更新近的应用中，影响已经被倒转过来，由群论背景来激发几何结构了。[j]在类似的脉络下，几何群论采用了几何概念，比如在双曲群的研究中。其他一些大量应用群论的数学分支包括代数几何和数论。例如，典型群和皮卡德群在代数几何上有重要应用；参见 除了上述理论应用之外，还存在很多群的实践应用。密码学依赖于抽象群论方式和从计算群论中特别是实现于有限群上的时候所得到的算法知识的结合。群论的应用不限于数学；科学如物理、化学和计算机科学都受益于这个概念。 数. 很多数系统，比如整数和有理数享有自然给予的群结构。在某些情况下比如对于有理数，加法和乘法运算二者都引发群结构。这种系统是叫做环和-{zh-cn:域; zh-tw:体;}-的更一般的代数结构的前身。 整数. 整数Z在加法下的群记为（Z, +），它在上面已经描述了。整数带有用乘法替代加法的运算，(Z, ·)不形成群。闭合、结合律和单位元公理满足，但逆元不存在：例如， "a" = 2 是整数，但方程 "a·b" = 1 的唯一解在这种情况下是"b" = 1/2，它是有理数而非整数。因此不是所有Z的元素都有（乘法）逆元。[k] 有理数. 对乘法逆元存在的要求建议了考虑分式 formula_135。 整数的分式（要求"b"非零）叫做有理数。[l]所有这种分数的集合通常记为Q。对于有理数带有乘法(Q,·),成为群仍有一个小障碍：因为有理数0没有乘法逆元（就是说没有"x"使得 "x"·0 = 1 ），(Q, ·)仍然不是群。 但是，所有非零有理数的集合 形成一个在乘法下的阿贝尔群，记为(Q\{0},·)。[m]结合律和单位元公理从整数的性质中得出。闭合要求在去掉零之后仍成立，因为任何两个非零有理数的乘积永远不是零。最后，"a"/"b"的逆元是"b"/"a"，所以逆元公理也满足。 有理数（包括0）在加法下也形成群。同时带有加法和乘法运算产生更复杂的结构叫做环—如果同时除法总是可能的话（如在Q中）就是域，它在抽象代数中占据中心位置。群论理论因此位于这些实体的理论的底层部分。[n] 非零整数模以素数. 对于任何素数"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"整除，因此指示的同馀类的集合在乘法下闭合。[o]单位元如平常的乘法群一样是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"×。这些群对于公开密钥加密是至关重要的。[p] 循环群. "循环群"是其所有元素都是特定元素"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等等。[h]这个元素"a"叫做这个群的生成元或本原元。 这类群的典型例子是单位一的"n"次复数根，由满足 "z""n" = 1 的复数"z"给出，其运算为乘法。任何有"n"个元素的循环群同构于这个群。使用某些域论，群F"p"×可以被证明为是循环群：对于 "p" = 5, 3是生成元因为 31 = 3, 32 = 9 ≡ 4, 33 ≡ 2, 而 34 ≡ 1 。无限循环群同构于（Z, +），它是前面介绍的整数在加法下的群。因为这两个原型都是阿贝尔群，所以任何循环群都是。 阿贝尔群包括有限生成阿贝尔群的基本定理的研究是非常成熟的；对这个事态的反映是很多有关群论的概念，比如中心和交换子，描述了一个给定群不是阿贝尔群的程度。 对称群. "对称群"是由给定数学对象的对称组成的群，对称源于它们的几何本性（比如前面介绍的正方形的对称群）或源于代数本性（比如多项式方程和它们的解）。概念上说，群论可以被认为是对称性的研究。[t] 数学中的对称性极大的简化了几何或分析对象的研究。群被称为作用于另一个数学对象"X"上，如果所有群元素进行某个在"X"上的运算兼容于群定律。在下面最右侧例子中，7阶的（2,3,7）三角群的一个元素通过置换突出的弯曲的三角形作用在镶嵌上（其他的元素也是）。通过群作用，群模式被连接到了所作用到的对象的结构上。 在化学领域中，比如晶体学、空间群和点群描述分子对称性和晶体对称性。这些对称性位于这些系统的化学和物理表现的底层，而群论使简化对这些性质的量子力学分析成为可能。例如，群论被用来证实在特定量子级别间不出现光学跃迁简单的因为涉及到了状态的对称性。 群不只对评定在分子中蕴含的对称性有用，而且令人惊奇的它们还可以预测出分子的对称性有时候可以改变。姜-泰勒效应是高对称的分子的变形，此时，在通过分子的对称运算相互关联的一组可能基态中，该分子将采纳一个特定的低对称的基态。 同样的，群论还可以帮助预测在物质经历相变的时候出现的物理性质的变更，比如晶体形式从立方体变为四面体。一个例子是铁电物质，这里从顺电到铁电状态的变更出现在居里温度时，与从高对称顺电状态到低对称铁电状态的变更有关，并伴随著所谓的软声子模式，它是在变化时转到零频率的振动晶格模式。 这种自发对称性破缺在基本粒子物理中找到了进一步应用，这里它的出现与戈德斯通玻色子的出现有关。 有限对称群比如马蒂厄群被用于编码理论中，它又用于传输数据的纠错和CD播放器中。另一个应用是微分伽罗瓦理论，它刻画有已知形式的不定积分的函数，给出何时特定微分方程的解有良好表现的群论判定标准。[u]在群作用下保持稳定的几何性质在几何不变量理论中研究。 一般线性群和表示理论. 矩阵群由矩阵加上矩阵乘法一起构成。一般线性群 "GL"("n", R) 由所有可逆的"n"乘"n"的带有实数元素的矩阵构成。它的子群被称为矩阵群或线性群。上面提及的二面体群例子可以被看作（非常小的）矩阵群。另一个重要矩阵群是特殊正交群"SO"("n")。它描述了"n"维的所有可能旋转。通过欧拉角，旋转矩阵被用于计算机图形学中。 表示理论是对群概念的应用并且对深入理解群是很重要的。它通过群作用于其他空间来研究群。一类广泛的群表示是线性表示，就是说群作用在线性空间中，比如三维欧几里得空间R3。"G"在"n"-维实向量空间上的表示简单的是从群到一般线性群的群同态 "ρ": "G" → "GL"("n", R)。 以这种方式，抽象给出的群运算被转换成用明确的计算可触及到的矩阵乘法。[w] 给定一个群作用，这给出了研究所作用的对象的进一步方法。[x]在另一方面，它还产生了关于群的信息。群表示是在有限群、李群、代数群和拓扑群特别是（局部）紧群理论中的起组织作用的原则。 伽罗瓦群. "伽罗瓦群"是通过对求解多项式方程的过程中涉及到的对称性的研究而被发展起来的。例如，二次方程 "ax"2 + "bx" + "c" = 0 的解给出为 formula_136。 对换表达式中的"+"和"−"，也就是置换方程的两个解可以被看作（非常简单的）群运算。类似的公式对于三次方程和四次方程也有，但是对于五次方程和更高次的方程就不普遍性的存在。与多项式相关联的伽罗瓦群的抽象性质（特别是它们的可解性）给出了那些多项式的所有解都可用根式表达的判定标准，就是说这些解可以类似上面公式那样只使用加法、乘法和方根来表达。 这个问题可以使用域论来处理：考虑一个多项式的分裂域就把问题转移到了域论的领域中了。现代伽罗瓦理论把上述类型的伽罗瓦群推广到了域扩张，并通过伽罗瓦理论基本定理建立了在-{zh-cn:域; zh-tw:体;}-和群之间的严格关联，再次凸显了群在数学中无所不在。 有限群. 一个群被称为有限群，如果它有有限个元素。元素的数目叫做群"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"表示formula_137，就是应用运算·于"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。可以利用计算机代数系统来给较小的群列表，但没有对一切有限群的分类。[q] 一个中间步骤是有限单群分类。[r]如果一个非平凡群仅有的正规子群是平凡群和它自身，那么这个群叫做一个单群或简单群。[s]合成列说明单群可以作为建构有限群的“砖块”。 有限单群分类是当代群论的一个主要成就。1998年的菲尔兹奖得主理查德·博赫兹成功地证明了怪兽月光理论。该猜想指出了有限单群中分类中的最大的散在群——“怪兽群”与一种来自经典复分析和弦理论（一种被认为统一了对许多物理学现象的描述的理论）的对象模函数之间的惊人而深刻的联系。 带有额外结构的群. 很多群同时是群和其他数学结构的例子。用范畴论的语言来说，它们是在范畴中的“群”物件，这意味著它们是带著模仿群公理的（叫做态射的）变换的对象（可以是其他代数/数学结构）。例如，所有群（如上面定义的）也是一个集合，所以群是在集合范畴中的群物件。 拓扑群. 某些拓扑空间可以配备上群结构。为了让群公理与拓扑交织良好，群运算必须是连续函数，就是说如果"g"和"h"只变化很小，那么"g"·"h",和"g"−1必须变化不大。这种群叫做拓扑群，并且它们是在拓扑空间范畴内的群对象。最基本的例子是实数R在加法之下(R\{0},·)，任何其他拓扑-{zh-cn:域; zh-tw:体;}-比如复数或p进数也是类似。所有这些群都是局部紧拓扑群，所以它们有哈尔测度并可以通过调和分析来研究。前者提供了不变积分的抽象形式化。以实数情况为例，不变性意味着有： formula_138 对于任何常数"c"成立。在这些-{zh-cn:域; zh-tw:体;}-上的矩阵群也属于这种结构下，赋值向量环和赋值向量代数群也是如此，它们对数论是基础性的。无限域扩张的伽罗瓦群比如绝对伽罗瓦群也可以配备上拓扑，叫做Krull拓扑，它又是推广上面概述的-{zh-cn:域; zh-tw:体;}-和群的连接到无限域扩张的中心概念。适应代数几何需要的这个想法的高级推广是étale基本群。 李群. 李群（为纪念索菲斯·李而命名）是具有流形结构的群，就是说它们是局部上看起来像某个适当维度的欧几里得空间的空间。这里，作为额外结构的流形结构也必须是兼容的，就是说对应于乘法和求逆的映射必须是光滑的。 标准例子是上面介绍的一般线性群：它是所有formula_139矩阵的空间的开子集，因为它由不等式 det ("A") ≠ 0， 给出。这里的"A"指示formula_139矩阵。 李群在物理中是基础性的：诺特定理把连续对称与守恒定律关联起来。在空间和时间中旋转和平移不变性是力学定律的基本对称。它们可以被用来构造简单的模型——比如在一种状况下实施轴对称常常会导致在解用来提供物理描述的方程上的重大简化。[v]另一个例子是-{zh-hans:洛伦兹变换;zh-hant:劳仑兹变换;}-，它有关于两个相互运动的观察者的时间和速度的测量。它们可以用纯群论方式推演，通过把变换表达为闵可夫斯基时空的旋转对称。在忽略万有引力的情况下，后者充当了狭义相对论的时空模型。闵可夫斯基时空的完全对称群，就是说包括了平移，叫做庞加莱群。通过上述联系，它在狭义相对论中扮演了关键角色，并隐含地用于量子场论。 随位置变化的对称与规范场论一起构成现代物理对相互作用的描述的中心。 推广. 在抽象代数中，通过放松定义群的某个公理可定义出更多的一般结构。例如，如果省略所有元素都逆元的要求，结果的代数结构就叫做幺半群。自然数集N（包括0）在加法下形成了幺半群，还有非零整数在乘法下(Z\{0},·)也是。有一种一般方法用来向任何（阿贝尔的）幺半群正式的增加元素的逆元，非常类似于从(Z\{0},·)得出(Q\{0},·)的方式，这叫做格罗滕迪克群。广群非常类似于群，除了复合"a" · "b"不必须在所有的"a"和"b"上有定义之外。它们由更加复杂形式的对称的研究所引发，常见于拓扑和分析结构比如基本广群中。表格给出一些推广群的结构。 参见. 注释. ^  a:  《数学评论》列出了3,224篇2005年写的关于群论和它的应用的研究论文。 错误使用： 必须同时 输入参数 #1（须注释的字或词）以及参数#2（注释）。 ^  c:  比如参见Lang (2002, 2005)和Herstein (1996, 1975)的书。 错误使用： 必须同时 输入参数 #1（须注释的字或词）以及参数#2（注释）。 ^  e:  群运算的这么规范的扩展是泛性质的实例。 ^  f:  例如，依据拉格朗日定理，如果"G"是有限的，则任何子群和任何商群的大小整除"G"的大小。 ^  g:  词同态演化自希腊语ὁμός—相同和μορφή—结构。 错误使用： 必须同时 输入参数 #1（须注释的字或词）以及参数#2（注释）。 ^  i:  例子参见塞弗特－范坎彭定理。 ^  j:  一个例子是群的群上同调，它等于它的分类空间的单同调。 错误使用： 必须同时 输入参数 #1（须注释的字或词）以及参数#2（注释）。 ^  l:  通过增加分数的从整数到有理数的转变推广为分式-{zh-cn:域; zh-tw:体;}-。 ^  m:  用任何-{zh-cn:域; zh-tw:体;}-"F"替代Q同样是真的。参见 Lang 2005, §III.1, p. 86。 错误使用： 必须同时 输入参数 #1（须注释的字或词）以及参数#2（注释）。 ^  o:  陈述的性质是素数的一个可能定义。参见素元。 ^  p:  例如，迪菲-赫尔曼密钥交换协议使用离散对数。 错误使用： 必须同时 输入参数 #1（须注释的字或词）以及参数#2（注释）。 错误使用： 必须同时 输入参数 #1（须注释的字或词）以及参数#2（注释）。 错误使用： 必须同时 输入参数 #1（须注释的字或词）以及参数#2（注释）。 错误使用： 必须同时 输入参数 #1（须注释的字或词）以及参数#2（注释）。 错误使用： 必须同时 输入参数 #1（须注释的字或词）以及参数#2（注释）。 ^  v:  例如参见史瓦西度规，这里的对称极大的减小了物理系统的复杂性。 错误使用： 必须同时 输入参数 #1（须注释的字或词）以及参数#2（注释）。 ^  x:  例如，群作用在单模上的效果的Schur引理。更加复杂的例子是绝对伽罗瓦群作用在平展上同调上。 ^  y:  单射和满射分别对应於单同态和满同态。在传给对偶范畴的时候它们是可互换的。 外部连结. -{H|zh-hans:重定向;zh-hant:重新导向;}--{H|zh-cn:字符;zh-tw:字元;}--{H|zh-hans:文件; zh-hant:档案;}--{H|zh-hans:快捷方式; zh-hant:捷径;}--{H|zh-hans:项目;zh-hant:专案;zh-tw:计划;zh-hk:计划;zh-mo:计划;}--{H|zh-cn:计算机; zh-sg:电脑; zh-tw:电脑;}-