Кольцо многочленов над полем (в отличие от случая многочленов над кольцом) обладает рядом специфических свойств, близких к свойствам кольца целых чисел Z . Делимость многочленов. Хорошо известный для многочленов над полем R способ деления "углом" использует только арифметические действия над коэффициентами и потому применим к многочленам над любым полем k. Он дает возможность для двух ненулевых многочленов p,sk[x] построить такие многочлены q (неполное частное) и r (остаток), что p = q*s +r , причем либо r =0, либо deg(r)< deg(s). Если r =0 , то говорят, что s делит p (или является делителем p) и обозначают это так: s | p. Будем называть многочлен унитарным (или приведенным), если его старший коэффициент равен 1. Определение. Общим наибольшим делителем ненулевых многочленов p и s называется такой унитарный многочлен ОНД(p, s), что 1. ОНД(p, s) | p; ОНД(p, s) | s. 2. q | p, q | s q | ОНД(p, s). По определению, для ненулевого многочлена р со старшим коэффициентом а ОНД (р, 0) = ОНД (0, р) = р/а; ОНД (0, 0)=0. Аналогично определяется ОНД любого числа многочленов. Единственность ОНД двух многочленов непосредственно вытекает из определения. Существование его следует из следующего утверждения. Основная теорема теории делимости (для многочленов). Для любых двух ненулевых многочленов p и q над полем k можно найти такие многочлены u и v над тем же полем, что ОНД(p, q)= u*p+v*q. Доказательство этой теоремы очень похоже на приведенное в лекции доказательство аналогичной теоремы над Z. Все же наметим основные его шаги. Выберем такие многочлены u и v чтобы сумма w= u*p+v*q имела возможно меньшую степень(но была ненулевой!). Можно при этом считать w унитарным многочленом. Проверим, что w | p. Выполняя деление с остатком, получаем: p= s*w+r. Подставляя это равенство в исходное, находим: r = p - s*w =p - s*(u*p+v*q) = (1-s*u)*p+(-s*v)q = U*p + V*q . Если при этом r 0, то deg(r) Замечание. Используя индукцию, можно доказать, что для любого числа многочленов ОНД для подходящих многочленов. Более того, эта формула сохраняется даже для бесконечного множества многочленов, поскольку их ОНД в действительности является ОНД некоторого их конечного подмножества.

Следствие. Всякий идеал в кольце многочленов над полем является главным. В самом деле, пусть p - ОНД всех многочленов, входящих в идеал I. Тогда, где По определению идеала отсюда вытекает, что, а значит, I =(p). Разложение на множители. Пусть k некоторое поле, p, q, s - многочлены над k. Если p=q*s, причем оба многочлена q и s имеют степень меньшую, чем p, то многочлен p называется приводимым (над полем k). В противном случае p неприводим. Неприводимый многочлен в кольце k[x] является аналогом простого числа в кольце Z . Ясно, что каждый ненулевой многочлен p= можно разложить в произведение: p= *, где все многочлены неприводимы над k и имеют старший коэффициент равный 1. Можно доказать, что такое разложение единственно с точностью до порядка сомножителей. Разумеется среди этих множителей могут быть одинаковые; такие множители называются кратными. Объединяя кратные множители можно то же разложение записать в виде: p= 0. Примеры. 1. . Заметим, что многочлены первой степени по определению неприводимы над любым полем. Множитель x является кратным, остальные - простые. 2. Многочлен неприводим над полем Q рациональных чисел. В самом деле, если ()=(x-a)*q, то подставляя в это равенство x=a, получаем: , что невозможно ни для какого рационального числа a. Тот же многочлен над полем R вещественных чисел приводим: , причем второй множитель имеет отрицательный дискриминант и потому далее не разложим над R . Наконец, над полем C комплексных чисел имеем: , где = - кубический корень из 1. На этом примере мы видим, что понятие приводимости существенно зависит от того над каким полем рассматривается многочлен. Свойства неприводимых многочленов. 1 .Если p- неприводимый многочлен и d =ОНД(p, q) 1, то p | q. В самом деле, p = d*s и если deg(s)>0, то это противоречит неприводимости p, а если deg(s)=0, то d | qp | q. 2. Если p | и p неприводим, то либо p | либо p | . Действительно, в противном случае НОД(p,) = НОД(p,) =1 и потому по основной теореме теории делимости, откуда: и значит, то есть НОД(p,)=1 и, следовательно, deg (p)=0.

1. Кольцо многочленов над полем

Пусть – произвольное поле. Символом обозначают совокупность всех многочленов от переменной (всевозможных степеней), коэффициенты которых берутся из поля :

На этом множестве определены две операции: два многочлена можно сложить и перемножить по известным правилам. Операции сложения и умножения многочленов удовлетворяют аксиомам 1-7 и 9 поля (то есть всем, кроме восьмой). Как говорилось выше, такая совокупность объектов называется кольцом. Итак, – кольцо многочленов над полем .

Другим примером кольца является кольцо целых чисел . Оказывается, что основные свойства целых чисел являются следствиями аксиом 1-7, 9, и поэтому остаются справедливыми в любом кольце. В частности, перенесем на многочлены свойства целых чисел, связанные с делимостью. Степень многочлена будем обозначать .

Делимость многочленов

