O'Brien論文の解読作業がもうちょっと先の方で停滞しているので，ちょっと別のネタを． もともとFT定理本を読もうという目論見で，その準備と称して有限群論やら表現論やらの本を買い込んでは放置してあるのだが，その中で Alperin ＆ Bell 『Groups and Rep…

この定理は，今回，計算群論を調べているうちに初めて出合った定理であった．いままで関係式による群の定義は知っていたものの，その逆である全ての有限群は関係式により定義できるということは漫然と当たり前と思っていた．しかし，もしある有限群を定義す…

さて、そんな都合のいい方法とは．．． まずは天下りながら，d-generator p-群に対してそのp-covering group と呼ばれる p-群を定義する． p-covering group of G p-群をd-generator かつ exponent-p class c とする． のd個の生成元からなる自由群をとし，…