p-residual subgroup

{\displaystyle p^{k}} の正規部分群である）ような G のすべての正規部分群 K の共通部分である：G/Op(G) は G が全射する最大の p-群（アーベルとは限らない）である。Op(G) は p-残余部分群 (p-residual subgroup) とも呼ばれる。 これらは群