Von Neumann conjecture

In mathematics, the von Neumann conjecture stated that a topological group "G" is not amenable if and only if "G" contains a subgroup that is a free group on two generators. The conjecture was disproved in 1980.

In the 1920s, during his groundbreaking work on Banach spaces, John von Neumann showed that no amenable group contains a free subgroup of rank 2. The superficial similarity to the Tits alternative for matrix groups invited the suggestion that the converse (that every group that is not amenable contains a free subgroup on two generators) is true. Although von Neumann's name is popularly attached to the conjecture that the converse is true, it does not seem that von Neumann himself believed the converse to be true.Fact|date=January 2008 Rather, this suggestion was made by a number of different authors in the 1950s and 1960s, including in a statement attributed to Mahlon Day in 1957.

The conjecture was shown to be false in 1980 by Ol'shanskii; he demonstrated that the Tarski monster group, which is easily seen not to have a free subgroup of rank 2, is not amenable. Two years later, Adian showed that certain Burnside groups are also counterexamples. None of these counterexamples are finitely presented, and for some years it was considered possible that the conjecture held for finitely presented groups. However, in 2000, Ol'shanskii and Sapir exhibited a collection of finitely-presented groups which do not satisfy the conjecture.

References

* A.Ju. Ol'shanskii, On the question of the existence of an invariant mean on a group (in Russian), "Uspekhi Mat. Nauk" vol. 35 (1980), no. 4, 199-200.
* S.I. Adyan, Random walks on free periodic groups (in Russian), "Izv. Akad. Nauk SSSR, Ser. Mat." vol. 46 (1982), no. 6, 1139-1149, 1343.
* A.Ju. Ol'shanskii and M.V. Sapir, Non-amenable finitely presented torsion-by-cyclic groups, "Publ. Math. Inst. Hautes Études Sci." No. 96, (2002), 43-169.