In mathematics, specifically the field of abstract algebra, Bergman's Diamond Lemma (after George Bergman) is a method for confirming whether a given set of monomials of an algebra forms a k {\displaystyle k} -basis. It is an extension of Gröbner bases to non-commutative rings.
In mathematics, specifically the field of abstract algebra, Bergman's Diamond Lemma (after George Bergman) is a method for confirming whether a given set of monomials of an algebra forms a k {\displaystyle k} -basis. It is an extension of Gröbner bases to non-commutative rings.
Source: Wikipedia "Bergman's diamond lemma" · CC BY-SA 4.0
Share this article: X · Bluesky