Gröbner Bases in Orders of Algebraic Num
✍
David Andrew Smith
📂
Article
📅
2002
🏛
Elsevier Science
🌐
English
⚖ 281 KB
We prove that any order O of any algebraic number field K is a reduction ring. Rather than showing the axioms for a reduction ring hold, we start from scratch by well-ordering O, defining a division algorithm, and demonstrating how to use it in a Buchberger algorithm which computes a Gröbner basis g