Valuative dimension and monomial orders

DOI10.1016/J.JALGEBRA.2020.04.017zbMATH Open1440.13112arXiv1906.12067OpenAlexW3019844304MaRDI QIDQ2178564FDOQ2178564

Ihsen Yengui, Gregor Kemper

Publication date: 11 May 2020

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: The main result from this note provides a constructive characterization of the valuative dimension, which bears a strong analogy to Lombardi's constructive characterization of the Krull dimension. While Lombardi's characterization uses the lexicographic monomial order, ours uses the graded (reverse) lexicographic order or, in fact, any graded rational monomial order. Apart from this, the paper contains some related results and some examples which readers may find illuminating.

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

zbMATH Keywords

Krull dimensionmonomial ordernon-Noetherian ringvaluative dimension

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Valuation rings (13F30) Chain conditions on annihilators and summands: Goldie-type conditions (16P60)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Krull dimension and monomial orders
• Space of valuations
• Toward a theory of monomial preorders
• Krull dimension, Nullstellensätze and dynamical evaluation
• A Course in Commutative Algebra
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot

Cited In (10)

• Monoid Valuations and Value Ordered Supervaluations
• The multivariate Serre conjecture ring
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• Title not available (Why is that?)
• Valuative Lattices and Spectra
• Syntax for Semantics: Krull’s Maximal Ideal Theorem
• Valuative dimension, constructive points of view
• Orders and polytropes: matrix algebras from valuations
• Dynamic evaluation of integrity and the computational content of Krull's lemma
• A counterexample to the Gröbner ring conjecture

This page was built for publication: Valuative dimension and monomial orders

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