「組成列の中で隣り合う2つの群の差分（的なもの）が単純群だと思っていいのかな」
なんていう基礎すらおぼつかない状態でも
「与えられた任意の位数nの群すべてを多項式時間で見つけ出すアルゴリズムが存在する」
だとか、それがどうやら否定的な見込みなので
「与えられた任意の群が単純群かどうかを多項式時間で判定できる」
だとか、証明は無理でも予想ならなんとかなるもので、
コンプレックスみたいなのはもう無い