Tangent complexes and the Diamond Lemma

The celebrated Diamond Lemma of Bergman gives an effectively verifiable criterion of uniqueness of normal forms for term rewriting in associative algebras. We revisit that result in the context of deformation theory and homotopical algebra; this leads to a new proof using multiplicative free resolut...

Full description

Saved in:
Bibliographic Details
Main Authors: Vladimir Dotsenko, Pedro Tamaroff
Format: Article
Language:English
Published: World Scientific Publishing 2024-12-01
Series:Bulletin of Mathematical Sciences
Subjects:
Online Access:https://www.worldscientific.com/doi/10.1142/S1664360723500133
Tags: Add Tag
No Tags, Be the first to tag this record!