「退職後は素人数学者」さんが、また新たに文書を送ってくださいました。
与えられた有限群（置換群）のすべての部分群、あるいは正規部分群をしらみつぶしによらずに求めるアルゴリズムが記載されており、それに基づいて \(S_6\) までの対称群で、すべての部分群の共役類による分類を完成したり、可解な部分群をすべて特定したりされています。さらに、今度こそ正しく組成列を求めるアルゴリズムを構成されて、いくつかの組成列を求められたりしています（実際のプログラムではなく、プログラムの実行結果が載っています）。
あとは、前回の私の記事ともども、実際のプログラムにまとめ上げれば不備のないプログラムができ上がることでしょう！
「退職後は素人数学者」さん、いつもありがとうございます。