Abstract
For an arbitrary Euclidean building we define a certain combing, which satisfies the “fellow traveller property” and admits a recursive definition. Using this combing we prove that any group acting freely, cocompactly and by order preserving automorphisms on a Euclidean building of one of the types admits a biautomatic structure.
Citation
Gennady A Noskov. "Combing Euclidean buildings." Geom. Topol. 4 (1) 85 - 116, 2000. https://doi.org/10.2140/gt.2000.4.85
Information