Pith. sign in

REVIEW 2 cited by

Pseudo-$F_4$ is isomorphic to $F_4$

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2303.16868 v1 pith:AOIGXXUI submitted 2023-03-29 math.GR

James Belk , Liam Stott This is my paper · ORCID
classification math.GR
keywords groupsbrindiagramfastisomorphicpseudo-answeringbleak
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

We prove that the "pseudo-$F_4$" group is isomorphic to $F_4$, answering a question of Brin. Both of these groups can be described as fast groups of homeomorphisms of the interval generated by bumps, as introduced by Bleak, Brin, Kassabov, Moore, and Zaremsky. The proof uses a representation of fast groups as Guba-Sapir diagram groups in order to leverage known results on isomorphisms of diagram groups.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Higman--Thompson groups $F_n$ all the way down

    math.GR 2026-07 accept novelty 8.0 of 10

    Every Higman–Thompson group Fn admits a chain of maximal infinite-index copies of itself with trivial intersection, realized by semi-synchronizing transducers.

  2. Irreducible fast sets of bump homeomorphisms generate copies of Thompson's groups $F_n$

    math.GR 2026-07 accept novelty 7.5 of 10

    Irreducible geometrically fast sets of n positive bumps generate groups isomorphic to the n-ary Thompson group F_n for every n≥2.

Pith tools