We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.RA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Rings and Algebras

Title: Tangent complexes and the Diamond Lemma

Abstract: The celebrated Diamond Lemma of Bergman gives an effectively verifiable criterion of uniqueness of normal forms for term rewriting in associative algebras. We present a new way to interpret and prove this result from the viewpoint of homotopical algebra. Our main result states that every multiplicative free resolution of an algebra with monomial relations gives rise to its own Diamond Lemma, so that Bergman's condition of "resolvable ambiguities" becomes the first non-trivial component of the Maurer--Cartan equation in the corresponding tangent complex. The same approach works for many other algebraic structures, emphasizing the relevance of computing multiplicative free resolutions of algebras with monomial relations.
Comments: 28 pages, comments are welcome
Subjects: Rings and Algebras (math.RA); Category Theory (math.CT); K-Theory and Homology (math.KT)
Cite as: arXiv:2010.14792 [math.RA]
  (or arXiv:2010.14792v1 [math.RA] for this version)

Submission history

From: Vladimir Dotsenko [view email]
[v1] Wed, 28 Oct 2020 07:09:26 GMT (30kb)

Link back to: arXiv, form interface, contact.