Krull dimension and monomial orders

DOI10.1016/J.JALGEBRA.2013.10.005MaRDI QIDQ397891zbMATH OpenOpenAlexFDO

Publication date 12 August 2014

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

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

analytically independent associated graded ring independent sequence Jacobson ring Krull dimension monomial order subfinite algebra weight order

Mathematics Subject Classification ID

Graded rings (13A02) Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Abstract: We introduce the notion of independent sequences with respect to a monomial order by using the least terms of polynomials vanishing at the sequence. Our main result shows that the Krull dimension of a Noetherian ring is equal to the supremum of the length of independent sequences. The proof has led to other notions of independent sequences, which have interesting applications. For example, we can characterize the maximum number of analytically independent elements in an arbitrary ideal of a local ring and that dim B is not greater than dim A if B is a subalgebra of A and A is a (not necessarily finitely generated) subalgebra of a finitely generated algebra over a Noetherian Jacobson ring.

Review text

The current paper was inspired by a result of \textit{H. Lombardi} [Math. Z. 242, No. 1, 23--46 (2002; Zbl 1095.13517)] which says that for a positive integer \(s\), the Krull dimension \(\dim R<s\) if and only if every sequence of elements \(a_1,\dots,a_s\) in \(R\) is a solution of a polynomial of the form NEWLINE\[NEWLINE x_1^{m_1}\cdots x_s^{m_s}+c_1 x_1^{m_1+1}+ c_2 x_1^{m_1}x_2^{m_2+1}+\cdots+c_s x_1^{m_1}\cdots x_{s-1}^{m_{s-1}}x_s^{m_s+1}=0, NEWLINE\]NEWLINE where \(m_1,\dots,m_s\in \mathbb{Z}_{\geq 0}\) and \(c_1,\dots,c_s\in R\). The key observation of the current paper is that the least term of the left hand side polynomial with respect to the lexicographic order is \(x_1^{m_1}\cdots x_s^{m_s}\) whose coefficient is \(1\). This inspired the authors to define the notion of independent sequences with respect to a monomial (pre)order or a weight sequence. In each case, the authors are able to show that the Krull dimension of a Noetherian ring is the supremum of the length of independent sequences. Other interesting results include that ``\(\dim R/(0:J^\infty)\) is the maximum number of analytically independent elements in an arbitrary ideal \(J\) of a local ring \(R\) and that ``\(\dim B\leq \dim A\) if \(B\subset A\) are (not necessarily finitely generated) subalgebras of a finitely generated algebra over a Noetherian Jacobson ring.

Recommendations

Cites work

Cited in

(19)

Describes a project that uses

Uses Software

Magma

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

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