数ヶ月にわたってO'Brien論文を読んできたわけであるが，結論として与えられたp-群のimmediate descendantを求めるアルゴリズムをまとめるとつぎのようになる． step 1) からを求める． step 2) のp-multiplicator とnucleus を求める． step 3) の部分群で…

本解説は O'Brien論文を解読しているのだが、多少のオリジナリティを出そうと，の universality だけを使う証明にしようとしてずいぶんてこずり，気がつくとかなり更新の間隔があいてしまった．その間，残念なことに数学リングが無くなってしまい，いったい…