A Generic Framework for Diamond Lemmas
From MaRDI portal
Publication:6207765
arXiv0712.1142MaRDI QIDQ6207765FDOQ6207765
Publication date: 7 December 2007
Abstract: This paper gives a generic form of the diamond lemma, which includes support for additive and topological structures of the base set, and which does not require any further structure (e.g. an associative multiplication operation) to be present. This result is intended to be used as the core of diamond lemmas for particular algebraic structures, taking care of all the common technicalities. With this generic diamond lemma, the main steps needed to prove a specialised diamond lemma is to define the reduction maps and analyse the structure of critical ambiguities. The abstract machinery is backed up with concrete suggestions for how one should set things up in order to reproduce traditional results in the general setting. Several instances of the fundamental theorem of Groebner basis theory are derived as corollaries of the main result.
Computational aspects of associative rings (general theory) (16Z05) Structure of general topological groups (22A05) Equational classes, universal algebra in model theory (03C05) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15) Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60)
This page was built for publication: A Generic Framework for Diamond Lemmas
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6207765)
