Value monoids of zero-dimensional valuations of rank 1

DOI10.1016/J.JSC.2008.01.005zbMATH Open1213.13041arXivmath/0504263OpenAlexW1979208083MaRDI QIDQ950421FDOQ950421

Edward Mosteig

Publication date: 22 October 2008

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Abstract: Classically, Groebner bases are computed by first prescribing a set monomial order. Moss Sweedler suggested an alternative and developed a framework to perform such computations by using valuation rings in place of monomial orders. We build on these ideas by providing a class of valuations on rational function fields of two variables that are suitable for this framework. For these valuations, we explicitly compute the image of an underlying polynomial ring and use this to perform computations concerning ideals in the polynomial ring. Interestingly, for these valuations, some ideals have a finite Groebner basis with respect to the valuation that is not a Groebner basis with respect to any monomial order, whereas other ideals only have Groebner bases that are infinite with respect to the valuation.

Full work available at URL: https://arxiv.org/abs/math/0504263

Recommendations

• Gröbner bases for ideals in univariate polynomial rings over valuation rings
• A Gröbner basis algorithm for ideals over zero-dimensional valuation rings
• Gröbner bases over fields with valuations
• Properties of Gröbner basis over a Noetherian valuation ring
• Reversely well-ordered valuations on rational function fields in two variables

zbMATH Keywords

valuationsGröbner bases

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Valuation rings (13F30) Valuations and their generalizations for commutative rings (13A18)

Cites Work

• Title not available (Why is that?)
• The algebraic closure of the power series field in positive characteristic
• Title not available (Why is that?)
• Zero-dimensional branches of rank one on algebraic varieties
• Title not available (Why is that?)
• The growth of valuations on rational function fields in two variables
• Valuations and filtrations
• COMPUTING LEADING EXPONENTS OF NOETHERIAN POWER SERIES

Cited In (4)

• Monoid Valuations and Value Ordered Supervaluations
• Reversely well-ordered valuations on rational function fields in two variables
• The trailing terms ideal
• On the algebraicity of generalized power series

This page was built for publication: Value monoids of zero-dimensional valuations of rank 1

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q950421)