Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f
Remark: Family 248. Thompson's group F is nonamenable
Family claims › Group theory · lines 1655–1660
OpenAI@2026-10-07#rem:oai-248
Proves that Thompson's group , the group of dyadic piecewise linear homeomorphisms of the interval, is nonamenable, resolving its longstanding amenability problem.
The authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.
Nearby in this section
- remark: Remark: Family 246. Cannon's conjecture
- remark: Remark: Family 247. An infinite finitely presented residually finite 2 -group
- remark: Remark: Family 249. A finitely generated counterexample to Eilenberg–Ganea
- remark: Remark: Family 250. The Boone–Higman conjecture and higher finiteness
- remark: Remark: Family 251. Amenability, unitarizability, and Ulam stability
- remark: Remark: Family 252. A non-residually-finite torsion-free hyperbolic group
- remark: Remark: Family 253. An infinite finitely presented simple amenable group
- remark: Remark: Family 254. Classifying spaces and geometric obstructions for Artin groups