Mathematics – Rings and Algebras
Scientific paper
2007-12-07
Mathematics
Rings and Algebras
74 pages. Includes index
Scientific paper
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.
No associations
LandOfFree
A Generic Framework for Diamond Lemmas does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Generic Framework for Diamond Lemmas, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Generic Framework for Diamond Lemmas will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-120753