Bézout's theorem and ideals of terminal forms

DOI10.1016/J.EXMATH.2009.09.003MaRDI QIDQ984626zbMATH OpenOpenAlexFDO

Authors Ming-Chang Kang

Publication date 20 July 2010

Published in Expositiones Mathematicae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.exmath.2009.09.003

zbMATH Keywords

Bézout's theoremGroebner basisMacaulay's theorem

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)

Review text

Let \(K\) be a field and \(f\in K[x_1, \ldots, x_n]\) a polynomial of degree \(d\). The terminal form \(tm(f)\) is the homogeneous part of degree \(d\) of \(f\). For an ideal \(I\) the terminal ideal \(tm(I)\) is the ideal generated by the terminal forms of the elements of \(I\). Let \(I=\langle f_1, \ldots, f_n\rangle\) be a zero--dimensional ideal and assume that \(\langle x_1, \ldots, x_n\rangle^N\subset \langle tm(f_1), \ldots, tm(f_n)\rangle\) for some \(N\). It is proved that \(tm(I)=\langle tm(f_1), \ldots, tm(f_n)\rangle\). This result is equivalent to Bézout's theorem.

Recommendations

• Elimination ideals and Bézout relations
• Perfektheit und die Umkehrung des Bezoutschen Satzes Herrn Professor Dr. Curt Meyer zum, 70. Geburtstag in herzlicher Verbundenheit geuridmet
• Local Bézout theorem
• On Bézout inequalities for non-homogeneous polynomial ideals
• scientific article; zbMATH DE number 1025680

Cited in

(4)

• On Bézout inequalities for non-homogeneous polynomial ideals
• Elimination ideals and Bézout relations
• Ramification sequences and Bezoutian forms
• Bézoutians and the \(\mathbb{A}^1\)-degree

This page was built for publication: Bézout's theorem and ideals of terminal forms

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