Does there exist some sort of classification of finite "characteristically simple" groups?
$G$ is characteristically simple $\iff$ there is simple $T$ such that $G \cong T\times T \times \cdots \times T$