简述有限单群分类定理的证明过程。

如同数论中的素数，物理学中的基本粒子，单群是群论的基本构件，认识有限群转化为认识有限单群。
有限单群分类定理：有限单群包括十八个正规无限族（成族出现的群）和26个散在单群（单独出现的群），再没有其他的有限单群了。1954年布饶尔的对合中心化子定理成为单群分类工作的新起点。
1962年费特和汤普逊证明了：所有非交换单群都是偶数个元素的群，1972年弋伦斯坦提出解决分类问题的16步纲领，发起最后攻坚战，1980年格里斯找到最后一个散在单群“大魔”，宣告分类定理证明结束。

略