Garside and quadratic normalisation: a survey

DOI10.1007/978-3-319-21500-6_2MaRDI QIDQ3451086zbMATH OpenOpenAlexFDO

Authors Patrick Dehornoy

Publication date 10 November 2015

Published in Developments in Language Theory (Search for Journal in Brave)

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

zbMATH Keywords

Artin-Tits monoidsbraid monoidsfellow traveller propertyGarside familygreedy decompositionnormal formnormalisationplactic monoidsquadratic rewriting systemregular language

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35) Knot theory (57K10) Grammars and rewriting systems (68Q42) Algebraic theory of languages and automata (68Q70)

Abstract: Starting from the seminal example of the greedy normal norm in braid monoids, we analyse the mechanism of the normal form in a Garside monoid and explain how it extends to the more general framework of Garside families. Extending the viewpoint even more, we then consider general quadratic normalisation procedures and characterise Garside normalisation among them.

Recommendations

• Quadratic normalization in monoids
• Algorithms for Garside calculus
• Alternating normal forms for braids and locally Garside monoids.
• On the singular braid monoid
• Garside families and Garside germs

Cites work

• A geometric characterization of automatic semigroups
• A new approach to the word and conjugacy problems in the braid groups
• Algorithms for Garside calculus
• ALGORITHMS FOR POSITIVE BRAIDS
• An asymmetric generalisation of Artin monoids.
• Artin groups of finite type are biautomatic
• Artin-Gruppen und Coxeter-Gruppen
• Braids, Links, and Mapping Class Groups. (AM-82)
• Coherent presentations of Artin monoids
• Combinatorics of Coxeter Groups
• Finite Gröbner-Shirshov bases for plactic algebras and biautomatic structures for plactic monoids.
• Foundations of Garside theory
• Fragments of the word \(\Delta\) in a braid group
• Garside families and Garside germs
• Garside families in Artin-Tits monoids and low elements in Coxeter groups.
• Gaussian Groups and Garside Groups, Two Generalisations of Artin Groups
• Groupes de Garside
• Growth function for a class of monoids
• scientific article; zbMATH DE number 53661 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 789816 (Why is no real title available?)
• New approaches to plactic monoid via Gröbner-Shirshov bases.
• Ordering braids.
• Quadratic normalization in monoids
• Springer theory in braid groups and the Birman-Ko-Lee monoid.
• THE BRAID GROUP AND OTHER GROUPS
• THE CHINESE MONOID
• Theory of braids

Cited in

(8)

• Algorithms for Garside calculus
• The 2-braid group and Garside normal form
• Coherent presentations of monoids with a right-Noetherian Garside family
• Quadratic normalization in monoids
• Garside families and Garside germs
• Automaton (semi)groups: Wang tilings and Schreier tries
• Automatic semigroups vs automaton semigroups
• Garside groups and geometry: Some thoughts for Patrick Dehornoy

This page was built for publication: Garside and quadratic normalisation: a survey

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3451086)