Формальная теорема Фробениуса и метод сдвига аргумента

В работе доказана формальная теорема Фробениуса, являющаяся аналогом классической теоремы об интегрируемости гладких распределений. Этот результат использован для обобщения метода сдвига аргумента, предложенного А. С. Мищенко и А. Т. Фоменко, на случай конечномерных алгебр Ли над произвольным полем характеристики нуль. Доказан критерий полноты коммутативного набора полиномов, построенного формальным методом сдвига аргумента.
Библиография: 11 названий.