Tarski monster group

A Tarski group is an infinite group such that all proper subgroups have prime power order. Such a group is then a Tarski monster group if there is a prime ${\displaystyle p}$ such that every non-trivial proper subgroup has order ${\displaystyle p}$.^[1]

An extended Tarski group is a group ${\displaystyle G}$ that has a normal subgroup ${\displaystyle N}$ whose quotient group ${\displaystyle G/N}$ is a Tarski group, and any subgroup ${\displaystyle H}$ is either contained in or contains ${\displaystyle N}$.^[1]

A Tarski Super Monster (or TSM) is an infinite simple group such that all proper subgroups are abelian, and is more generally called a Perfect Tarski Super Monster when the group is perfect instead of simple. There are TSM groups which are not Tarski monsters.^[2]

As every group of prime order is cyclic, every proper subgroup of a Tarski monster group is cyclic.^[1] As a consequence, the intersection of any two different proper subgroups of a Tarski monster group must be the trivial group.^[1]

• Every Tarski monster group is finitely generated. In fact it is generated by every two non-commuting elements.
• If ${\displaystyle G}$ is a Tarski monster group, then ${\displaystyle G}$ is simple. If ${\displaystyle N\trianglelefteq G}$ and ${\displaystyle U\leq G}$ is any subgroup distinct from ${\displaystyle N}$ the subgroup ${\displaystyle NU}$ would have ${\displaystyle p^{2}}$ elements.
• The construction of Olshanskii shows in fact that there are continuum-many non-isomorphic Tarski Monster groups for each prime ${\displaystyle p>10^{75}}$.
• Tarski monster groups are examples of non-amenable groups not containing any free subgroups.