On Gröbner bases and Krull dimension of residue class rings of polynomial rings over integral domains

DOI10.1016/J.JSC.2017.03.003MaRDI QIDQ1680153zbMATH OpenOpenAlexFDO

Authors Maria Francis, Ambedkar Dukkipati

Publication date 22 November 2017

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

Full work available at URL https://arxiv.org/abs/1602.04300, http://eprints.iisc.ac.in/58795/2/Jou_Sym_Com_86_1_2018.pdf

zbMATH Keywords

Gröbner bases over commutative ringsindependent sets modulo an idealKrull dimension of residue class rings of polynomial rings over rings

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Symbolic computation and algebraic computation (68W30)

Abstract: Given an ideal $mathfraka$ in $A[x_1,ldots,x_n]$, where $A$ is a Noetherian integral domain, we propose an approach to compute the Krull dimension of $A[x_1,ldots,x_n]/mathfraka$, when the residue class polynomial ring is a free $A$-module. When $A$ is a field, the Krull dimension of $A[x_1,ldots,x_n]/mathfraka$ has several equivalent algorithmic definitions by which it can be computed. But this is not true in the case of arbitrary Noetherian rings. For a Noetherian integral domain, $A$ we introduce the notion of combinatorial dimension of $A[x_1,ldots,x_n]/mathfraka$ and give a Gr"obner basis method to compute it for residue class polynomial rings that have a free $A$-module representation w.r.t. a lexicographic ordering. For such $A$-algebras, we derive a relation between Krull dimension and combinatorial dimension of $A[x_1,ldots,x_n]/mathfraka$. An immediate application of this relation is that it gives a uniform method, the first of its kind, to compute the dimension of $A[x_1,ldots,x_n]/mathfraka$ without having to consider individual properties of the ideal. For $A$-algebras that have a free $A$-module representation w.r.t. degree compatible monomial orderings, we introduce the concepts of Hilbert function, Hilbert series and Hilbert polynomials and show that Gr"obner basis methods can be used to compute these quantities. We then proceed to show that the combinatorial dimension of such $A$-algebras is equal to the degree of the Hilbert polynomial. This enables us to extend the relation between Krull dimension and combinatorial dimension to $A$-algebras with a free $A$-module representation w.r.t. a degree compatible ordering as well.

Review text

Assume that \(A\) is a Noetherian integral domain, \(R=A[x_1,\ldots ,x_n]\) is the polynomial ring in terms of \(x_1,\ldots ,x_n\) with coefficients in \(A\) and \(I\) is an ideal of \(R\). In the paper, the authors address the problem of computing the Krull dimension of \(R/I\). If \(A\) is a field then it is well-known that it can be computed using Gröbner bases. In this direction, they introduce the notion of \textit{combinatorial dimension} of \(R/I\) and describe an algorithm to compute it provided that \(R/I\) is a free \(A\)-module. In addition, they study the relations between these two kind of dimensions. Finally, the concepts of Hilbert function, Hilbert series and Hilbert polynomial of \(R/I\) (in the case that \(R/I\) is a free \(A\)-module) are defined and it is shown how one can use Gröbner bases to compute them. This study enables to investigate several properties of the mentioned dimensions.

Recommendations

• scientific article; zbMATH DE number 2042790
• The Gröbner ring conjecture in the lexicographic order case
• Reduced Gröbner bases and Macaulay-Buchberger basis theorem over Noetherian rings
• Computing Gröbner bases of ideal in \(\mathbb Z[\alpha] [x_1,\cdots, x_n]\) over \(\mathbb Z\)
• New constructive methods in classical ideal theory

Cites work

• A course in commutative algebra
• Computing dimension and independent sets for polynomial ideals
• Gröbner bases with coefficients in rings
• scientific article; zbMATH DE number 3918515 (Why is no real title available?)
• scientific article; zbMATH DE number 638938 (Why is no real title available?)
• scientific article; zbMATH DE number 2206382 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• scientific article; zbMATH DE number 3334305 (Why is no real title available?)
• Initial complexes of prime ideals
• Reduced Gröbner bases and Macaulay-Buchberger basis theorem over Noetherian rings
• Some properties of the lattice points and their application to differential algebra^*

Cited in

(5)

• The Gröbner ring conjecture in the lexicographic order case
• scientific article; zbMATH DE number 2042790 (Why is no real title available?)
• scientific article; zbMATH DE number 6914832 (Why is no real title available?)
• Computation of the projective dimension of finitely generated modules over polynomial rings
• An integrality theorem of Grosshans over arbitrary base ring

This page was built for publication: On Gröbner bases and Krull dimension of residue class rings of polynomial rings over integral domains

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