$\sigma$-properties of finite groups in polynomial time

Abstract

Let $H, K$ be subgroups of the permutation group $G$ of degree $n$ with $K\trianglelefteq G$ and $\sigma$ be a partition of the set of all different prime divisors of $|G/K|$. We prove that in polynomial time (in $n$) one can check $G/K$ for $\sigma$-nilpotency and $\sigma$-solubility; $H/K$ for $\sigma$-subnormality and $\sigma$-$p$-permutability in $G/K$. Moreover one can find the least partition $\sigma$ of $\pi(G/K)$ for which $G/K$ is $\sigma$-nilpotent. Also one can find the least partition $\sigma$ of $\pi(G/K)$ for which $H/K$ is $\sigma$-$p$-permutable in $G/K$.