Local Bézout theorem

DOI10.1016/J.JSC.2010.06.022MaRDI QIDQ992805zbMATH OpenOpenAlexFDO

Publication date 10 September 2010

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

Full work available at URL https://doi.org/10.1016/j.jsc.2010.06.022

border basis Henselian rings Janet basis local Bézout theorem roots continuity stable computations

Henselian rings (13J15) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Solving polynomial systems; resultants (13P15)

Review text

Let \((A,\mathfrak m,k)\) be a Henselian local ring with maximal ideal \(\mathfrak m\) and algebraically closed residue field \(k\) of characteristic zero, \(P\) be the polynomial ring \(A[X_1,\dots,X_n]\), \(I\) be an \(n\)-generated ideal in \(P\), and \(\mathfrak M\) be the maximal ideal \((\mathfrak m,X_1,\dots,X_n)\) of \(P\). It is shown that if \((P/(\mathfrak m,I))_{\mathfrak M}\) has Krull dimension zero, then \((P/I)_{\mathfrak M}\) is a free \(A\)-module of finite rank. This result is applied to study polynomials \(f_1,\dots,f_n\) over \(k[x_1,\dots,x_n]\), where the generators \(F_1,\dots,F_n\) of \(I\) are thought of as perturbations of \(f_1,\dots,f_n\). The technique of border bases is used in the proof.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Local Bézout theorem

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