Differential Gröbner bases in one variable and in the partial case

DOI10.1016/S0895-7177(97)00054-XMaRDI QIDQ1368537zbMATH OpenOpenAlexFDO

Publication date 6 December 1998

Published in Mathematical and Computer Modelling (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0895-7177(97)00054-x

differential dimension differential Gröbner basis ring of differential polynomials

Commutative rings of differential operators and their modules (13N10) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Review text

Let \(K\) be a field of characteristic zero. Let \(\Delta =\{\delta_1,\ldots,\delta_m\}\) be a set of commuting derivation operators and \(\Theta =\{\delta_1^{a_1}\cdots\delta_m^{a_m}| \;(a_1,\ldots,a_m) \in {\mathbb N}^m\}\) the semigroup of derivatives generated by \(\Delta\). The ring of differential polynomials is defined to be the ring \(K\{Z\} = K[\theta Z| \;\theta\in\Theta]\), where \(Z\) is an indeterminate. This is a commutative polynomial ring with infinite variables. The author [\textit{G. Carrá Ferro}, in: Applied Algebra, algebraic algorithms and error-correcting codes, Proc. 5th Int. Conf., AAECC-5, Menorca 1987, Lect. Notes Comput. Sci. 356, 129-140 (1989; Zbl 0717.13017)] and \textit{F. Ollivier} [ibid., AAECC-8, Lect. Notes Comput. Sci. 508, 304-321 (1991; Zbl 0737.13009)] have introduced the notion of a Gröbner basis for an ideal in \(K\{Z\}\) with respect to a term ordering compatible with the derivations. Differential Gröbner bases do not behave like the ones of ideals in a polynomial ring of finite variables. This paper gives characterizations for differential Gröbner bases. It is also a good survey on this topic with many illustrating examples.

Recommendations

Cites work

Cited in

(20)

This page was built for publication: Differential Gröbner bases in one variable and in the partial case

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