A nonamenable finitely presented group of piecewise projective homeomorphisms (Q260109): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
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
    0 references
    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

    Identifiers