On Shavgulidze's Proof of the Amenability of some Discrete Groups of Homeomorphisms of the Unit Interval

TL;DR

This paper discusses Shavgulidze's proof demonstrating the amenability of certain discrete groups of homeomorphisms of the unit interval, specifically focusing on R. J. Thompson's group F.

Contribution

It provides detailed insights into Shavgulidze's theorem, clarifying the proof of the amenability of Thompson's group F.

Findings

Thompson's group F is shown to be amenable.

The proof techniques of Shavgulidze are elaborated.

Implications for the study of group amenability are discussed.

Abstract

Notes that elaborate on the details of a Theorem of Shavgulidze that implies the amenability of R. J. Thompson's group F.