Говорят, что многочлен делится на многочлен , если можно найти такой многочлен , что . Говорят также, что делит и записывают это в виде .

Деление с остатком

Для любых двух многочленов и , можно найти такие многочлены и , что

Многочлены и могут быть найдены известным алгоритмом деления "уголком". Заметим, что вычисления упрощаются, если старший коэффициент делителя . Этого всегда можно добиться, вынося за скобки: . Здесь – делитель со старшим коэффициентом 1, a – новое частное, по которому, если необходимо, можно восстановить .

Для машинных вычислений удобна такая схема.

Вычислительная схема деления с остатком

(5)

Подставляя (4) и (5) в (3) и сравнивал коэффициенты при , получаем систему

. (6)

. (7)

Условие суммирования в этих суммах состоит в том, что индексы коэффициентов должны находиться в пределах от 0 до степени многочлена:

Следовательно, индекс суммирования должен изменяться в пределах

Например, при (6) принимает вид , то есть .

Если , то , следовательно,

,

так как . Заметим, что под знак суммы входят с индексами, большими , что дает возможность последовательно их вычислять. Таким образом, коэффициенты частного и остатка при делении двух многочленов можно найти по следующей схеме:

1°. Полагаем .

2°. Для вычисляем и полагаем

.

3°. Для вычисляем и полагаем

.

Утверждения о многочленах

Из формулы (3) деления с остатком вытекают известные факты о многочленах, для нас важно, что эти факты справедливы для кольца многочленов над произвольным полем.

1. Теорема 1 (Безу). Пусть и а произвольный элемент поля . Тогда остаток от деления на многочлен равен элементу .

Действительно, записывая (2.3) для данного случая, получаем

где многочлен нулевой степени, то есть элемент поля . Подставляя в это равенство , получаем .

2. Если , то есть – корень , то делится на .

Это прямо следует из 1.

3. Многочлен степени в любом поле имеет не более корней.

Следует из того, что после деления на степень многочлена уменьшается на 1.

4. Если многочлен делится на :

,

и частное снова делится на , то будет делиться на . В этом случае корень называется кратным. Определяя формальную производную многочлена как многочлен , нетрудно проверить, что все правила дифференцирования остаются в силе. Например, если

,

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

2. Алгоритм Евклида

Наибольшим общим делителем двух многочленов и называется многочлен , такой что

2) если и , то .

Обозначение прежнее: .

Теорема 2. Если , то существуют многочлены и , такие что

Доказательство такое же, как для кольца целых чисел.

Замечание. Имеется некоторая неоднозначность в определении , она связана с тем, что если d(x) наибольший общий делитель многочленов и , а – произвольный ненулевой элемент поля , то многочлен так же будет удовлетворять условиям 1) и 2). Наоборот, если и , то многочлены и будут делить друг друга, а это возможно лишь в случае, когда , (). Таким образом, наибольший общий делитель двух многочленов над полем определен с точностью до множителя – элемента . Эту неоднозначность можно устранить, требуя чтобы старший коэффициент равнялся единице. Добавим в связи с этим к определению условие нормировки

3) старший коэффициент равен единице.

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

Пример. В кольце найти наибольший общий делитель многочленов

И ,), и, следовательно, ; либо , тогда (с учетом условия нормировки в определении наибольшего общего делителя многочленов).

Материал из Википедии - свободной энциклопедии

Многочлены от одной переменной над полем

Многочлены

Многочлен от x с коэффициентами в поле k - это выражение вида

$p\; =\; p\_m\; x^m\; +\; p\_\{m\; -\; 1\}\; x^\{m\; -\; 1\}\; +\; \backslash cdots\; +\; p\_1\; x\; +\; p\_0,$

где p 0 , …, p m - элементы k , коэффициенты p , а x , x   2 , … - формальные символы («степени x »). Такие выражения можно складывать и перемножать по обычным правилам действий с алгебраическими выражениями (коммутативность сложения, дистрибутивность, приведение подобных членов и т. д.). Члены p k x   k с нулевым коэффициентом p k при записи обычно опускаются. Используя символ суммы, многочлены записывают в более компактном виде:

$p\; =\; p\_m\; x^m\; +\; p\_\{m\; -\; 1\}\; x^\{m\; -\; 1\}\; +\; \backslash cdots\; +\; p\_1\; x\; +\; p\_0\; =\; \backslash sum\_\{k=0\}^m\; p\_k\; x^k.$

Кольцо многочленов k[x]

Легко видеть, что множество всех многочленов с коэффициентами в K образует коммутативное кольцо , обозначаемое k [x ] и называемое кольцом многочленов над k . Символ x обычно называют «переменной», эта терминология возникла из рассмотрения полиномиальных функций над R или над C . Однако в общем случае многочлены и полиномиальные функции - это разные вещи; например, над конечным полем $\backslash mathbb\; F\_p$ из простого числа элементов многочлены $x$ и $x^p$ задают одну и ту же функцию, но это разные многочлены (многочлены считаются равными тогда и только тогда, когда у них совпадают все коэффициенты). Следовательно, переменную x нельзя считать принадлежащей полю k ; о кольце k [x ] можно думать так: мы добавляем во множество элементов поля новый элемент x и требуем только того, чтобы выполнялись аксиомы кольца и чтобы x коммутировал с элементами поля.

