Ontario Research Centre for Computer Algebra Technical Reports
The Ontario Research Centre for Computer Algebra

The UWO ORCCA Reading Room

UWO ORCCA TR-03-02 Summary

Non-Commutative Grobner Bases in Poincare-Birkhoff-Witt Extensions, November, 2003, Mark Giesbrecht, Greg Reid and Yang Zhang, 10 pages

Abstract: Commutative Grobner Bases are a well established technique with many applications, including polynomial solving and constructive approaches to commutative algebra and algebraic geometry. Noncommutative Grobner Bases are a focus of much recent research activity. For example, combining invariant theory and elimination theory, or elimination in moving frames of partial differential operators invariant under an equivalence group, requires the use of noncommutative Grobner bases. This paper presents theory and algorithms for noncommutative Grobner bases in Poincar\'e-Birkhoff-Witt extensions. These extension rings generalize the previous domains over which non-commutative Grobner bases have been applied. Our approach to noncommutative Grobner bases differs from previous work which assumes that the coefficients are from a field or commutative ring. In applications such as Cartan's method of moving frames, this is not the case, and the theory that we present can be applied.

If you have any questions or comments regarding this page please send mail to tech-reports@orcca.on.ca.



Events & Seminars


Research Activities


Reading Room

Contact Info