Обычная цепочка - Regular chain

В компьютерная алгебра, а регулярная цепочка - это особый вид треугольного множества в многомерном кольцо многочленов над полем. Это расширяет понятие набор характеристик.

Вступление

Учитывая линейная система, можно преобразовать его в треугольная система через Гауссово исключение. Для нелинейного случая, учитывая полиномиальная система F над полем, его можно преобразовать (разложить или превратить в треугольник) в конечный набор треугольных множеств в том смысле, что алгебраическое многообразие V(F) описывается этими треугольными множествами.

Треугольное множество может просто описывать пустое множество. Чтобы исправить этот вырожденный случай, понятие регулярной цепи было введено независимо Калкбренером (1993), Янгом и Чжаном (1994). Регулярные цепочки также встречаются у Chou and Gao (1992). Регулярные цепи - это специальные треугольные множества, которые используются в различных алгоритмах для вычисления несмешанных размерных разложений алгебраических многообразий. Без использования факторизации эти разложения имеют лучшие свойства, чем те, которые производятся Алгоритм Ву. Первоначальное определение Калькбренера было основано на следующем наблюдении: каждое неприводимое многообразие однозначно определяется одним из общие точки а многообразия можно представить, описывая общие точки их неприводимых компонент. Эти точки общего положения задаются регулярными цепями.

Примеры

Обозначить Q поле рациональных чисел. В Q[Икс₁, Икс₂, Икс₃] с переменным порядком x₁ <х₂ <х₃,

${displaystyle T={x_{2}^{2}-x_{1}^{2},x_{2}(x_{3}-x_{1})}}$

- треугольное множество, а также правильная цепь. Две общие точки, указанные Т являются (a, a, a) и (a, -a, a), где а трансцендентален Q. Таким образом, есть две неприводимые компоненты, задаваемые {x₂ - Икс₁, Икс₃ - Икс₁ } и {x₂ + х₁, Икс₃ - Икс₁ } соответственно. Отметим, что: (1) содержание второго многочлена x₂, который не влияет на количество представленных общих точек и поэтому может быть удален; (2) измерение каждого компонента - 1, количество свободных переменных в регулярной цепочке.

Формальные определения

Переменные в кольце многочленов

${displaystyle R=k[x_{1},ldots ,x_{n}]}$

всегда отсортированы как x₁ <... <х_п. Непостоянный многочлен ж в ${displaystyle R}$ можно рассматривать как одномерный многочлен от его наибольшей переменной. ж называется его основной переменной, обозначаемой мвар(е). Позволять ты быть главной переменной ж и напишите это как

${displaystyle f=a_{e}u^{e}+cdots +a_{0}}$,

куда е степень ж w.r.t. ты и ${displaystyle a_{e}}$ старший коэффициент ж w.r.t. ты. Тогда инициал жявляется ${displaystyle a_{e}}$ и е это его основная степень.

• Треугольный набор

Непустое подмножество Т из ${displaystyle R}$ является треугольным множеством, если многочлены от Т непостоянны и имеют различные основные переменные. Следовательно, треугольное множество конечно и имеет мощность не более п.

• Обычная цепочка

Пусть T = {t₁, ..., т_s} - треугольное множество такое, что мвар(т₁) < ... < мвар(т_s), ${displaystyle h_{i}}$ быть первым из т_я и час быть произведением h_яс. потом Т это регулярная цепочка если

${displaystyle mathrm {resultant} (h,T)=mathrm {resultant} (cdots (mathrm {resultant} (h,t_{s}),ldots ,t_{i})cdots )eq 0}$,

где каждый результирующий вычисляется относительно главной переменной т_я, соответственно. Это определение от Янга и Чжана, которое имеет много алгоритмического оттенка.

• Квазикомпонентный и насыщенный идеал регулярной цепи

В квазикомпонентный W(Т) описывается регулярной цепочкой Т является

${displaystyle W(T)=V(T)setminus V(h)}$, то есть,

