For a prime $p$, an infinite group $G$ is a <a href="https://en.wikipedia.org/wiki/Tarski_monster_group">Tarski monster</a> if each of its proper subgroups has order $p$.

If I am correctly informed, then the Tarski monster was defined to demonstrate our poor understanding of infinite groups, because such monsters obviously don't exist, it should be easy to prove that they don't exist, but we cannot prove it.

Then Olshanskii proved that Tarski monsters do exist for all large primes, and by now many people believe that "large" means something like $p\geq 11$.