Идеал сепарант в кольце дифференциальных многочленов

В статье получен критерий наличия квазилинейного многочлена в дифференциальном идеале кольца обыкновенных дифференциальных многочленов и обобщены теоремы Коэна–Зайденберга “о спуске” и “о подъёме” на случай алгебр Ритта. В частности, получены новый критерий конечности дифференциальных стандартных базисов и некоторые оценки, характеризующие сложность их вычисления.