Tarski monster group (source code)

= Tarski monster group
{c}
{wiki}

An infinite group whose every proper nontrivial subgroup is cyclic of a fixed prime order $p$. Such groups exist for sufficiently large primes. This subgroup condition is stronger than the condition that every nonidentity element has order $p$.

// Target: algebra.bigb