A proof of the Galt--Tyutyanov conjecture on Skiba's question
A subgroup $A$ of a finite group $G$ is \emph{hereditarily $G$-permutable} if, for every subgroup $E$ with $A\leq E\leq G$ and every subgroup $B$ of $E$, some $G$-conjugate of $B$ permutes with $A$ in $E$. We give a new criterion for a finite group to be simple. A nontrivial finite group $G$ is simple if and only if it...