arXiv · 2206.01672
Correspondence between factorability and normalisation in monoids
Abstract
Abstract. This article determines relations between two notions concerning monoids: factorability structure, introduced to simplify the bar complex; and quadratic normalisation, introduced to generalise quadratic rewriting systems and normalisations arising from Garside families. Factorable monoids are characterised in the axiomatic setting of quadratic normalisations. Additionally, quadratic normalisations of class (4,3) are characterised in terms of factorability structures and a condition ensuring the termination of the associated rewriting system.
Explore related subjects
Keep this discovery
Alen Đurić. 2022-06-03. Correspondence between factorability and normalisation in monoids. https://doi.org/10.1142/s0218196724500516
Cite the original work for its findings. Save a collection to share your selection of sources.