On Bézout inequalities for non-homogeneous polynomial ideals

DOI10.1016/J.JSC.2020.11.003zbMATH Open1477.13042arXiv1701.04341OpenAlexW3134333027WikidataQ121644393 ScholiaQ121644393MaRDI QIDQ2028993FDOQ2028993

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)

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.

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

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]\)

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)

Cites Work

• A concise proof of the Kronecker polynomial system solver from scratch
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Joins and Intersections
• Definability and fast quantifier elimination in algebraically closed fields
• What can be computed in algebraic geometry?
• Fields of large transcendence degree generated by values of elliptic functions
• A course in commutative algebra
• Lectures on results on Bezout's theorem. Notes by D. P. Patil
• Multiplicity estimates for analytic functions. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intrinsic complexity for constructing zero-dimensional Gröbner bases

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
• Title not available (Why is that?)
• Elimination ideals and Bézout relations
• Note on a paper of P. Philippon

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)