Show simple item record

dc.contributor.authorGe, Wenfengen 14:02:09 (GMT) 14:02:09 (GMT)
dc.description.abstractCommutative Gröbner bases theory is well known and widely used. In this thesis, we will discuss thoroughly its generalization to noncommutative polynomial ring <em>k</em><<em>X</em>> which is also an associative free algebra. We introduce some results on monomial orders due to John Lawrence and the author. We show that a noncommutative monomial order is a well order while a one-sided noncommutative monomial order may not be. Then we discuss the generalization of polynomial reductions, S-polynomials and the characterizations of noncommutative Gröbner bases. Some results due to Mora are also discussed, such as the generalized Buchberger's algorithm and the solvability of ideal membership problem for homogeneous ideals. At last, we introduce Newman's diamond lemma and Bergman's diamond lemma and show their relations with Gröbner bases theory.en
dc.format.extent353518 bytes
dc.publisherUniversity of Waterlooen
dc.rightsCopyright: 2006, Ge, Wenfeng. All rights reserved.en
dc.subjectGröbner Basesen
dc.subjectDiamond Lemmaen
dc.titleGröbner Bases Theory and The Diamond Lemmaen
dc.typeMaster Thesisen
dc.pendingfalseen Mathematicsen
uws-etd.degreeMaster of Mathematicsen

Files in this item


This item appears in the following Collection(s)

Show simple item record


University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages