Abstract Algebra
《Abstract Algebra》 · 第 104 页 · Section 3.4「Composition Series and the Hölder Program」，Theorem
There is a list consisting of 18 (infinite) families of simple groups and 26 simple groups not belonging to these families (the sporadic simple groups) such that every finite simple group is isomorphic to one of the groups in this list.