群是什么？

        在数学中，群是一种代数结构，由一个集合以及一个二元运算所组成。

        一个群必须满足一些被称为“群公理”的条件，也就是封闭性、结合律、单位元和对于集合中所有元素存在逆元素。很多熟知的数学结构比如数系统都遵从这些公理，例如整数配备上加法运算就形成一个群。如果将群公理的公式从具体的群和其运算中抽象出来，就使得人们可以用灵活的方式来处理起源于抽象代数或其他许多数学分支的实体，而同时保留对象的本质结构性质。（全文待续）

        群在数学内外各个领域中是无处不在的，这使得它们成为当代数学的组成的中心原理。 

        群与对称概念共有基础根源。对称群把几何物体的如此描述物体的对称特征：它是保持物体不变的变换的集合。这种对称群，特别是连续李群，在很多学术学科中扮演重要角色。例如，矩阵群可以用来理解在狭义相对论底层的基本物理定律和在分子化学中的对称现象。
 
        群的概念引发自多项式方程的研究，由埃瓦里斯特·伽罗瓦在1830年代开创。在得到来自其他领域如数论和几何学的贡献之后，群概念在1870年左右形成并牢固建立。现代群论是非常活跃的数学学科，它以自己的方式研究群。a[?]为了探索群，数学家发明了各种概念来把群分解成更小的、更好理解的部分，比如子群、商群和单群。除了它们的抽象性质，群理论家还从理论和计算两种角度来研究具体表示群的各种方式（群的表示）。对有限群已经发展出了特别丰富的理论，这在1983年完成的有限简单群分类中达到顶峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。