2000 character limit reached
Coxeter groups are biautomatic
Published 15 Jun 2022 in math.GR | (2206.07804v2)
Abstract: We prove that Coxeter groups are biautomatic. From our construction of the biautomatic structure it follows that uniform lattices in isometry groups of buildings are biautomatic.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.