Поскольку элементы кольца многочленов можно умножать на «скаляры» из поля k , оно фактически является ассоциативной алгеброй над полем k . Если рассматривать k [x ] как векторное пространство (то есть «забыть» об умножении), оно имеет бесконечный базис из элементов 1, x , x 2 и т. д.

Разложение на простые в k [x ]

Факторкольца k [x ]

$L\; \backslash simeq\; k[x]/(p).$

Важный частный случай - когда кольцо, содержащее k , само является полем; обозначим его K . Простота фактормодуля по $(p)$ равносильна неприводимости $p$. Теорема о примитивном элементе утверждает, что любое конечное сепарабельное расширение может быть порождено одним элементом, и, следовательно, имеет вид фактора кольца многочленов над меньшим полем по неприводимому многочлену. В качестве примера можно привести поле комплексных чисел , которое порождено над R элементом i , таким что i 2 + 1 = 0 . Соответственно, многочлен x 2 + 1 неприводим над R и

$\backslash mathbb\{C\}\; \backslash simeq\; \backslash mathbb\{R\}[x]/(X^2+1).$

Более общо, для произвольного (даже некоммутативного) кольца A , содержащего k и элемента a кольца A , коммутирующего со всеми элементами k , существует единственный гомоморфизм колец из k [x ] в A , отправляющий x в a :

$\backslash phi:\; k[x]\backslash to\; A,\; \backslash quad\; \backslash phi(x)=a.$

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

Модули

Кольцо многочленов от нескольких переменных

Определение

Многочлен от n переменных X 1 ,…, X n с коэффициентами в поле K определяется аналогично многочлену от одной переменной, но обозначения становятся более сложными. Для любого мультииндекса α = (α 1 ,…, α n ), где каждое α i - ненулевое целое число, пусть

$X^\backslash alpha\; =\; \backslash prod\_\{i=1\}^n\; X\_i^\{\backslash alpha\_i\}\; =$

X_1^{\alpha_1}\ldots X_n^{\alpha_n}, \quad p_\alpha = p_{\alpha_1\ldots\alpha_n}\in\mathbb{K}.\

X α называется одночленом степени $|\backslash alpha|\; =\; \backslash sum\_\{i=1\}^n\; \backslash alpha\_i$. Многочлен - это конечная линейная комбинация одночленов с коэффициентами в K : $\backslash sum\_\backslash alpha\; p\_\backslash alpha\; X^\backslash alpha$.

Многочлены от n переменных с коэффициентами в поле k (с обычными операциями сложения и умножения) образуют коммутативное кольцо, обозначаемое k [x 1 ,…, x n ]. Это кольцо можно получить многократным применением операции «взятие кольца многочленов над данным кольцом». Например, k [x 1 , x 2 ] изоморфно k [x 1 ][x 2 ], как и k [x 2 ][x 1 ]. Это кольцо игрет фундаментальную роль в алгебраической геометрии . Многие результаты коммутативной алгебры были достигнуты благодаря изучению идеалов этого кольца и модулей над ним.

Теорема Гильберта о нулях

Несколько фундаментальных результатов, касающихся взаимосвязи между идеалами кольца k [x 1 ,…, x n ] и алгебраическими подмногообразиями k n известны под общим именем теоремы Гильберта о нулях.

• (слабая форма, алгебраически замкнутое поле ) Пусть k - алгебраически замкнутое поле . Тогда любой максимальный идеал m кольца k [x 1 ,…, x n ] имеет вид

$m\; =\; (x\_1-a\_1,\; \backslash ldots,\; x\_n-a\_n),\; \backslash quad\; a\; =\; (a\_1,\; \backslash ldots,\; a\_n)\; \backslash in\; k^n.$

• (слабая форма, любое поле коэффициентов ) Пусть k - поле, K - алгебраически замкнутое поле , содержащее k и I - идеал в кольце k [x 1 ,…, x n ]. Тогда I содержит 1 в том и только в том случае, когда многочлены из I не имеют общего нуля в K n .
• (сильная форма ) Пусть k - поле, K - алгебраически замкнутое поле , содержащее k , I - идеал в кольце k [x 1 ,…, x n ] и V (I ) - алгебраическое подмногообразие, K n определенное I . Пусть f - многочлен, равный нулю во всех точках V (I ). Тогда некоторая степень f принадлежит идеалу I .

Если использовать определение радикала идеала , эта теорема утверждает, что f принадлежит радикалу I . Немедленное следствие из этой формы теоремы - существование биективного соответствия между радикальными идеалами K [x 1 ,…, x n ] и алгебраическими подмногообразиями n -мерного аффинного пространства K n .

См. также

Напишите отзыв о статье "Кольцо многочленов"

Литература

• Lam, Tsit-Yuen (2001), A First Course in Noncommutative Rings , Berlin, New York: Springer-Verlag , ISBN 978-0-387-95325-0
• Lang, Serge (2002), Algebra, Graduate Texts in Mathematics 211 (Revised third ed.), New York: Springer-Verlag - ISBN 978-0-387-95385-4 , MR1878556
• Osborne, M. Scott (2000), Basic homological algebra , vol. 196, Graduate Texts in Mathematics, Berlin, New York: Springer-Verlag , , ISBN 978-0-387-98934-1

Отрывок, характеризующий Кольцо многочленов

