群

群（转）

在数学中，群是一种代数结构，由一个集合以及一个二元运算所组成。要具有成为群的资格，这个集合和运算必须满足一些被称为“群公理”的条件，也就是封闭性、结合律、单位元和逆元。尽管很多熟知的数学结构比如数系统都遵从这些公理，例如整数配备上加法运算就形成一个群，但将群公理的公式从具体的群和其运算中抽象出来，就使得人们可以用灵活的方式来处理起源于抽象代数或其他许多数学分支的实体，而同时保留对象的本质结构性质。群在数学内外各个领域中是无处不在的，这使得它们成为当代数学的组成的中心原理。^[1][2]

群与对称概念共有基础根源。对称群把几何物体的如此描述物体的对称特征：它是保持物体不变的变换的集合。这种对称群，特别是连续李群，在很多学术学科中扮演重要角色。例如，矩阵群可以用来理解在狭义相对论底层的基本物理定律和在分子化学中的对称现象。

群的概念引发自多项式方程的研究，由埃瓦里斯特·伽罗瓦在 1830 年代开创。在得到来自其他领域如数论和几何学的贡献之后，群概念在 1870 年左右形成并牢固建立。现代群论是非常活跃的数学学科，它以自己的方式研究群。^a[›] 为了探索群，数学家发明了各种概念来把群分解成更小的、更好理解的部分，比如子群、商群和单群。除了它们的抽象性质，群理论家还从理论和计算两种角度来研究具体表示群的各种方式(群的表示)。对有限群已经发展出了特别丰富的理论，这在 1983 年完成的有限简单群分类中达到顶峰。从 1980 年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支

定义

整数和运算 "+" 一起，形成了一个数学对象，它属于一个广泛的类，这类对象具有相似的结构性质。为了适当地理解这些结构，而不用个别地处理所有具体情况，发展出了下列抽象定义来涵盖上述和很多其他例子。

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

1.	封闭性。	对于所有 G 中 a, b，运算 a · b 的结果也在 G 中。b[›]
2.	结合性。	对于所有 G 中的 a, b 和 c，等式 (a · b) · c = a · (b · c) 成立。
3.	单位元。	存在 G 中的一个元素 e，使得对于所有 G 中的元素 a，等式 e · a = a · e = a 成立。
4.	反元素。	对于每个 G 中的 a，存在 G 中的一个元素 b 使得 a · b = b · a = e，这里的 e 是单位元。

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

a · b = b · a

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