установленная разница сортов V(Т) и V(час). Присоединенным алгебраическим объектом регулярной цепи является ее насыщенный идеал

${displaystyle mathrm {sat} (T)=(T):h^{infty }}$.

Классический результат: Зариски закрытие из W(Т) равно многообразию, определяемому сат (Т), то есть,

${displaystyle {overline {W(T)}}=V(mathrm {sat} (T))}$,

и его размерность равна n - | T |, разность числа переменных и числа многочленов в Т.

• Треугольные разложения

В общем, есть два способа разложить полиномиальную систему F. Первый - лениво разложить, то есть только представить свой общие точки в смысле (Калькбренера),

${displaystyle {sqrt {(F)}}=cap _{i=1}^{e}{sqrt {mathrm {sat} (T_{i})}}}$.

Второй - описать все нули в Lazard смысл,

${displaystyle V(F)=cup _{i=1}^{e}W(T_{i})}$.

Существуют различные алгоритмы, доступные для треугольных разложений в любом смысле.

Характеристики

Позволять Т - правильная цепь в кольце многочленов р.

• Насыщенный идеал сат (Т) является несмешанный идеал с размерностью n - |Т|.
• Регулярная цепь обладает сильным свойством исключения в том смысле, что:

${displaystyle mathrm {sat} (Tcap k[x_{1},ldots ,x_{i}])=mathrm {sat} (T)cap k[x_{1},ldots ,x_{i}]}$.

• Полином п находится в сат (Т) тогда и только тогда, когда p псевдо-сводится к нулю Т, то есть,

${displaystyle pin mathrm {sat} (T)iff mathrm {prem} (p,T)=0}$.

Следовательно, проверка принадлежности для sat (Т) является алгоритмическим.

• Многочлен p - это делитель нуля по модулю сат (Т) если и только если ${displaystyle mathrm {prem} (p,T)eq 0}$ и ${displaystyle mathrm {resultant} (p,T)=0}$.

Следовательно, проверка регулярности sat (Т) является алгоритмическим.

• Учитывая простой идеал псуществует регулярная цепочка C такой, что п = сб (C).
• Если первый элемент регулярной цепочки C - неприводимый многочлен, а остальные линейны по своей основной переменной, то sat (C) - простой идеал.
• Наоборот, если п является простым идеалом, то после почти всех линейных замен переменных существует регулярная цепочка C предыдущей формы так, что п = сб (C).
• Треугольное множество является правильной цепью тогда и только тогда, когда оно является Набор характеристик Ritt своего насыщенного идеала.

Смотрите также

• Метод характеристического множества Ву
• Основа Грёбнера
• Регулярная полуалгебраическая система
• Треугольное разложение

Дальнейшие ссылки

• П. Обри, Д. Лазар, М. Морено Маза. К теории треугольных множеств. Журнал символических вычислений, 28 (1–2): 105–124, 1999.
• Ф. Булье, Ф. Лемэр и М. Морено Маза. Известные теоремы о треугольных системах и принцип D5. Transgressive Computing 2006, Гранада, Испания.
• Э. Юбер. Замечания о треугольных множествах и алгоритмах триангуляции-декомпозиции I: Полиномиальные системы. LNCS, том 2630, Springer-Verlag Heidelberg.
• Ф. Лемэр, М. Морено Маза и Ю. Се. Библиотека RegularChains. Maple Conference 2005.
• М. Калькбренер: Алгоритмические свойства колец многочленов. J. Symb. Comput. 26 (5): 525–581 (1998).
• М. Калькбренер: Обобщенный евклидов алгоритм вычисления треугольных представлений алгебраических многообразий. J. Symb. Comput. 15 (2): 143–167 (1993).
• Д. Ван. Вычислительные треугольные системы и регулярные системы. Журнал символических вычислений 30 (2) (2000) 221–236.
• Ян Л., Чжан Дж. (1994). Поиск зависимости между алгебраическими уравнениями: алгоритм, применяемый к автоматическим рассуждениям. Искусственный интеллект в математике, стр. 14715, Oxford University Press.