O'Brien論文の最初のほうに列挙されているの性質について解説する． の性質 1） 準同型 に対して、 2） かつ は exponent-p class c ならば 3） 有限p-群 に対して、 : のFrattini 部分群（のすべての極大部分群の積集合） 1） は を作る操作と準同型で送り…