群是一种只有一个运算的、比较简单的代数结构；是可用来建立许多其他代数系统的一种基本结构。1770年，拉格朗日在讨论代数方程根之间的置换时，首先引入群的概念，而它的名称，是伽罗华在1830年首先提出的。典型群是一类重要的群。一般线性群、酉群、辛群、正交群，以及它们的换位子群、对中心的商群等统称为典型群。洛伦茨群(Lorentz group)是一类重要的典型群，洛伦茨群在狭义相对论中起着重要的作用。