– Куда головой лежит? – спросил Николай, подъезжая шагов на сто к подозрившему охотнику. Но не успел еще охотник отвечать, как русак, чуя мороз к завтрашнему утру, не вылежал и вскочил. Стая гончих на смычках, с ревом, понеслась под гору за зайцем; со всех сторон борзые, не бывшие на сворах, бросились на гончих и к зайцу. Все эти медленно двигавшиеся охотники выжлятники с криком: стой! сбивая собак, борзятники с криком: ату! направляя собак – поскакали по полю. Спокойный Илагин, Николай, Наташа и дядюшка летели, сами не зная как и куда, видя только собак и зайца, и боясь только потерять хоть на мгновение из вида ход травли. Заяц попался матёрый и резвый. Вскочив, он не тотчас же поскакал, а повел ушами, прислушиваясь к крику и топоту, раздавшемуся вдруг со всех сторон. Он прыгнул раз десять не быстро, подпуская к себе собак, и наконец, выбрав направление и поняв опасность, приложил уши и понесся во все ноги. Он лежал на жнивьях, но впереди были зеленя, по которым было топко. Две собаки подозрившего охотника, бывшие ближе всех, первые воззрились и заложились за зайцем; но еще далеко не подвинулись к нему, как из за них вылетела Илагинская краснопегая Ерза, приблизилась на собаку расстояния, с страшной быстротой наддала, нацелившись на хвост зайца и думая, что она схватила его, покатилась кубарем. Заяц выгнул спину и наддал еще шибче. Из за Ерзы вынеслась широкозадая, чернопегая Милка и быстро стала спеть к зайцу.
– Милушка! матушка! – послышался торжествующий крик Николая. Казалось, сейчас ударит Милка и подхватит зайца, но она догнала и пронеслась. Русак отсел. Опять насела красавица Ерза и над самым хвостом русака повисла, как будто примеряясь как бы не ошибиться теперь, схватить за заднюю ляжку.
– Ерзанька! сестрица! – послышался плачущий, не свой голос Илагина. Ерза не вняла его мольбам. В тот самый момент, как надо было ждать, что она схватит русака, он вихнул и выкатил на рубеж между зеленями и жнивьем. Опять Ерза и Милка, как дышловая пара, выровнялись и стали спеть к зайцу; на рубеже русаку было легче, собаки не так быстро приближались к нему.
– Ругай! Ругаюшка! Чистое дело марш! – закричал в это время еще новый голос, и Ругай, красный, горбатый кобель дядюшки, вытягиваясь и выгибая спину, сравнялся с первыми двумя собаками, выдвинулся из за них, наддал с страшным самоотвержением уже над самым зайцем, сбил его с рубежа на зеленя, еще злей наддал другой раз по грязным зеленям, утопая по колена, и только видно было, как он кубарем, пачкая спину в грязь, покатился с зайцем. Звезда собак окружила его. Через минуту все стояли около столпившихся собак. Один счастливый дядюшка слез и отпазанчил. Потряхивая зайца, чтобы стекала кровь, он тревожно оглядывался, бегая глазами, не находя положения рукам и ногам, и говорил, сам не зная с кем и что.
«Вот это дело марш… вот собака… вот вытянул всех, и тысячных и рублевых – чистое дело марш!» говорил он, задыхаясь и злобно оглядываясь, как будто ругая кого то, как будто все были его враги, все его обижали, и только теперь наконец ему удалось оправдаться. «Вот вам и тысячные – чистое дело марш!»
– Ругай, на пазанку! – говорил он, кидая отрезанную лапку с налипшей землей; – заслужил – чистое дело марш!
– Она вымахалась, три угонки дала одна, – говорил Николай, тоже не слушая никого, и не заботясь о том, слушают ли его, или нет.
– Да это что же в поперечь! – говорил Илагинский стремянный.
– Да, как осеклась, так с угонки всякая дворняшка поймает, – говорил в то же время Илагин, красный, насилу переводивший дух от скачки и волнения. В то же время Наташа, не переводя духа, радостно и восторженно визжала так пронзительно, что в ушах звенело. Она этим визгом выражала всё то, что выражали и другие охотники своим единовременным разговором. И визг этот был так странен, что она сама должна бы была стыдиться этого дикого визга и все бы должны были удивиться ему, ежели бы это было в другое время.
Дядюшка сам второчил русака, ловко и бойко перекинул его через зад лошади, как бы упрекая всех этим перекидыванием, и с таким видом, что он и говорить ни с кем не хочет, сел на своего каураго и поехал прочь. Все, кроме его, грустные и оскорбленные, разъехались и только долго после могли притти в прежнее притворство равнодушия. Долго еще они поглядывали на красного Ругая, который с испачканной грязью, горбатой спиной, побрякивая железкой, с спокойным видом победителя шел за ногами лошади дядюшки.
«Что ж я такой же, как и все, когда дело не коснется до травли. Ну, а уж тут держись!» казалось Николаю, что говорил вид этой собаки.
Когда, долго после, дядюшка подъехал к Николаю и заговорил с ним, Николай был польщен тем, что дядюшка после всего, что было, еще удостоивает говорить с ним.

