English

Restrictions on Potential Automatic Structures on Thompson's Group F

Group Theory 2018-01-09 v1

Abstract

We show that a large class of languages in the standard finite generating set X = {x0,x1,x01,x11x_0, x_1, x_0^{-1}, x_1^{-1}} cannot be part of an automatic structure for Thompson's Group F. These languages are ones that accept at least one representative of each element of F of word length that is within a fixed constant of a geodesic representative of the element. To accomplish this, we look at a specific element of F and trace two different paths through the Cayley graph to that element. We show that staying within the length restrictions along these two paths would force that element to have contradictory properties.

Cite

@article{arxiv.1801.01965,
  title  = {Restrictions on Potential Automatic Structures on Thompson's Group F},
  author = {Jeremy Hauze},
  journal= {arXiv preprint arXiv:1801.01965},
  year   = {2018}
}

Comments

This work is my doctoral thesis

R2 v1 2026-06-22T23:37:56.775Z