Rewriting in Artin groups without A_3 or B_3 subdiagrams
Abstract
We prove that the word problem in an Artin group G based on a diagram without A_3 or B_3 subdiagrams can be solved using a system of length preserving rewrite rules which, together with free reduction, can be used to reduce any word over the standard generators of G to a geodesic word in G in quadratic time. This result builds on work of Holt and Rees, and of Blasco-García, Cumplido and Morris-Wright. Those articles prove the same result for all Artin groups that are either sufficiently large or 3-free, respectively.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2024
- DOI:
- arXiv:
- arXiv:2412.12195
- Bibcode:
- 2024arXiv241212195B
- Keywords:
-
- Mathematics - Group Theory;
- 20F36;
- 20F10 (Primary) 68R15 (Secondary)
- E-Print:
- 53 pages. arXiv admin note: substantial text overlap with arXiv:2310.14632