On Bézout inequalities for non-homogeneous polynomial ideals

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational aspects in algebraic geometry (14Qxx)

Abstract: We introduce a "workable" notion of degree for non-homogeneous polynomial ideals and formulate and prove ideal theoretic B'ezout Inequalities for the sum of two ideals in terms of this notion of degree and the degree of generators. We compute probabilistically the degree of an equidimensional ideal.

Review text

The authors study the notion of degree for a non-homogeneous polynomial ideal. Degree of a homogenous polynomial ideal is defined in terms of its Hilbert polynomial and has been well-studied. The Hilbert function does not detect the embedded components of an ideal and this makes it unfeasible to have the Bézout inequality in terms of the degrees of ideals. In this paper, in Section 2, a definition of the degree of a non-homogeneous ideal is given in the natural way, by homogenising the ideal and then using the definition of the degree for homogeneous ideals. However, this definition suffers from the same issue as the classic definition of degree of homogeneous ideals. Section three of the article gives an alternative intrinsic (and workable) definition of the degree of a non-homogeneous ideal, based on a generic sequence of linear polynomials. For equi-dimensional ideals, this new definition has been shown to agree with the definition of the degree of an ideal via homogenisation. The results of Section 3 lead to arguably the main result of the article, which is an affine version of the Bézout inequality. In particular, it gives a bound on the degree of an ideal, based on the degree of the generators of the ideal.

Recommendations

Cites work

Cited in

(7)

Describes a project that uses

Uses Software

Kronecker

This page was built for publication: On Bézout inequalities for non-homogeneous polynomial ideals

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