Noether Normalization theorem and dynamical Gröbner 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 Gröbner bases over a Bezout domain of Krull dimension one.