単位元だけからなるいわゆる自明な群は単純群と呼ばないのかな。
26個の例外型単純群それぞれに異なる素粒子が対応しているというような
単純な話ではないのだな。。。

有限群ではない群の分類はどうなるのでしょう？