p-residual subgroup