Return to search

On plausible counterexamples to Lehnert's conjecture

A group whose co-word problem is a context free language is called coCF. Lehnert's conjecture states that a group G is coCF if and only if G embeds as a finitely generated subgroup of R. Thompson's group V. In this thesis we explore a class of groups, Faug, proposed by Berns-Zieze, Fry, Gillings, Hoganson, and Mathews to contain potential counterexamples to Lehnert's conjecture. We create infinite and finite presentations for such groups and go on to prove that a certain subclass of Faug consists of groups that do embed into V. By Anisimov a group has regular word problem if and only if it is finite. It is also known that a group G is finite if and only if there exists an embedding of G into V such that its natural action on C₂:= {0,1}<sup>w</sup> is free on the whole space. We show that the class of groups with a context free word problem, the class of CF groups, is precisely the class of finitely generated demonstrable groups for V. A demonstrable group for V is a group G which is isomorphic to a subgroup in V whose natural action on C₂ acts freely on an open subset. Thus our result extends the correspondence between language theoretic properties of groups and dynamical properties of subgroups of V. Additionally, our result also shows that the final condition of the four known closure properties of the class of coCF groups also holds for the set of finitely generated subgroups of V.

Identiferoai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:750137
Date January 2018
CreatorsBennett, Daniel
ContributorsBleak, Collin Patrick ; Quick, Martyn R.
PublisherUniversity of St Andrews
Source SetsEthos UK
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation
Sourcehttp://hdl.handle.net/10023/15631

Page generated in 0.0019 seconds