。该定理的证明是集体努力的结果，它的证明出现在1960年和1980年之间出版的超过10,000页的期刊上。
历史.群论在历史上主要有三个来源：数论，代数方程理论和几何学。数论中出现的对群的研究始于莱昂哈德·欧拉，之后由卡尔·弗里德里希·高斯在对模算术和与二次域相关的乘法和加法的研究中进行了发展。群论的概念在代数数论中首先被隐含地使用，后来才显式地运用它们。关于置换群的早期结果出现在约瑟夫·拉格朗日、和尼尔斯·阿贝尔等人关于高次方程一般解的工作中。1830年，埃瓦里斯特·伽罗瓦第