О Регулярности И Теореме Трессе Для Геометрических Структур

Рациональность Ряда Пуанкаре В Локальных Задачах Анализа По Арнольду

“…также [10]- [24]). Для случая геометрических структур результаты настоящей работы были получены в совместной работе автора и И. Г. Шанд-ры [25]. § 2.…”

“…[28], [29] для случая модулей над кольцом полиномов и [30] для случая модулей над кольцом дифференциальных операторов с аналитическими коэффициентами). Для порядка grlex оно также изложено в работе [25].…”

“…. , h Z имеется в работе [25]. Это доказывает существо-вание разбиения W области U и списка G над W. Существование квазибазиса Грёбнера, т. е. разбиения W 1 области U и списка G 1 над W 1 , доказывается так же, как и выше, с той лишь разницей, что вместо порядка grlex теперь следует рассмотреть порядок qlex, вместо нормальных разбиений -квазинормальные,…”

“…Необходимо убе-диться в том, что на каждом шаге построения каждого атома разбиения V 2 возникают области только указанного вида. Данное построение проведено в ра-боте [25] для аналогичной ситуации, и поэтому здесь мы его не приводим. При этом по заданным уравнениям псевдогруппы PG можно найти образующие подмодуля F модуля M * (V), отвечающего атому V согласно лемме 3.1.…”

“…При нахождении этих образующих мы только продолжаем определяющие уравне-ния псевдогруппы PG, берем их линейные комбинации, вычисляем ранги опре-делителей, состоящих из коэффициентов этих уравнений. Это также подробно проведено в аналогичной ситуации в работе [25]. После этого явно находят-ся коэффициенты полинома Hilb V , задающего функцию Гильберта страта V при k K 2 (n, m, q).…”