FUNDAMENTALNAYA
I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

2008, VOLUME 14, NUMBER 4, PAGES 109-120

O. D. Golubitsky

M. V. Kondratieva

A. I. Ovchinnikov

Abstract

View as HTML
View as gif image

The Ritt problem asks if there is an algorithm that decides whether one prime differential ideal is contained in another one if both are given by their characteristic sets. We give several equivalent formulations of this problem. In particular, we show that it is equivalent to testing whether a differential polynomial is a zero divisor modulo a radical differential ideal. The technique used in the proof of this equivalence yields algorithms for computing a canonical decomposition of a radical differential ideal into prime components and a canonical generating set of a radical differential ideal. Both proposed representations of a radical differential ideal are independent of the given set of generators and can be made independent of the ranking.

Main page | Contents of the journal | News | Search |

Location: http://mech.math.msu.su/~fpm/eng/k08/k084/k08406h.htm

Last modified: February 26, 2009