Mathematics – Commutative Algebra
Scientific paper
2007-10-25
Mathematics
Commutative Algebra
36 pages; typos corrected
Scientific paper
We establish doubly-exponential degree bounds for Gr\"obner bases in certain algebras of solvable type over a field (as introduced by Kandri-Rody and Weispfenning). The class of algebras considered here includes commutative polynomial rings, Weyl algebras, and universal enveloping algebras of finite-dimensional Lie algebras. For the computation of these bounds, we adapt a method due to Dub\'e based on a generalization of Stanley decompositions. Our bounds yield doubly-exponential degree bounds for ideal membership and syzygies, generalizing the classical results of Hermann and Seidenberg (in the commutative case) and Grigoriev (in the case of Weyl algebras).
Aschenbrenner Matthias
Leykin Anton
No associations
LandOfFree
Degree Bounds for Gröbner Bases in Algebras of Solvable Type 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 Degree Bounds for Gröbner Bases in Algebras of Solvable Type, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Degree Bounds for Gröbner Bases in Algebras of Solvable Type will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-190903