A nonamenable finitely presented group of piecewise projective homeomorphisms (Q260109): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 23:51, 4 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A nonamenable finitely presented group of piecewise projective homeomorphisms |
scientific article |
Statements
A nonamenable finitely presented group of piecewise projective homeomorphisms (English)
0 references
18 March 2016
0 references
\textit{M. M. Day} [Trans. Am. Math. Soc. 69, 276--291 (1950; Zbl 0039.12301)] asked whether every nonamenable group contains a nonabelian free subgroup? In 1980, A. Yu. Ol'shanskii constructed a counterexample and simultaneously S. Adyan showed that certain free Burnside groups are also counterexamples ([\textit{S. I. Adjan}, The Burnside problem and identities in groups. Translated from the Russian by John Lennox and James Wiegold. Berlin-Heidelberg-New York: Springer-Verlag (1979; Zbl 0417.20001); Izv. Akad. Nauk SSSR, Ser. Mat. 46, 1139--1149 (1982; Zbl 0512.60012); Math. USSR, Izv. 21, 425--434 (1983; Zbl 0528.60011)] and [\textit{A. Yu. Ol'shanskij}, Russ. Math. Surv. 35, No. 4, 180--181 (1980; Zbl 0465.20030)]). These nonamenable groups are not finitely presented, and so the restriction of the problem to the class of finitely presented groups remained open until 2003. In that year A. Yu. Ol'shanskii and M. V. Sapir discovered the first example of a nonamenable finitely presented group which does not contain any nonabelian free group, [\textit{A. Yu. Ol'shanskii} and \textit{M. V. Sapir}, Publ. Math., Inst. Hautes Étud. Sci. 96, 43--169 (2002; Zbl 1050.20019)]. After that, some other examples were constructed, but all known examples have torsion elements. In this article, the authors give a new example which is torsion-free. This group is generated by three simple homeomorphisms of \(\mathbb{R}\) and it has nine defining relations.
0 references
amenable
0 references
finitely presented
0 references
free group
0 references
piecewise
0 references
projective
0 references
Thompson's group
0 references
torsion free
0 references