On the basis theorem for infinite systems of diffe\-rential polynomials. (Q2590497)

Ist \(\varSigma\) ein unendliches System von Differentialpolynomen, so wird eine endliche Teilmenge \(\varPhi\) als Basis von \(\varSigma\) bezeichnet, wenn es zu jedem Polynom \(G\) von \(\varSigma\) eine natür\-liche Zahl \(p\) derart gibt, daß \(G^p\) dem Differentialideal von \(\varPhi\) angehört. Die Basis heißt \textit{streng}, wenn man für jedes \(G\) mit derselben Zahl \(p\) auskommt. Während jedes System \(\varSigma\) eine Basis hat, wird hier ein \(\varSigma\) aufgezeigt, das keine \textit{strenge} Basis hat.