Об алгоритме деления с остатком в кольце многочленов от N -переменных

Автор: Сапарбаев Ю.Ш., Тайджыкова А.Б., Эсентаев С.Б., Тугульчиева В.С., Бисенгалиев Р.А.

Журнал: Теория и практика современной науки @modern-j

Рубрика: Основной раздел

Статья в выпуске: 10 (88), 2022 года.

Бесплатный доступ

Как известно, кольцо многочленов от одной переменной является евклидовым кольцом, а значит для любых двух многочленов найдется и притом единственная пара многочленов , для которых или r(x)=0. В данной статье мы рассмотрим обобщение процедуры нахождения частного и остатка на случай кольца . Как мы увидим, в данном случае, ситуация не такая однозначная как в

Многочлен, остаток, частное, идеал

Короткий адрес: https://sciup.org/140295452

IDR: 140295452

Текст научной статьи Об алгоритме деления с остатком в кольце многочленов от N -переменных

Рассмотрим многочлен   f,f,..,f еK[x,..,x„]. Попробуем представить многочлен f в виде f = af +...+af + r , at,rеK[x,..,x„]. Основная идея алгоритма та же, что и в случае одной переменной: мы должны занулять старший член полинома f (относительно некоторого мономиального упорядочения) , умножая некоторый f на подходящий моном и вычитая. Этот моном будет членом соответствующего a .

Теорема. Зафиксируем некоторое мономиальное упорядочение на n (например, лексикографическое упорядочение), и пусть F =   (fl,..,Л) - упорядоченный набор полиномов из K[x,..,xn]. Тогда любой полином f е

K [ x ,.., х и] может быть записан в виде f = af + ... + af + r , где at , r е K [ x ,.., xn ] или r = 0 или r - есть линейная комбинация мономов ( с коэффициентами из поля K), ни один из которых не делится ни на один из старших членов ( f ,.., f )

Пример.

Пусть f = x 2 y + xy 2 + y 2, f = xy - 1, f2 = y 2 - 1 . Разделим f на F = ( f , f 2)

Решение. Будем использовать лексикографическое упорядочение xy .

г       2    .      2.2

f = x y + xy + y

f 1 = xy - 1

f 2 = y 2 -1

остаток

1.

f - x f l = xy 2 + x + y 2 = h l

2. h l - y f l = x + y2 + y

Старший коэффициент x  не

делится ни на один из

^ x

старших

коэффициентов f , f2

В    этом    случае

отправляем     этот

моном в остаток

3. h 2 = y 2 + y

h 2 - f , = y + 1

—У x + y + 1

Таким образом, получаем

X 2 y + xy 2 + y 2 = ( x + y )f + 1 - f . + ( x + y + 1)

Однако, если теперь рассмотреть тот же пример, но поменять местами многочлены f , то получим другой остаток.

Действительно, пусть   f = x 2 y + xy 2 + y 2, f = xy - 1, f2 = y 2 - 1 . Разделим f на

F = ( f 2 , f )

Получим f = (x +1) - f2 + x - f + (2 x +1)

Итак, упорядочение полиномов ( f ,.., f ) может влиять на результат. Отметим также, что на результат также влияет и то, какое мономиальное упорядочение мы выбираем.

Таким образом, алгоритм деления, определенной теоремой является несовершенным обобщением алгоритма деления в K [ X ] . Чтобы исправить ситуацию, необходимо использовать следующее правило: при работе с полиномами f ,.., f следует рассматривать идеал, порожденный ими, то есть I = ( f ,.., fs ) . Другими словами, следует рассматривать и другие наборы полиномов, порождающие тот же идеал. В результате возникает следующая задача: существует ли для произвольного идеала I в кольце K [ x ,.., xn ]

порождающее множество, такое, что остаток r от деления на данное порождающее множество полиномов был бы однозначно определен. Данная задача была решена Бруно Бухбергером ( род.в 1942 г.), который построил алгоритм нахождения такого базиса идеала ( базисы Гребнера).

Статья научная