Когда ввечеру Илагин распростился с Николаем, Николай оказался на таком далеком расстоянии от дома, что он принял предложение дядюшки оставить охоту ночевать у него (у дядюшки), в его деревеньке Михайловке.
– И если бы заехали ко мне – чистое дело марш! – сказал дядюшка, еще бы того лучше; видите, погода мокрая, говорил дядюшка, отдохнули бы, графинечку бы отвезли в дрожках. – Предложение дядюшки было принято, за дрожками послали охотника в Отрадное; а Николай с Наташей и Петей поехали к дядюшке.
Человек пять, больших и малых, дворовых мужчин выбежало на парадное крыльцо встречать барина. Десятки женщин, старых, больших и малых, высунулись с заднего крыльца смотреть на подъезжавших охотников. Присутствие Наташи, женщины, барыни верхом, довело любопытство дворовых дядюшки до тех пределов, что многие, не стесняясь ее присутствием, подходили к ней, заглядывали ей в глаза и при ней делали о ней свои замечания, как о показываемом чуде, которое не человек, и не может слышать и понимать, что говорят о нем.
– Аринка, глянь ка, на бочькю сидит! Сама сидит, а подол болтается… Вишь рожок!
– Батюшки светы, ножик то…
– Вишь татарка!
– Как же ты не перекувыркнулась то? – говорила самая смелая, прямо уж обращаясь к Наташе.
Дядюшка слез с лошади у крыльца своего деревянного заросшего садом домика и оглянув своих домочадцев, крикнул повелительно, чтобы лишние отошли и чтобы было сделано всё нужное для приема гостей и охоты.
Всё разбежалось. Дядюшка снял Наташу с лошади и за руку провел ее по шатким досчатым ступеням крыльца. В доме, не отштукатуренном, с бревенчатыми стенами, было не очень чисто, – не видно было, чтобы цель живших людей состояла в том, чтобы не было пятен, но не было заметно запущенности.
В сенях пахло свежими яблоками, и висели волчьи и лисьи шкуры. Через переднюю дядюшка провел своих гостей в маленькую залу с складным столом и красными стульями, потом в гостиную с березовым круглым столом и диваном, потом в кабинет с оборванным диваном, истасканным ковром и с портретами Суворова, отца и матери хозяина и его самого в военном мундире. В кабинете слышался сильный запах табаку и собак. В кабинете дядюшка попросил гостей сесть и расположиться как дома, а сам вышел. Ругай с невычистившейся спиной вошел в кабинет и лег на диван, обчищая себя языком и зубами. Из кабинета шел коридор, в котором виднелись ширмы с прорванными занавесками. Из за ширм слышался женский смех и шопот. Наташа, Николай и Петя разделись и сели на диван. Петя облокотился на руку и тотчас же заснул; Наташа и Николай сидели молча. Лица их горели, они были очень голодны и очень веселы. Они поглядели друг на друга (после охоты, в комнате, Николай уже не считал нужным выказывать свое мужское превосходство перед своей сестрой); Наташа подмигнула брату и оба удерживались недолго и звонко расхохотались, не успев еще придумать предлога для своего смеха.
Немного погодя, дядюшка вошел в казакине, синих панталонах и маленьких сапогах. И Наташа почувствовала, что этот самый костюм, в котором она с удивлением и насмешкой видала дядюшку в Отрадном – был настоящий костюм, который был ничем не хуже сюртуков и фраков. Дядюшка был тоже весел; он не только не обиделся смеху брата и сестры (ему в голову не могло притти, чтобы могли смеяться над его жизнию), а сам присоединился к их беспричинному смеху.
– Вот так графиня молодая – чистое дело марш – другой такой не видывал! – сказал он, подавая одну трубку с длинным чубуком Ростову, а другой короткий, обрезанный чубук закладывая привычным жестом между трех пальцев.
– День отъездила, хоть мужчине в пору и как ни в чем не бывало!
Скоро после дядюшки отворила дверь, по звуку ног очевидно босая девка, и в дверь с большим уставленным подносом в руках вошла толстая, румяная, красивая женщина лет 40, с двойным подбородком, и полными, румяными губами. Она, с гостеприимной представительностью и привлекательностью в глазах и каждом движеньи, оглянула гостей и с ласковой улыбкой почтительно поклонилась им. Несмотря на толщину больше чем обыкновенную, заставлявшую ее выставлять вперед грудь и живот и назад держать голову, женщина эта (экономка дядюшки) ступала чрезвычайно легко. Она подошла к столу, поставила поднос и ловко своими белыми, пухлыми руками сняла и расставила по столу бутылки, закуски и угощенья. Окончив это она отошла и с улыбкой на лице стала у двери. – «Вот она и я! Теперь понимаешь дядюшку?» сказало Ростову ее появление. Как не понимать: не только Ростов, но и Наташа поняла дядюшку и значение нахмуренных бровей, и счастливой, самодовольной улыбки, которая чуть морщила его губы в то время, как входила Анисья Федоровна. На подносе были травник, наливки, грибки, лепешечки черной муки на юраге, сотовой мед, мед вареный и шипучий, яблоки, орехи сырые и каленые и орехи в меду. Потом принесено было Анисьей Федоровной и варенье на меду и на сахаре, и ветчина, и курица, только что зажаренная.

Энциклопедичный YouTube

1 / 5

✪ +38. Кольцо многочленов

✪ Теория колец | кольца многочленов | 1

