Quadratic normalization in monoids

DOI10.1142/S0218196716500399zbMath1388.20072arXiv1504.02717MaRDI QIDQ2821823

Yves Guiraud, Patrick Dehornoy

Publication date: 23 September 2016

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1504.02717

zbMATH Keywords

convergencenormal formnormalizationterminationrewriting systemplactic monoidChinese monoidGarside familyArtin-Tits monoid

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Braid groups; Artin groups (20F36) Grammars and rewriting systems (68Q42) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

Related Items (6)

Garside and Quadratic Normalisation: A Survey ⋮ Coherent presentations of monoids with a right-Noetherian Garside family ⋮ Plactic monoids: a braided approach ⋮ Automaton (Semi)groups: Wang Tilings and Schreier Tries ⋮ Unnamed Item ⋮ Cohomology of idempotent braidings with applications to factorizable monoids

Cites Work

• A geometric characterization of automatic semigroups
• Combinatorics of Coxeter Groups
• ALGORITHMS FOR POSITIVE BRAIDS
• THE CHINESE MONOID
• Rewriting systems and biautomatic structures for Chinese, hypoplactic, and sylvester monoids

This page was built for publication: Quadratic normalization in monoids