gptkbp:instanceOf
|
gptkb:group_of_people
infinite group
finitely presented group
|
gptkbp:actsOn
|
unit interval [0,1]
|
gptkbp:automorphismGroup
|
infinite
|
gptkbp:centralTo
|
trivial
|
gptkbp:definedIn
|
piecewise linear homeomorphisms of the unit interval
|
gptkbp:firstDescribed
|
1965
|
gptkbp:hasApplication
|
gptkb:logic
dynamics
geometric group theory
|
gptkbp:hasCayleyGraph
|
infinite
|
gptkbp:hasConjugacyProblem
|
solvable
|
gptkbp:hasDerivedSubgroup
|
simple
|
gptkbp:hasExponentialGrowth
|
false
|
gptkbp:hasIntermediateGrowth
|
false
|
gptkbp:hasNoFreeSubgroupOfRank
|
2
|
gptkbp:hasPolynomialGrowth
|
false
|
gptkbp:hasSubgroup
|
gptkb:free_group_of_rank_2
abelian group
|
gptkbp:hasWordProblem
|
solvable
|
https://www.w3.org/2000/01/rdf-schema#label
|
Thompson's group F
|
gptkbp:isAmenable
|
unknown
|
gptkbp:isFinitelyGenerated
|
true
|
gptkbp:isFinitelyPresented
|
true
|
gptkbp:isHopfian
|
true
|
gptkbp:isNotLinear
|
true
|
gptkbp:isResiduallyFinite
|
false
|
gptkbp:isSimple
|
false
|
gptkbp:isTorsionFree
|
true
|
gptkbp:namedAfter
|
gptkb:Richard_J._Thompson
|
gptkbp:order
|
infinite
|
gptkbp:presentedBy
|
< x0, x1 | [x0 x1^{-1}, x0^{-1} x1 x0], [x0 x1^{-1}, x0^{-2} x1 x0^2] >
|
gptkbp:relatedTo
|
gptkb:Thompson's_group_T
gptkb:Thompson's_group_V
|
gptkbp:type
|
gptkb:PL-homeomorphism_group
diagram group
|
gptkbp:bfsParent
|
gptkb:Group_theory
|
gptkbp:bfsLayer
|
5
|