Аннотация:
Рассматривается система дифференциальных уравнений, допускающая группу преобразований. По алгебре Ли этой группы можно построить иерархию подмоделей. Эту иерархию можно выбрать так, что решения любой подмодели будут решениями некоторой другой подмодели этой же иерархии. Для этого надо вычислить оптимальную систему подалгебр и построить граф вложенных подалгебр, а затем вычислить дифференциальные инварианты и операторы инвариантного дифференцирования для каждой подалгебры. Инварианты надалгебры будут функциями инвариантов подалгебры. Операторы инвариантного дифференцирования надалгебры линейно выражаются через операторы инвариантного дифференцирования подалгебры над полем инвариантов подалгебры. Сравнение представлений групповых решений дает связь между решениями подмоделей надалгебры и подалгебры. Приведены примеры вложенных подмоделей для уравнений газовой динамики.