抽象群概念由法国天才数学家伽罗华（Eacute;variste Galois，1811-1832）最先建立起来。群的定义有多种等价的表达形式，以这一种最为基本。