✪ Теория колец и полей 7. Кольцо многочленов. Неприводимые многочлены. Расширение поля

✪ Кольцо многочленов над факториальным кольцом. Понятие поля

✪ +41. Многочлены как кольцо

Субтитры

Многочлены от одной переменной над полем

Многочлены

Многочлен от x с коэффициентами в поле k - это выражение вида

p = p m x m + p m − 1 x m − 1 + ⋯ + p 1 x + p 0 , {\displaystyle p=p_{m}x^{m}+p_{m-1}x^{m-1}+\cdots +p_{1}x+p_{0},}

где p 0 , …, p m - элементы k , коэффициенты p , а x , x   2 , … - формальные символы («степени x »). Такие выражения можно складывать и перемножать по обычным правилам действий с алгебраическими выражениями (коммутативность сложения, дистрибутивность, приведение подобных членов и т. д.). Члены p k x   k с нулевым коэффициентом p k при записи обычно опускаются. Используя символ суммы, многочлены записывают в более компактном виде:

p = p m x m + p m − 1 x m − 1 + ⋯ + p 1 x + p 0 = ∑ k = 0 m p k x k . {\displaystyle p=p_{m}x^{m}+p_{m-1}x^{m-1}+\cdots +p_{1}x+p_{0}=\sum _{k=0}^{m}p_{k}x^{k}.}

Кольцо многочленов

Легко видеть, что множество всех многочленов с коэффициентами в k {\displaystyle k} образует коммутативное кольцо , обозначаемое k [ x ] {\displaystyle k[x]} и называемое кольцом многочленов над k {\displaystyle k} . Символ x {\displaystyle x} обычно называют «переменной», эта терминология возникла из рассмотрения полиномиальных функций над R {\displaystyle \mathbb {R} } или над C {\displaystyle \mathbb {C} } . Однако, в общем случае многочлены и полиномиальные функции - это разные вещи; например, над конечным полем F p {\displaystyle \mathbb {F} _{p}} из простого числа p {\displaystyle p} элементов многочлены x 1 {\displaystyle x^{1}} и x p + 1 {\displaystyle x^{p+1}} задают одну и ту же функцию, но это разные многочлены (многочлены считаются равными тогда и только тогда, когда у них совпадают все коэффициенты). Следовательно, переменную x {\displaystyle x} нельзя считать принадлежащей полю k {\displaystyle k} ; о кольце k [ x ] {\displaystyle k[x]} можно думать так: мы добавляем во множество элементов поля новый элемент x {\displaystyle x} и требуем только того, чтобы выполнялись аксиомы кольца и чтобы x {\displaystyle x} коммутировал с элементами поля.

Поскольку элементы кольца многочленов можно умножать на «скаляры» из поля k {\displaystyle k} , оно фактически является ассоциативной алгеброй над полем k {\displaystyle k} . Если рассматривать k [ x ] {\displaystyle k[x]} как векторное пространство (то есть «забыть» об умножении), оно имеет бесконечный базис из элементов 1 = x 0 {\displaystyle 1=x^{0}} , x = x 1 {\displaystyle x=x^{1}} , x 2 {\displaystyle x^{2}} и т. д.

Разложение на простые в k [x ]

Фактор кольца k [x ]

L ≃ k [ x ] / (p) . {\displaystyle L\simeq k[x]/(p).}

Важный частный случай - когда кольцо, содержащее k , само является полем; обозначим его K . Простота фактормодуля по (p) {\displaystyle (p)} равносильна неприводимости p {\displaystyle p} . Теорема о примитивном элементе утверждает, что любое конечное сепарабельное расширение может быть порождено одним элементом, и, следовательно, имеет вид фактора кольца многочленов над меньшим полем по неприводимому многочлену. В качестве примера можно привести поле комплексных чисел , которое порождено над R элементом i , таким что i 2 + 1 = 0 . Соответственно, многочлен x 2 + 1 неприводим над R и

C ≃ R [ x ] / (X 2 + 1) . {\displaystyle \mathbb {C} \simeq \mathbb {R} [x]/(X^{2}+1).}

Более общо, для произвольного (даже некоммутативного) кольца A , содержащего k и элемента a кольца A , коммутирующего со всеми элементами k , существует единственный гомоморфизм колец из k [x ] в A , отправляющий x в a :

ϕ : k [ x ] → A , ϕ (x) = a . {\displaystyle \phi:k[x]\to A,\quad \phi (x)=a.}

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

Модули

Кольцо многочленов от нескольких переменных

Определение

Многочлен от n переменных X 1 ,…, X n с коэффициентами в поле K определяется аналогично многочлену от одной переменной, но обозначения становятся более сложными. Для любого мультииндекса α = (α 1 ,…, α n ), где каждое α i - ненулевое целое число, пусть

X α = ∏ i = 1 n X i α i = X 1 α 1 … X n α n , p α = p α 1 … α n ∈ K . {\displaystyle X^{\alpha }=\prod _{i=1}^{n}X_{i}^{\alpha _{i}}=X_{1}^{\alpha _{1}}\ldots X_{n}^{\alpha _{n}},\quad p_{\alpha }=p_{\alpha _{1}\ldots \alpha _{n}}\in \mathbb {K} .\ }

