有限単純群は以下のいずれと同型である。

Jordan-Hölderの定理により有限群は単純群の積み重ねで構成されている。
個々の単純群の構造やその積み重ね方は一般には複雑である。
 

有限群の構造について

を行っている。