Amenable Group - Counterexamples

Counterexamples

If a countable discrete group contains a (non-abelian) free subgroup on two generators, then it is not amenable. The converse to this statement is the so-called von Neumann conjecture, which was disproved by Olshanskii in 1980 using his Tarski monsters. Adyan subsequently showed that free Burnside groups are non-amenable: since they are periodic, they cannot contain the free group on two generators. These groups are finitely generated, but not finitely presented. However, in 2002 Sapir and Olshanskii found finitely presented counterexamples: non-amenable finitely presented groups that have a periodic normal subgroup with quotient the integers.

For finitely generated linear groups, however, the von Neumann conjecture is true by the Tits alternative: every subgroup of GL(n,k) with k a field either has a normal solvable subgroup of finite index (and therefore is amenable) or contains the free group on two generators. Although Tits' proof used algebraic geometry, Guivarc'h later found an analytic proof based on V. Oseledets' multiplicative ergodic theorem. Analogues of the Tits alternative have been proved for many other classes of groups, such as fundamental groups of 2-dimensional simplicial complexes of non-positive curvature.