X α называется одночленом степени | α | = ∑ i = 1 n α i {\displaystyle |\alpha |=\sum _{i=1}^{n}\alpha _{i}} . Многочлен - это конечная линейная комбинация одночленов с коэффициентами в K : ∑ α p α X α {\displaystyle \sum _{\alpha }p_{\alpha }X^{\alpha }} .

Многочлены от n переменных с коэффициентами в поле k (с обычными операциями сложения и умножения) образуют коммутативное кольцо, обозначаемое k [x 1 ,…, x n ]. Это кольцо можно получить многократным применением операции «взятие кольца многочленов над данным кольцом». Например, k [x 1 , x 2 ] изоморфно k [x 1 ][x 2 ], как и k [x 2 ][x 1 ]. Это кольцо игрет фундаментальную роль в алгебраической геометрии . Многие результаты коммутативной алгебры были достигнуты благодаря изучению идеалов этого кольца и модулей над ним.

Теорема Гильберта о нулях

Несколько фундаментальных результатов, касающихся взаимосвязи между идеалами кольца k [x 1 ,…, x n ] и алгебраическими подмногообразиями k n известны под общим именем теоремы Гильберта о нулях.

• (слабая форма, алгебраически замкнутое поле ) Пусть k - алгебраически замкнутое поле . Тогда любой максимальный идеал m кольца k [x 1 ,…, x n ] имеет вид

m = (x 1 − a 1 , … , x n − a n) , a = (a 1 , … , a n) ∈ k n . {\displaystyle m=(x_{1}-a_{1},\ldots ,x_{n}-a_{n}),\quad a=(a_{1},\ldots ,a_{n})\in k^{n}.}

• (слабая форма, любое поле коэффициентов ) Пусть k - поле, K - алгебраически замкнутое поле , содержащее k и I - идеал в кольце k [x 1 ,…, x n ]. Тогда I содержит 1 в том и только в том случае, когда многочлены из I не имеют общего нуля в K n .
• (сильная форма ) Пусть k - поле, K - алгебраически замкнутое поле , содержащее k , I - идеал в кольце k [x 1 ,…, x n ] и V (I ) - алгебраическое подмногообразие, K n определенное I . Пусть f - многочлен, равный нулю во всех точках V (I ). Тогда некоторая степень f принадлежит идеалу I .

Если использовать определение радикала идеала , эта теорема утверждает, что f принадлежит радикалу I . Немедленное следствие из этой формы теоремы - существование биективного соответствия между радикальными идеалами K [x 1 ,…, x n ] и алгебраическими подмногообразиями n -мерного аффинного пространства K n .

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

То, что $%I$% является идеалом кольца, становится очевидным, если применить критерий. Непустое множество элементов кольца образует его идеал тогда и только тогда, когда оно 1) замкнуто относительно вычитания; 2) замкнуто относительно умножения на произвольные элементы кольца. Простейший пример: чётные среди целых. Здесь справедливость обоих свойств видна сразу. Более того, можно взять любые элементы $%a_1$%, ... , $%a_n$% коммутативного кольца $%R$%, и рассмотреть множество всех линейных комбинаций вида $%r_1a_1+r_2a_2+\cdots+r_na_n$%, где элементы $%r_i\in R$% пробегают все значения. Это будет идеал кольца; про него говорят, что он порождён элементами $%a_1$%, ... , $%a_n$%.

Теперь пойдёт небольшая эвристическая часть. У нас идеал порождён двумя элементами: это многочлен $%x^3+x^2+x+1=(x+1)(x^2+1)$%, и число $%5$%. Общее соображение такое: если нас интересует факторкольцо, то эти элементы надо приравнять к нулю.

Понятно, что 5 не равно 0, но если такое отождествление сделать хотя бы условно, то есть считать, что эти элементы "эквивалентны", то мы получим обычную арифметику по модулю 5. То есть коэффициентами многочленов станут элементы кольца вычетов $%\mathbb Z_5$% по модулю 5.

Многочлен третьей степени при этом можно разложить на линейные множители, так как 1 и -4 у нас "эквивалентны", и по модулю 5 получается $%x^2+1=x^2-4=(x-2)(x+2)$%. Фактически, у нас получилось такое факторкольцо: $%\mathbb Z_5[x]/((x+1)(x+2)(x-2))$%. В скобках у нас имеется многочлен, порождающий главный идеал.

Если элемент, порождающий главный идеал, разложен на множители, то из общих фактов следует, что факторкольцо изоморфно прямому произведению трёх факторколец того же кольца многочленов по главным идеалам, порождённых отдельными множителями. Для примера рассмотрим $%\mathbb Z_5[x]/(x-2)$%. Здесь та же логика: у нас $%x-2$% равно нулю, то есть $%x$% заменяется на $%2$%. Переменные исчезают, остаются только коэффициенты. Факторкольцо оказывается изоморфно $%\mathbb Z_5$%. У нас их три, и получается их прямое произведение, то есть $%\mathbb Z_5\times\mathbb Z_5\times\mathbb Z_5$%.

Это ответ, и теперь осталось то же самое описать на строго формальном уровне. Рассмотрим гомоморфизм кольца $%\mathbb Z$% на $%\mathbb Z_5$%, то есть на кольцо вычетов $%\mathbb Z/5\mathbb Z$% по модулю 5. Он индуцирует гомоморфизм колец многочленов: $%\mathbb Z[x]\to\mathbb Z_5[x]$%. Устроен он очень просто: у многочлена над $%\mathbb Z$% заменяем коэффициенты на их остатки от деления на $%5$%.

