O'Brienの論文で前提とされている事柄がいくつかあるが、まずp群に対するPower-Commutator Presentation (PCP)について解説しておく。PCPは一般に可解群について定義できるが、ここではベキ零群、特にp-群に対しての定義を述べる。 p-群はベキ零であるので、…

前回述べたBescheらのミレニアムプロジェクト等々、コンピュータを使って有限群論を研究するという分野はCGT（Computational Group Theory）と呼ばれている。ルービックキューブの最小手順を求めたりするお遊び風のものもあれば、化学で高分子の異性体の数を…