。但这一命题并不能推广到"p"阶群，如上面的非阿贝尔群——8阶二面体群D所示，其中8 = 2。可以利用计算机代数系统来给较小的群列表，但没有对一切有限群的分类。一个中间步骤是有限单群分类。如果一个非平凡群仅有的正规子群是平凡群和它自身，那么这个群叫做一个单群或简单群。若尔当-赫尔德定理说明单群可以作为建构有限群的“砖块”。有限单群列表是当代群论的一个主要成就。1998年的菲尔兹奖得主理查·伯切德斯成功地证明了所谓怪兽-胡言乱语猜想。该猜想指出了最大有限简单散在群——“怪兽群”与一种来自经典复分析和弦理论（一