Problem

Source: 2023 Olympic Revenge problem 6

Tags: group theory, random, algebra



We say that $H$ permeates $G$ if $G$ and $H$ are finite groups and for all subgroup $F$ of $G$ there is $H'\cong H$ with $H'\le F$ or $F\le H'\le G$. Suppose that a non-abelian group $H$ permeates $G$ and let $S=\langle H'\le G | H'\cong H\rangle$. Show that $$|\bigcap_{H'\in S} H'|>1$$