We prove that a valuation domain V has Krull dimension ≤ 1 if and only if for every finitely generated ideal I of V[X] the ideal generated by the leading terms of elements of I is also finitely generated. This proves the Gröbner ring conjecture in one variable. The proof we give is both simple and constructive. The same result is valid for semihereditary rings.
The Gröbner ring conjecture in one variable
Schuster, Peter Michael;
2012-01-01
Abstract
We prove that a valuation domain V has Krull dimension ≤ 1 if and only if for every finitely generated ideal I of V[X] the ideal generated by the leading terms of elements of I is also finitely generated. This proves the Gröbner ring conjecture in one variable. The proof we give is both simple and constructive. The same result is valid for semihereditary rings.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
