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

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