1 problem

External-action simplicity conjecture. Whenever the action of $X^{cop}$ is external in this sense, $A$ is $X^{cop}$-simple if and only if $\operatorname{F}^0 A$ is simple.