P-residual subgroup