p-covering group のある性質をみたす部分群とのimmediate descendantとに対応があるというのが を導入したミソである． Theorem 有限p-群をd-generator かつ exponent-p class c とする． このとき任意ののimmediate descendant に対して，の真部分群が存在…