Теперь каждому многочлену $%f(x)\in\mathbb Z_5[x]$% сопоставим три его значения в точках 2, 3, 4, то есть рассмотрим тройку $%(f(2),f(3),f(4))$%, принадлежащую кольцу $%\mathbb Z_5^3=\mathbb Z_5\times\mathbb Z_5\times\mathbb Z_5$%. Ввиду того, что многочлены складываются и перемножаются по тем же правилам, что и числа, мы получаем гомоморфизм колец. В композиции исходного гомоморфизма с данным получится гомоморфизм $%\phi\colon\mathbb Z[x]\to\mathbb Z_5\times\mathbb Z_5\times\mathbb Z_5$%. Нас интересует его ядро.

Прежде всего, очевидно, что ядру принадлежит число 5 (оно переходит в нулевой элемент кольца уже при первом из гомоморфизмов, когда мы переходим к вычетам). Далее, многочлен $%x^3+x^2+x+1=(x+1)(x^2+1)$% отобразится в многочлен над кольцом вычетов, равный $%(x+1)(x^2-4)=(x+1)(x+2)(x-2)=(x-2)(x-3)(x-4)$%, так как 1 равно -4, и 2 равно -3 по модулю 5. Это объясняет, почему мы взяли значения многочлена именно в точках 2, 3, 4. Здесь они все равны нулю, и тогда многочлену сопоставляется нулевой вектор прямого произведения. По определению, это означает, что и $%x^3+x^2+x+1$% принадлежит ядру. Поскольку ядро является идеалом, то и все элементы идеала $%I$%, описанные в условии, принадлежат ядру. То есть $%I$% содержится в $%\mathop{\rm Ker\,}\phi$%.

Проверим, что на самом деле ядро совпадает с идеалом $%I$%. Если многочлен $%f(x)$% с целыми коэффициентами попал в ядро, это равносильно тому, что значения $%f(2)$%, $%f(3)$%, $%f(4)$% кратны пяти. Обозначая стандартным образом класс вычетов числа $%a$% по модулю 5 в виде $%\bar{a}$%, а также через $%\bar{f}(x)$% образ многочлена с целыми коэффициентами в кольце $%\mathbb Z_5[x]$%, мы видим, что $%\bar{f}(2)=\bar{f}(3)=\bar{f}(4)=0$%, то есть числа 2, 3, 4 являются корнями многочлена $%\bar{f}(x)$%. По теореме Безу, он делится на каждый из двучленов $%x-2$%, $%x-3$%, $%x-4$%. Тогда он делится и на их произведение, то есть его можно записать в виде $%\bar{f}(x)=(x-2)(x-3)(x-4)\bar{g}(x)$% для некоторого многочлена $%g(x)$% с целыми коэффициентами.

В кольце вычетов можно менять коэффициенты на равные им по модулю 5, поэтому будет верно также равенство $%\bar{f}(x)=(x^3+x^2+x+1)\bar{g}(x)$% в кольце $%\mathbb Z_5[x]$%. Тогда окажется, что многочлен $%f(x)-(x^3+x^2+x+1)g(x)$% перешёл в нулевой, поэтому все его коэффициенты были кратны 5, то есть разность имеет вид $%5h(x)$% для некоторого многочлена с целыми коэффициентами. В итоге получается, что $%f(x)=(x^3+x^2+x+1)g(x)+5h(x)$%, то есть $%f(x)$% принадлежит идеалу $%I$%, что и требовалось доказать.

Теперь можно применить теорему о гомоморфизмах колец, и сделать вывод, что факторкольцо $%\mathbb Z[x]/I$% по ядру гомоморфизма $%\phi$% изоморфно образу этого гомоморфизма. Осталось последнее: доказать, что гомоморфизм $%\phi$% сюръективен. Это делается сравнительно просто. Берём многочлен $%(x-2)(x-3)$%, и сопоставляем ему вектор значений в точках 2, 3, 4 (по модулю 5). Получается $%(0,0,2)$%. Чтобы на последнем месте получилась единица, домножаем многочлен на 3. В итоге видим, что базисный вектор $%(0,0,1)$% лежит в образе $%\phi$%.

Аналогично поступаем с $%(x-2)(x-4)$%, и он перейдёт в тройку $%(0,-1,0)$%. Меняя знак, получаем второй базисный вектор $%(0,1,0)$%. Наконец, $%(x-3)(x-4)$% переходит в $%(2,0,0)$%, и домножение на 3 даёт $%(1,0,0)$%. Все векторы базиса пространства $%\mathbb Z_5^3$% лежат в образе $%\phi$%, то есть он сюръективен. Этим окончательно доказано, что $%\mathbb Z[x]/I\cong\mathbb Z_5\times\mathbb Z_5\times\mathbb Z_5$%.

Осталось самое последнее. Факторкольцо, которое у нас получилось, является произведением трёх полей из пяти элементов. Такие кольца не только не являются полями, но в них всегда есть делители нуля. Достаточно перемножить ненулевые тройки $%(1,0,0)$% и $%(0,1,0)$% (покоординатно), и у нас получится нулевой элемент факторкольца.