Thompson groups
|
|
This page is about the infinite Thompson groups F, T and V. For the sporadic finite simple group Th see Thompson group (finite).
In mathematics, the Thompson groups (also called Thompson's groups, vagabond groups or chameleon groups) are three groups, commonly denoted F, T and V, which were first studied by the logician Richard Thompson in 1965. Of the three, F is the most widely studied, and is sometimes referred to as the Thompson group or Thompson's group.
The Thompson groups, and F in particular, have a collection of unusual properties which have made them counterexamples to many general conjectures in group theory. All three Thompson groups are infinite but finitely presented. T and V are (rare) examples of infinite but finitely presented simple groups. The group F is "just non-abelian" in the sense that it is not abelian, but all its proper homomorphic images are abelian. F is totally ordered, has exponential growth, and does not contain a subgroup isomorphic to the free group of rank 2. It is not presently known whether F is amenable, but it is known not to be elementary amenable. If it turns out not to be amenable, then it will provide another counterexample to the long-standing but recently disproved von Neumann conjecture for finitely presented groups, which suggested that a finitely presented group is amenable if and only if it does not contain a copy of the free group of rank 2. In the other hand, if F is amenable, then it will be the very first example of an amenable group that isn't elementary amenable.
The finite presentation of F is given by the following expression:
- <math>\langle A,B \mid\ [AB^{-1},A^{-1}BA] = [AB^{-1},A^{-2}BA^{2}] = id \rangle<math>
where <math>[x,y] = xyx^{-1}y^{-1}<math> is the usual commutator.
Although F has a finite presentation with 2 generators and 2 relations, it is most easily and intuitively described by the infinite presentation:
- <math>\langle x_0, x_1, x_2, \dots\ \mid\ x_k^{-1} x_n x_k = x_{n+1}\ \mathrm{for}\ k
It also has realisations in terms of operations on binary trees, and as a group of piecewise linear homeomorphisms of the unit interval.