Аннотация:
Представлена алгебраическая техника, не использующая результаты теории моделей и позволяющая построить общую теорию Галуа произвольных нелинейных систем дифференциальных уравнений в частных производных. Основу алгебраической техники составляет поиск специального вида простых дифференциальных идеалов в тензорных произведениях дифференциальных колец. Основные результаты, демонстрирующие работу полученной техники, – это теорема о конструируемости дифференциального замыкания и общая теорема о соответствии Галуа для нормальных расширений.
Библиография: 14 названий.
Ключевые слова:тензорные произведения, конструируемые поля, дифференциальное замыкание, поле разложения, дифференциальная группа Галуа.