Noether Normalization theorem and dynamical Grobner bases over Bezout domains of Krull dimension 1

[摘要] We propose a new version of Noether normalization theorem over Bezout domains of Krull dimension one (the ring Z of integers as main example). We also show that one can avoid branching when computing dynamical Grobner bases over a Bezout domain of Krull dimension one. (C) 2017 Elsevier Inc. All rights reserved.

[发布日期] 2017-12-15

[关键词] Noether Nomalization theorem;Monomial order;Dynamical Grobner bases;Bezout domains;Prufer domains