On Bézout inequalities for non-homogeneous polynomial ideals

DOI10.1016/J.JSC.2020.11.003MaRDI QIDQ2028993zbMATH OpenOpenAlexWikidataFDO

Authors Amir Hashemi, Joos Heintz, Pablo Solernó, Luis Miguel Pardo

Publication date 3 June 2021

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

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

zbMATH Keywords

polynomial ringdegree of an idealGröbner basisidealistic Bézout inequality

Mathematics Subject Classification ID

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.

Recommendations

• Effective Nullstellensatz for arbitrary ideals
• Bézout's theorem and ideals of terminal forms
• Elimination ideals and Bézout relations
• scientific article; zbMATH DE number 3937298
• Effective Bezout identities in \({\mathbb{Q}}[z_ 1,\dots ,z_ n]\)

Cites work

• scientific article; zbMATH DE number 4214184 (Why is no real title available?)
• scientific article; zbMATH DE number 3687501 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 503187 (Why is no real title available?)
• scientific article; zbMATH DE number 621807 (Why is no real title available?)
• scientific article; zbMATH DE number 976329 (Why is no real title available?)
• scientific article; zbMATH DE number 1027930 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• scientific article; zbMATH DE number 3323113 (Why is no real title available?)
• scientific article; zbMATH DE number 3196340 (Why is no real title available?)
• A concise proof of the Kronecker polynomial system solver from scratch
• A course in commutative algebra
• Definability and fast quantifier elimination in algebraically closed fields
• Fields of large transcendence degree generated by values of elliptic functions
• Intrinsic complexity for constructing zero-dimensional Gröbner bases
• Joins and Intersections
• Lectures on results on Bezout's theorem. Notes by D. P. Patil
• Multiplicity estimates for analytic functions. II
• What can be computed in algebraic geometry?

Cited in

(5)

• On regular sequences in the form module with applications to local Bézout inequalities
• Bézout's theorem and ideals of terminal forms
• scientific article; zbMATH DE number 474583 (Why is no real title available?)
• Elimination ideals and Bézout relations
• Note on a paper of P. Philippon

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)