A note on polynomial reduction (Q1314434)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A note on polynomial reduction
scientific article

    Statements

    A note on polynomial reduction (English)
    0 references
    0 references
    0 references
    28 February 1994
    0 references
    Let \(K\) be a field. A marked polynomial is a polynomial \(f\in K[x_ 1, x_ 2,\dots, x_ n]\) together with a specified leading term \(in(f)\) which can be any of the terms appearing in \(f\). A set \({\mathcal F}\subset K[x_ 1, x_ 2,\dots, x_ n]\) of marked polynomials defines a reduction \(\to_{\mathcal F}\) modulo \({\mathcal F}\) in the usual sense of Gröbner bases theory, and this reduction is noetherian if \({\mathcal F}\) is marked coherently, i.e. if there is an admissible term order on \(K[x_ 1, x_ 2,\dots, x_ n]\) such that for all \(f\in {\mathcal F}\), in \((f)\) is the leading term in \(f\) with respect to this term ordering [see \textit{B. Buchberger}, Multidimensional systems theory, 184-232 (1985; Zbl 0587.13009)]. In this paper the converse of this statement is proved.
    0 references
    marked polynomials
    0 references
    term ordering
    0 references

    Identifiers