Krull dimension and monomial orders (Q397891)

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 \[ 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, \] 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.''