Formations of finite groups in polynomial time: F-residuals and F-subnormality

Abstract

For a wide family of formations $F$ it is proved that the $F$-residual of a permutation finite group can be computed in polynomial time. Moreover, if in the previous case $F$ is hereditary, then the $F$-subnormality of a subgroup can be checked in polynomial time.