The minimal characteristic basis of a differential polynomial ideal (Q919045)

Soient K un corps de caractéristique zéro et \(K\{X_ 1,...,X_ n\}\) l'anneau des polynômes différentiels. L'A. introduit une rélation d'ordre sur les éléments de \(K\{X_ 1,...,X_ n\}\). Avec cette relation on define la notion de base caractéristique minimale d'un idéal différentiel. On démontre qu'un base minimale est unique et on donne un algorithme pour construire une base caractéristique minimale pour un idéal premier différentiel.