Полиномиальное кольцо

В математике , особенно в области алгебры , кольцо полиномов или алгебра полиномов — это кольцо (которое также является коммутативной алгеброй образованное из множества многочленов ) , от одной или нескольких неопределённых величин (традиционно называемых также переменными ) с коэффициентами в другом кольце , часто поле .

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

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

Близким понятием является понятие кольца полиномиальных функций на векторном пространстве и, в более общем плане, кольца регулярных функций на алгебраическом многообразии .

Определение (одномерный случай) [ править ]

Пусть $K$ — поле или (в более общем плане) коммутативное кольцо .

Кольцо многочленов в $X$ над $K$ , которое обозначается $K [X]$ , может быть определено несколькими эквивалентными способами. Один из них — определить $K [X]$ как набор выражений, называемых многочленами от $X$ , вида ^[1]

p=p_{0}+p_{1}X+p_{2}X^{2}+\cdots +p_{m-1}X^{m-1}+p_{m}X^{m},

где $p0 если, p1, \dots, pm,$ коэффициенты K p $0$ , являются элементами $,$ pm $\neq 0,$ m $>,$ и $X, X 2, \dots$ являются символами, которые рассматриваются как «степени» $X$ и следуют обычным правилам возведения в степень : $X 0 = 1$ , $Х 1 = X$ и $X^{k}\,X^{l}=X^{k+l}$ для любых неотрицательных целых чисел $k$ и $l$ . Символ $X$ называется неопределённым. ^[2] или переменная. ^[3] (Термин «переменная» происходит из терминологии полиномиальных функций . Однако здесь $X$ не имеет значения (кроме самого себя) и не может меняться, будучи константой в кольце полиномов.)

Два многочлена равны, если соответствующие коэффициенты каждого $X к$ равны.

Можно думать, что кольцо $K [X]$ возникло из $K$ путем добавления одного нового элемента $X$ , внешнего по отношению к $K$ , коммутирующего со всеми элементами $K$ и не обладающего никакими другими специфическими свойствами. Это можно использовать для эквивалентного определения колец полиномов.

Кольцо многочленов в $X$ над $K$ снабжено сложением, умножением и скалярным умножением , которые делают его коммутативной алгеброй . Эти операции определяются в соответствии с обычными правилами манипулирования алгебраическими выражениями. В частности, если

p=p_{0}+p_{1}X+p_{2}X^{2}+\cdots +p_{m}X^{m},

и

q=q_{0}+q_{1}X+q_{2}X^{2}+\cdots +q_{n}X^{n},

затем

p+q=r_{0}+r_{1}X+r_{2}X^{2}+\cdots +r_{k}X^{k},

и

pq=s_{0}+s_{1}X+s_{2}X^{2}+\cdots +s_{l}X^{l},

где $k = max(m, n), l = m + n$ ,

r_{i}=p_{i}+q_{i}

и

s_{i}=p_{0}q_{i}+p_{1}q_{i-1}+\cdots +p_{i}q_{0}.

В этих формулах полиномы $p$ и $q$ расширяются путем добавления «фиктивных членов» с нулевыми коэффициентами, так что все $p i$ и $q i$ , которые появляются в формулах, определены. В частности, если $m < n$ , то $p i = 0$ для $m < i \leq n$ .

Скалярное умножение — это частный случай умножения, когда $p = p 0$ сводится к постоянному члену (члену, который не зависит от $X$ ); то есть

p_{0}\left(q_{0}+q_{1}X+\dots +q_{n}X^{n}\right)=p_{0}q_{0}+\left(p_{0}q_{1}\right)X+\cdots +\left(p_{0}q_{n}\right)X^{n}

Непосредственно проверяется, что эти три операции удовлетворяют аксиомам коммутативной алгебры $K.$ над Поэтому кольца полиномов также называют алгебрами полиномов .

Часто предпочтительнее другое эквивалентное определение, хотя и менее интуитивное, поскольку его легче сделать полностью строгим, которое состоит в определении многочлена как бесконечной последовательности $(p 0, p 1, p 2, \dots)$ элементов $K$ , имеющих свойство, заключающееся в том, что только конечное число элементов не равно нулю, или, что то же самое, последовательность, для которой существует некоторое $m,$ так что p _n = 0 для $n > m$ . В этом случае $p 0$ и $X$ рассматриваются как альтернативные обозначения для последовательности $(p 0, 0, 0, \dots)$ и $(0, 1, 0, 0, \dots)$ соответственно. Непосредственное использование правил операций показывает, что выражение

p_{0}+p_{1}X+p_{2}X^{2}+\cdots +p_{m}X^{m}

тогда это альтернативное обозначение для последовательности

(п 0, п 1, п 2, \dots, п м, 0, 0, \dots)

.

Терминология [ править ]

Позволять

p=p_{0}+p_{1}X+p_{2}X^{2}+\cdots +p_{m-1}X^{m-1}+p_{m}X^{m},

быть ненулевым многочленом с $p_{m}\neq 0$

Постоянный член p $$ равен $p_{0}.$ В случае нулевого многочлена он равен нулю.

Степень , p $,$ записанная $deg(p)$ равна $m,$ наибольшее $k$ такое, что коэффициент при $X к$ не равен нулю. ^[4]

Старший коэффициент $p$ равен $p_{m}.$ ^[5]

В частном случае нулевого многочлена, все коэффициенты которого равны нулю, старший коэффициент не определен, а степень по-разному оставлялась неопределенной: ^[6] определяется как $-1$ , ^[7] или определяется как $-\infty$ . ^[8]

— Постоянный многочлен это либо нулевой многочлен, либо многочлен нулевой степени.

Ненулевой полином является моническим, если его старший коэффициент равен $1.$

Учитывая два многочлена $p$ и $q$ , если степень нулевого многочлена определена как $-\infty ,$ надо

\deg(p+q)\leq \max(\deg(p),\deg(q)),

и над полем или, в более общем смысле, над областью целостности , ^[9]

\deg(pq)=\deg(p)+\deg(q).

Отсюда сразу следует, что если $K$ — область целостности, то и $K [X]$ тоже . ^[10]

также следует, что если $K$ — область целостности, многочлен является единицей (то есть имеет мультипликативный обратный ) тогда и только тогда, когда он постоянен и является единицей в $K.$ Из этого

Два многочлена связаны , если один из них является произведением другого на единицу.

В поле каждому ненулевому многочлену соответствует уникальный монический многочлен.

Учитывая два многочлена, $p$ и $q$ , говорят, что $делит$ q $,$ p $является$ делителем q или $p$ q $является$ кратным $p$ , если существует многочлен $r$ такой, что $q = pr$ .

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

Полиномиальная оценка

Пусть $K$ — поле или, в более общем смысле, коммутативное кольцо , а $R —$ кольцо, $K.$ содержащее Для любого многочлена $P$ в $K [X]$ и любого элемента $a$ в $R$ замена $X$ на $a$ в $P$ определяет элемент $R$ , который обозначается $P (a)$ . Этот элемент получается путем проведения в $R$ после замены операций, указанных выражением многочлена. называется оценкой P $.$ при $a$ Это вычисление Например, если у нас есть

P=X^{2}-1,

у нас есть

{\begin{aligned}P(3)&=3^{2}-1=8,\\P(X^{2}+1)&=\left(X^{2}+1\right)^{2}-1=X^{4}+2X^{2}\end{aligned}}

(в первом примере $R = K$ , а во втором $R = K [X]$ ). Замена $X$ на себя приводит к

P=P(X),

объясняющее, почему предложения «Пусть $P$ — многочлен» и «Пусть $P (X)$ — многочлен» эквивалентны.

Полиномиальная функция, определяемая полиномом $P,$ — это функция из $K$ в $K$ , которая определяется формулой $x\mapsto P(x).$ Если $K$ — бесконечное поле, два разных полинома определяют разные полиномиальные функции, но это свойство неверно для конечных полей. Например, если $K$ — поле с $q$ элементами, то полиномы $0$ и $X д - X$ оба определяют нулевую функцию.

Для каждого $a$ в $R$ оценка в $a$ , то есть отображение $P\mapsto P(a)$ определяет гомоморфизм алгебры из $K [X]$ в $R$ , который является единственным гомоморфизмом из $K [X]$ в $R$ , который фиксирует $K$ и отображает $X$ в $a$ . Другими словами, $K [X]$ обладает следующим универсальным свойством :

Для каждого кольца $R,$ содержащего $K$ , и каждого элемента $a$ из $R$ существует единственный гомоморфизм алгебры из

K [X]

в $R$ , который фиксирует $K$ и отображает $X$ в $a$ .

Изображение карты $P\mapsto P(a)$ , то есть подмножество $R$ , полученное путем замены $a$ на $X$ в элементах $K [X]$ , обозначается $K [a]$ . ^[11] Например, $\mathbb {Z} [{\sqrt {2}}]=\{P({\sqrt {2}})\mid P(x)\in \mathbb {Z} [X]\}=\mathbb {Z} \cup ({\sqrt {2}}\mathbb {Z} )$ , где ${\sqrt {2}}\mathbb {Z} =\{{\sqrt {2}}z\mid z\in \mathbb {Z} \}$ .

Что касается всех универсальных свойств, это определяет пару $(K [X], X)$ с точностью до единственного изоморфизма и, следовательно, может быть принято как определение $K [X]$ .

Одномерные полиномы над полем [ править ]

Если $K$ — поле , кольцо полиномов $K [X]$ обладает многими свойствами, аналогичными свойствам кольца целых чисел. $\mathbb {Z} .$ Большая часть этих сходств является результатом сходства между делением целых чисел в длину и делением в длину многочленов .

Большинство свойств $K [X]$ , перечисленных в этом разделе, не остаются верными, если $K$ не является полем или если рассматривать полиномы от нескольких неопределенных.

Как и целые числа, евклидово деление многочленов обладает свойством уникальности. То есть, учитывая два многочлена $a$ и $b \neq 0$ в $K [X]$ , существует единственная пара $(q, r)$ многочленов такая, что $a = bq + r$ , и либо $r = 0$ , либо $deg(r) < deg(б)$ . Это делает $K [X]$ областью евклидовой . Однако большинство других евклидовых областей (кроме целых чисел) не обладают ни свойством уникальности деления, ни простым алгоритмом (например, делением в столбики) для вычисления евклидова деления.

Евклидово деление является основой алгоритма Евклида для многочленов , который вычисляет наибольший общий делитель полинома двух многочленов. Здесь «наибольший» означает «иметь максимальную степень» или, что то же самое, быть максимальным для предпорядка, определяемого этой степенью. Учитывая наибольший общий делитель двух многочленов, остальные наибольшие общие делители получаются путем умножения на ненулевую константу (то есть все наибольшие общие делители $a$ и $b$ связаны). В частности, два многочлена, которые оба не равны нулю, имеют уникальный наибольший общий делитель, который является моническим (старший коэффициент равен 1 ).

Расширенный алгоритм Евклида позволяет вычислить (и доказать) тождество Безу . В случае $K [X]$ это можно сформулировать следующим образом. Для двух полиномов $p$ и $q$ соответствующих степеней $m$ и $n$ , если их унитарный наибольший общий делитель $g$ имеет степень $d$ , то существует единственная пара $(a, b)$ полиномов такая, что

ap+bq=g,

и

\deg(a)\leq n-d,\quad \deg(b)<m-d.

(Чтобы сделать это справедливым в предельном случае, когда $m = d$ или $n = d$ , необходимо определить отрицательную степень нулевого многочлена. Кроме того, выполняется равенство $\deg(a)=n-d$ может произойти только в том случае, если $p$ и $q$ связаны.) Свойство уникальности довольно специфично для $K [X]$ . В случае целых чисел то же самое свойство справедливо, если степени заменяются абсолютными значениями, но для обеспечения уникальности необходимо требовать $a > 0$ .

Лемма Евклида применима к $K [X]$ . То есть, если $a$ делит $bc$ и взаимно просто с $b$ , то $a$ делит $c$ . Здесь взаимно простое означает, что наибольший общий делитель равен 1 . Доказательство: По гипотезе и тождеству Безу существуют $e$ , $p$ и $q$ такие, что $ae = bc$ и $1 = ap + bq$ . Так $c=c(ap+bq)=cap+aeq=a(cp+eq).$

Уникальное свойство факторизации следует из леммы Евклида. В случае целых чисел это основная теорема арифметики . В случае $K [X]$ это можно сформулировать так: каждый непостоянный многочлен может быть выражен уникальным образом как произведение константы и одного или нескольких неприводимых монических многочленов; это разложение уникально с точностью до порядка множителей. Другими словами, $K [X]$ является уникальной областью факторизации . Если $K$ — поле комплексных чисел, фундаментальная теорема алгебры утверждает, что одномерный многочлен неприводим тогда и только тогда, когда его степень равна единице. В этом случае уникальное свойство факторизации можно переформулировать следующим образом: каждый непостоянный одномерный многочлен над комплексными числами может быть выражен уникальным образом как произведение константы и одного или нескольких многочленов формы $X - r$ ; это разложение уникально с точностью до порядка множителей. Для каждого фактора $r$ является корнем полинома, а количество вхождений фактора представляет собой кратность соответствующего корня.

Вывод [ править ]

производная (Формальная) многочлена

a_{0}+a_{1}X+a_{2}X^{2}+\cdots +a_{n}X^{n}

полином

a_{1}+2a_{2}X+\cdots +na_{n}X^{n-1}.

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

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

Бесквадратная факторизация [ править ]

Интерполяция Лагранжа [ править ]

Полиномиальное разложение [ править ]

Факторизация [ править ]

За исключением факторизации, все предыдущие свойства $K [X]$ эффективны проверки свойства и вычисления многочленов , , поскольку их доказательства, как показано выше, связаны с алгоритмами существование которых утверждается. Более того, эти алгоритмы эффективны, поскольку их вычислительная сложность является квадратичной функцией размера входных данных.

Совершенно иначе обстоит дело с факторизацией: доказательство единственной факторизации не дает никаких указаний на метод факторизации. Что касается целых чисел, то на классическом компьютере не существует известного алгоритма их факторизации за полиномиальное время . Это основа криптосистемы RSA , широко используемой для безопасной связи в Интернете.

В случае $K [X]$ коэффициенты и методы их вычисления сильно зависят $K.$ от Над комплексными числами все неприводимые множители (те, которые не могут быть далее факторизованы) имеют первую степень, тогда как над действительными числами существуют неприводимые многочлены степени 2, а над рациональными числами существуют неприводимые многочлены любой степени. степень. Например, полином $X^{4}-2$ неприводимо по рациональным числам, факторизуется как $(X-{\sqrt[{4}]{2}})(X+{\sqrt[{4}]{2}})(X^{2}+{\sqrt {2}})$ над действительными числами и, и как $(X-{\sqrt[{4}]{2}})(X+{\sqrt[{4}]{2}})(X-i{\sqrt[{4}]{2}})(X+i{\sqrt[{4}]{2}})$ над комплексными числами.

Существование алгоритма факторизации зависит также от основного поля. В случае действительных или комплексных чисел теорема Абеля-Руффини показывает, что корни некоторых многочленов и, следовательно, неприводимые множители не могут быть вычислены точно. Следовательно, алгоритм факторизации может вычислять только приближения факторов. Для вычисления таких приближений были разработаны различные алгоритмы, см. Корневой поиск полиномов .

Существует пример поля $K$ такого, что существуют точные алгоритмы арифметических операций над $K$ , но не может существовать алгоритм определения того, является ли многочлен вида $X^{p}-a$ неприводима или является произведением многочленов меньшей степени. ^[12]

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

Минимальный полином [ править ]

Если $θ$ — элемент ассоциативной K $-$ алгебры $L$ , полиномиальная оценка в $θ$ — это единственный гомоморфизм алгебры $φ$ из $K [X]$ в $L$ , который отображает $X$ в $θ$ и не влияет на элементы $самой K$ (это тождество карта на $К$ ). Он состоит в замене $X$ на $θ$ в каждом многочлене. То есть,

\varphi \left(a_{m}X^{m}+a_{m-1}X^{m-1}+\cdots +a_{1}X+a_{0}\right)=a_{m}\theta ^{m}+a_{m-1}\theta ^{m-1}+\cdots +a_{1}\theta +a_{0}.

Образом этого оценочного гомоморфизма является подалгебра, порожденная $θ$ , которая обязательно коммутативна. Если $φ$ инъективен, подалгебра, порожденная $θ$ , изоморфна $K [X]$ . В этом случае эту подалгебру часто обозначают $K [θ]$ . Неоднозначность обозначений обычно безвредна из-за изоморфизма.

Если гомоморфизм оценок не инъективен, это означает, что его ядро представляет собой ненулевой идеал , состоящий из всех многочленов, которые становятся нулевыми, когда $X$ заменяется на $θ$ . из всех кратных некоторого монического многочлена, который называется минимальным многочленом θ $Этот идеал состоит$ . Термин минимальный мотивирован тем, что его степень минимальна среди степеней элементов идеала.

Есть два основных случая, когда рассматриваются минимальные полиномы.

В теории поля и теории чисел элемент $θ$ L поля расширения $поля$ K $является$ алгебраическим над K $,$ он является корнем некоторого многочлена с коэффициентами из $K.$ если Таким образом, минимальный полином над $K$ от $θ$ является моническим многочленом минимальной степени, имеющим $θ$ в качестве корня. Поскольку $L$ — поле, этот минимальный полином неприводим над $K.$ обязательно Например, минимальный многочлен (как над действительными, так и над рациональными числами) комплексного числа $i$ равен $X^{2}+1$ . Круговые многочлены — это минимальные многочлены корней из единицы .

В линейной алгебре n $\times n над$ квадратные матрицы размера K $образуют$ ассоциативную K $-алгебру$ конечной размерности (как векторное пространство). Следовательно, гомоморфизм оценок не может быть инъективным, и каждая матрица имеет минимальный полином (не обязательно неприводимый). По теореме Кэли-Гамильтона гомоморфизм оценок отображает в ноль характеристический многочлен матрицы. Отсюда следует, что минимальный многочлен делит характеристический многочлен и, следовательно, степень минимального многочлена не превосходит $n$ .

Коэффициентное кольцо [ править ]

В случае $K [X]$ факторкольцо по идеалу может быть построено, как и в общем случае, как множество классов эквивалентности . Однако, поскольку каждый класс эквивалентности содержит ровно один полином минимальной степени, часто оказывается более удобной другая конструкция.

Для полинома $p$ степени $d$ фактор -кольцо K $[, X]$ по идеалу порожденному $p$ , можно отождествить с векторным пространством многочленов степеней меньше $d$ , с «умножением по модулю $p$ » как умножением, умножение по модулю $p$ , состоящее из остатка от деления на $p$ (обычного) произведения многочленов. Это факторкольцо по-разному обозначается как $K[X]/pK[X],$ $K[X]/\langle p\rangle ,$ $K[X]/(p),$ или просто $K[X]/p.$

Кольцо $K[X]/(p)$ является полем тогда и только тогда, когда $p$ является неприводимым многочленом . Фактически, если $p$ неприводим, каждый ненулевой многочлен $q$ более низкой степени взаимно прост с $p$ , а тождество Безу позволяет вычислить $r$ и $s$ такие, что $sp + qr = 1$ ; итак, $r$ является мультипликативным обратным числом по $q$ модулю $p$ . Обратно, если $p$ приводим, то существуют многочлены $a, b$ степеней ниже $deg(p)$ такие, что $ab = p$ ; поэтому $a, b$ — ненулевые делители нуля по модулю $p$ и не могут быть обратимыми.

Например, стандартное определение поля комплексных чисел можно резюмировать, сказав, что это факторкольцо.

\mathbb {C} =\mathbb {R} [X]/(X^{2}+1),

и что образ $X$ в $\mathbb {C}$ обозначается $i$ . Фактически, согласно приведенному выше описанию, это частное состоит из всех многочленов первой степени от $i$ , которые имеют форму $a + bi$ , с $a$ и $b$ в $\mathbb {R} .$ Остаток евклидова деления, необходимый для умножения двух элементов факторкольца, получается заменой $i 2$ на $-1$ в их произведении как полиномы (это в точности обычное определение произведения комплексных чисел).

Пусть $θ$ — алгебраический элемент в $K$ - $A.$ алгебре Под алгебраическим подразумевается, что $θ$ имеет минимальный многочлен $p$ . Первая теорема об изоморфизме колец что гомоморфизм замены индуцирует изоморфизм утверждает , $K[X]/(p)$ на образ $K [θ]$ гомоморфизма подстановки. В частности, если $A$ является простым расширением K $,$ порожденным $θ$ , это позволяет идентифицировать $A$ и $K[X]/(p).$ Это отождествление широко используется в алгебраической теории чисел .

Модули [ править ]

Структурная теорема для конечно порожденных модулей в области главных идеалов применима к K [ X ], когда K — поле. Это означает, что каждый конечно порожденный модуль над K [ X ] можно разложить в прямую сумму и свободного модуля конечного числа модулей вида $K[X]/\left\langle P^{k}\right\rangle$ , где P — неприводимый полином над K , а k — целое положительное число.

Определение (многомерный случай) [ править ]

Даны $n$ символов $X_{1},\dots ,X_{n},$ называемые неопределенными , моном (также называемый степенным произведением )

X_{1}^{\alpha _{1}}\cdots X_{n}^{\alpha _{n}}

является формальным произведением этих неопределенных, возможно, возведенным в неотрицательную степень. Как обычно, показатели степени, равные единице, и множители с нулевым показателем степени можно опустить. В частности, $X_{1}^{0}\cdots X_{n}^{0}=1.$

Набор показателей α $α = (α 1, \dots, n) называется$ вектором мультистепени или показателя монома. Для менее громоздких обозначений используется сокращение

X^{\alpha }=X_{1}^{\alpha _{1}}\cdots X_{n}^{\alpha _{n}}

часто используется. Степень монома $X а$ , часто обозначаемый $deg α$ или $| α |$ , представляет собой сумму его показателей:

\deg \alpha =\sum _{i=1}^{n}\alpha _{i}.

Полином в от этих неопределенных с коэффициентами в поле $K$ или, в более общем смысле, кольце , представляет собой конечную линейную комбинацию мономов.

p=\sum _{\alpha }p_{\alpha }X^{\alpha }

с коэффициентами в $K$ . Степень . ненулевого многочлена равна максимальной из степеней его мономов с ненулевыми коэффициентами

Набор полиномов в $X_{1},\dots ,X_{n},$ обозначенный $K[X_{1},\dots ,X_{n}],$ таким образом, является векторным пространством (или свободным модулем , если $K$ — кольцо), имеющим в основе мономы.

$K[X_{1},\dots ,X_{n}]$ естественно снабжено (см. ниже) умножением, которое образует кольцо , а ассоциативная алгебра над $К$ , называемая кольцом многочленов от $n,$ неопределенна над $К$ (определенный артикль отражает , что оно однозначно определено с точностью до имени и порядка неопределенные. Если $K$ коммутативно , кольцо $K[X_{1},\dots ,X_{n}]$ также является коммутативным кольцом.

Операции в $K [X 1, ..., X n]$ [ править ]

Сложение и скалярное умножение многочленов относятся к векторному пространству или свободному модулю , снабженному определенным базисом (здесь базисом мономов). Явно, пусть $p=\sum _{\alpha \in I}p_{\alpha }X^{\alpha },\quad q=\sum _{\beta \in J}q_{\beta }X^{\beta },$ где $I$ и $J$ — конечные наборы векторов экспоненты.

Скалярное умножение $p$ на скаляр $c\in K$ является

cp=\sum _{\alpha \in I}cp_{\alpha }X^{\alpha }.

Сложение $p$ и $q$ равно

p+q=\sum _{\alpha \in I\cup J}(p_{\alpha }+q_{\alpha })X^{\alpha },

где $p_{\alpha }=0$ если $\alpha \not \in I,$ и $q_{\beta }=0$ если $\beta \not \in J.$ Более того, если у человека есть $p_{\alpha }+q_{\alpha }=0$ для некоторых $\alpha \in I\cap J,$ соответствующий нулевой член удаляется из результата.

Умножение

pq=\sum _{\gamma \in I+J}\left(\sum _{\alpha ,\beta \mid \alpha +\beta =\gamma }p_{\alpha }q_{\beta }\right)X^{\gamma },

где $I+J$ представляет собой набор сумм одного вектора экспоненты в $I$ и другого в $J$ (обычная сумма векторов). В частности, произведение двух мономов представляет собой моном, вектор показателя которого представляет собой сумму векторов показателей множителей.

Проверка аксиом ассоциативной алгебры проста.

Полиномиальное выражение [ править ]

Полиномиальное выражение — это выражение , построенное с помощью скаляров (элементов $K$ ), неопределенных чисел и операторов сложения, умножения и возведения в степень до неотрицательных целых степеней.

Поскольку все эти операции определены в $K[X_{1},\dots ,X_{n}]$ полиномиальное выражение представляет собой полином, который является элементом $K[X_{1},\dots ,X_{n}].$ Определение многочлена как линейной комбинации мономов представляет собой особое полиномиальное выражение, которое часто называют канонической формой , нормальной формой или расширенной формой многочлена. Учитывая полиномиальное выражение, можно вычислить расширенную форму представленного многочлена, разложив с помощью закона распределения все продукты, которые имеют сумму среди своих факторов, а затем используя коммутативность (за исключением произведения двух скаляров) и ассоциативность для преобразования члены полученной суммы разложить на произведения скаляра и монома; тогда можно получить каноническую форму, перегруппировав подобные члены .

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

Категориальная характеристика [ править ]

Если $K$ — коммутативное кольцо, то кольцо многочленов $K [X 1, \dots, X n]$ обладает следующим универсальным свойством : для каждой коммутативной $K$ -алгебры $A$ и каждого $n$ - кортежа $(x 1, \dots, x n)$ элементов A $,$ существует единственный гомоморфизм алгебры из $K [X 1, \dots, X n]$ в $A$ который отображает каждый $X_{i}$ соответствующему $x_{i}.$ Этот гомоморфизм представляет собой оценочный гомоморфизм , заключающийся в замене $X_{i}$ с $x_{i}$ в каждом многочлене.

Как и в случае любого универсального свойства, это характеризует пару $(K[X_{1},\dots ,X_{n}],(X_{1},\dots ,X_{n}))$ с точностью до единственного изоморфизма .

Это также можно интерпретировать в терминах сопряженных функторов . Точнее, пусть $SET$ и $ALG$ алгебр соответственно — категории множеств и коммутативных $K-$ (здесь и далее морфизмы определяются тривиально). Существует забывчивый функтор $\mathrm {F} :\mathrm {ALG} \to \mathrm {SET}$ который отображает алгебры в их базовые множества. С другой стороны, карта $X\mapsto K[X]$ вы определяете функцию $\mathrm {POL} :\mathrm {SET} \to \mathrm {ALG}$ в другом направлении. (Если $X$ бесконечно, $K [X]$ — это множество всех полиномов от конечного числа элементов $X.$ )

Универсальное свойство кольца многочленов означает, что $F$ и $POL$ — сопряженные функторы . То есть существует биекция

\operatorname {Hom} _{\mathrm {SET} }(X,\operatorname {F} (A))\cong \operatorname {Hom} _{\mathrm {ALG} }(K[X],A).

Это можно выразить также, говоря, что кольца многочленов являются свободными коммутативными алгебрами , поскольку они являются свободными объектами в категории коммутативных алгебр. Точно так же кольцо полиномов с целыми коэффициентами является свободным коммутативным кольцом над своим набором переменных, поскольку коммутативные кольца и коммутативные алгебры над целыми числами — это одно и то же.

структура Градуированная

Одномерное по кольцу против многомерного [ править ]

Полином в $K[X_{1},\ldots ,X_{n}]$ можно рассматривать как одномерный многочлен от неопределенной $X_{n}$ по рингу $K[X_{1},\ldots ,X_{n-1}],$ путем перегруппировки терминов, содержащих одинаковую силу $X_{n},$ то есть, используя тождество

\sum _{(\alpha _{1},\ldots ,\alpha _{n})\in I}c_{\alpha _{1},\ldots ,\alpha _{n}}X_{1}^{\alpha _{1}}\cdots X_{n}^{\alpha _{n}}=\sum _{i}\left(\sum _{(\alpha _{1},\ldots ,\alpha _{n-1})\mid (\alpha _{1},\ldots ,\alpha _{n-1},i)\in I}c_{\alpha _{1},\ldots ,\alpha _{n-1}}X_{1}^{\alpha _{1}}\cdots X_{n-1}^{\alpha _{n-1}}\right)X_{n}^{i},

что является следствием дистрибутивности и ассоциативности кольцевых операций.

Это означает, что существует изоморфизм алгебр

K[X_{1},\ldots ,X_{n}]\cong (K[X_{1},\ldots ,X_{n-1}])[X_{n}]

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

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

Основные такие свойства перечислены ниже.

Свойства, которые переходят от $R$ к $R [X]$ [ править ]

В этом разделе $R$ — коммутативное кольцо, $K$ — поле, $X$ обозначает одну неопределённую величину и, как обычно, $\mathbb {Z}$ кольцо целых чисел. Вот список основных свойств кольца, которые остаются верными при переходе от $R$ к $R [X]$ .

Если R — область целостности, то то же самое справедливо и для R [ X ] (поскольку старший коэффициент произведения многочленов является, если не нулем, произведением старших коэффициентов сомножителей).
- В частности, $K[X_{1},\ldots ,X_{n}]$ и $\mathbb {Z} [X_{1},\ldots ,X_{n}]$ являются целостными доменами.
Если R — уникальная область факторизации, то то же самое справедливо и для R [ X ] . Это следует из леммы Гаусса и уникального свойства факторизации $L[X],$ $L[X],$ где L поле дробей R. —
- В частности, $K[X_{1},\ldots ,X_{n}]$ и $\mathbb {Z} [X_{1},\ldots ,X_{n}]$ являются уникальными доменами факторизации.
Если R — нётерово кольцо , то то же самое справедливо и для R [ X ] .
- В частности, $K[X_{1},\ldots ,X_{n}]$ и $\mathbb {Z} [X_{1},\ldots ,X_{n}]$ – нётеровы кольца; это основная теорема Гильберта .
Если R — нётерово кольцо, то $\dim R[X]=1+\dim R,$ $\dim R[X]=1+\dim R,$ где " $\dim$ $\dim$ «обозначает размерность Крулля .
- В частности, $\dim K[X_{1},\ldots ,X_{n}]=n$ и $\dim \mathbb {Z} [X_{1},\ldots ,X_{n}]=n+1.$
Если R — регулярное кольцо , то то же самое справедливо и для R [ X ] ; в этом случае имеется
$\operatorname {gl} \,\dim R[X]=\dim R[X]=1+\operatorname {gl} \,\dim R=1+\dim R,$
$\operatorname {gl} \,\dim R[X]=\dim R[X]=1+\operatorname {gl} \,\dim R=1+\dim R,$
где " $\operatorname {gl} \,\dim$ $\operatorname {gl} \,\dim$ "обозначает глобальное измерение .
- В частности, $K[X_{1},\ldots ,X_{n}]$ и $\mathbb {Z} [X_{1},\ldots ,X_{n}]$ обычные кольца, $\operatorname {gl} \,\dim \mathbb {Z} [X_{1},\ldots ,X_{n}]=n+1,$ и $\operatorname {gl} \,\dim K[X_{1},\ldots ,X_{n}]=n.$ Последнее равенство представляет собой теорему о сизигиях Гильберта .

Несколько неопределенных чисел над полем [ править ]

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

Теорема Безу , Nullstellensatz Гильберта и гипотеза Якобиана являются одними из наиболее известных свойств, характерных для многомерных многочленов над полем.

Гильберта о нулевой Теорема точке

Nullstellensatz (по-немецки «теорема о нулевом локусе») — теорема, впервые доказанная Дэвидом Гильбертом , которая распространяет на многомерный случай некоторые аспекты фундаментальной теоремы алгебры . Это основа алгебраической геометрии , поскольку устанавливает прочную связь между алгебраическими свойствами $K[X_{1},\ldots ,X_{n}]$ и геометрические свойства алгебраических многообразий , которые представляют собой (грубо говоря) множество точек, определяемых неявными полиномиальными уравнениями .

Nullstellensatz имеет три основные версии, каждая из которых является следствием любой другой. Две из этих версий приведены ниже. По поводу третьей версии читатель отсылается к основной статье о Nullstellensatz.

Первая версия обобщает тот факт, что ненулевой одномерный многочлен имеет комплексный ноль тогда и только тогда, когда он не является константой. Утверждение таково: набор многочленов $S$ в $K[X_{1},\ldots ,X_{n}]$ имеет общий нуль в алгебраически замкнутом поле , содержащем $K$ , тогда и только тогда, когда $1$ не принадлежит идеалу, порожденному S $,$ то есть если $1$ не является линейной комбинацией элементов $S$ с полиномиальными коэффициентами .

Вторая версия обобщает тот факт, что неприводимым одномерным многочленам над комплексными числами соответствует многочлен вида $X-\alpha .$ Утверждение таково: если $K$ алгебраически замкнуто, то максимальные идеалы $K[X_{1},\ldots ,X_{n}]$ иметь форму $\langle X_{1}-\alpha _{1},\ldots ,X_{n}-\alpha _{n}\rangle .$

Теорема Безу [ править ]

Теорему Безу можно рассматривать как многомерное обобщение версии фундаментальной теоремы алгебры , которая утверждает, что одномерный многочлен степени $n$ имеет $n$ комплексных корней, если их считать с учетом их кратностей.

В случае двумерных многочленов он утверждает, что два многочлена степеней $d$ и $e$ от двух переменных, которые не имеют общих факторов положительной степени, имеют ровно $de$ общих нулей в алгебраически замкнутом поле, содержащем коэффициенты, если нули считаются с помощью их кратность и включать нули на бесконечности .

Чтобы сформулировать общий случай и не рассматривать «нуль на бесконечности» как особые нули, удобно работать с однородными многочленами и рассматривать нули в проективном пространстве . В этом контексте проективный нуль однородного многочлена $P(X_{0},\ldots ,X_{n})$ с точностью до масштабирования представляет собой a $(n + 1)$ - кортеж $(x_{0},\ldots ,x_{n})$ элементов $K$ , отличных от $(0, \dots, 0)$ и таких, что $P(x_{0},\ldots ,x_{n})=0$ . Здесь «с точностью до масштабирования» означает, что $(x_{0},\ldots ,x_{n})$ и $(\lambda x_{0},\ldots ,\lambda x_{n})$ считаются одним и тем же нулем для любого ненулевого $\lambda \in K.$ Другими словами, ноль — это набор однородных координат точки в проективном пространстве размерности $n$ .

Тогда теорема Безу гласит: дано $n$ однородных многочленов степеней $d_{1},\ldots ,d_{n}$ в $n + 1$ неопределенных, которые имеют только конечное число общих проективных нулей в алгебраически замкнутом расширении , $K$ сумма кратностей этих нулей есть произведение $d_{1}\cdots d_{n}.$

Якобианская гипотеза [ править ]

Обобщения [ править ]

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

Бесконечно много переменных [ править ]

Одним из небольших обобщений колец полиномов является допущение бесконечного числа неопределенных. Каждый моном по-прежнему включает в себя только конечное число неопределенных (так что его степень остается конечной), и каждый многочлен по-прежнему представляет собой (конечную) линейную комбинацию мономов. Таким образом, любой отдельный многочлен включает только конечное число неопределенных, и любое конечное вычисление, включающее многочлены, остается внутри некоторого подкольца многочленов от конечного числа неопределенных. Это обобщение обладает тем же свойством, что и обычные кольца многочленов: быть свободной коммутативной алгеброй , с той лишь разницей, что это свободный объект над бесконечным множеством.

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

Обобщенные показатели [ править ]

Простое обобщение изменяет только набор, из которого извлекаются показатели степени переменной. Формулы сложения и умножения имеют смысл, если можно складывать показатели степени: X ^я ⋅ Х ^дж = Х ^{я + дж}. Множество, для которого сложение имеет смысл (замкнуто и ассоциативно), называется моноидом . Набору функций от моноида N до кольца R которые отличны от нуля только в конечном числе мест, можно придать структуру кольца, известного как R [ N ], кольца моноида N с коэффициентами из R. , Сложение определяется покомпонентно, так что если = a + b , то c _n = a _n + b _n для каждого n из N. c Умножение определяется как произведение Коши, так что если c = a ⋅ b , то для каждого n в N , c _n является суммой всех a _i b _j , где i , j варьируются по всем парам элементов N , которые составляют сумму к н .

Когда N коммутативно, удобно обозначить функцию a в R [ N ] как формальную сумму:

\sum _{n\in N}a_{n}X^{n}

и тогда формулы сложения и умножения знакомы:

\left(\sum _{n\in N}a_{n}X^{n}\right)+\left(\sum _{n\in N}b_{n}X^{n}\right)=\sum _{n\in N}\left(a_{n}+b_{n}\right)X^{n}

и

\left(\sum _{n\in N}a_{n}X^{n}\right)\cdot \left(\sum _{n\in N}b_{n}X^{n}\right)=\sum _{n\in N}\left(\sum _{i+j=n}a_{i}b_{j}\right)X^{n}

где последняя сумма берется по всем i , j в N , сумма которых равна n .

Некоторые авторы, такие как ( Lang 2002 , II, §3), заходят так далеко, что берут это определение моноида в качестве отправной точки, а обычные многочлены с одной переменной являются особым случаем, когда N является моноидом неотрицательных целых чисел. Полиномы от нескольких переменных просто принимают N как прямое произведение нескольких копий моноида неотрицательных целых чисел.

Несколько интересных примеров колец и групп образуются, если считать N аддитивным моноидом неотрицательных рациональных чисел ( Osbourne 2000 , §4.4). . См. также серию Пюизо .

Серия Power [ править ]

Степенные ряды обобщают выбор показателя степени в другом направлении, допуская бесконечное количество ненулевых членов. Это требует различных гипотез о моноиде N, используемом для показателей, чтобы гарантировать, что суммы в произведении Коши являются конечными суммами. Альтернативно, топологию можно разместить на кольце, а затем ограничиться сходящимися бесконечными суммами. Для стандартного выбора N , неотрицательных целых чисел, проблем не возникает, и кольцо формальных степенных рядов определяется как набор функций из N в кольцо R с покомпонентным сложением и умножением, заданным методом Коши. продукт. Кольцо степенных рядов также можно рассматривать как пополнение кольца многочленов относительно идеала, порожденного $x$ .

Кольца некоммутативных полиномов [ править ]

Для колец многочленов более чем одной переменной произведения X ⋅ Y и Y ⋅ X просто определяются как равные. Более общее понятие кольца многочленов получается, когда сохраняется различие между этими двумя формальными произведениями. Формально кольцо полиномов от n некоммутирующих переменных с коэффициентами в кольце R — это кольцо моноидов R [ N ], где моноид N — это свободный моноид на n буквах, также известный как множество всех строк в алфавите из n символов. , с умножением, заданным конкатенацией. Ни коэффициенты, ни переменные не должны коммутировать между собой, но коэффициенты и переменные коммутируют друг с другом.

Подобно тому, как кольцо многочленов от n переменных с коэффициентами из коммутативного кольца R является свободной коммутативной R -алгеброй ранга n , кольцо некоммутативных многочленов от n переменных с коэффициентами из коммутативного кольца R является свободной ассоциативной R -алгеброй с единицей на n генераторов, что некоммутативно при n > 1.

Дифференциальные и косополиномиальные кольца [ править ]

Другими обобщениями многочленов являются дифференциальные и косополиномиальные кольца.

Кольцо дифференциальных полиномов — это кольцо дифференциальных операторов , образованное из кольца R и дифференцирования δ кольца R в R . Этот вывод работает с R и будет обозначаться X , если рассматривать его как оператор. Элементы R также действуют на R путем умножения. Композиция операторов обозначается как обычное умножение. Отсюда следует, что соотношение δ ( ab ) = aδ ( b ) + δ ( a ) b можно переписать как

X\cdot a=a\cdot X+\delta (a).

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

Стандартный пример, называемый алгеброй Вейля , принимает R в качестве (обычного) кольца многочленов k [ Y ], а δ — в качестве стандартной полиномиальной производной. ${\tfrac {\partial }{\partial Y}}$ . Взяв a = Y получаем каноническое коммутационное соотношение в приведенном выше соотношении , X ⋅ Y − Y ⋅ X = 1. Расширение этого отношения за счет ассоциативности и дистрибутивности позволяет явно построить алгебру Вейля . ( Лам 2001 , §1, ex1.9).

Кольцо косых многочленов определяется аналогично для кольца R и кольцевого эндоморфизма f кольца R путем расширения умножения из отношения X ⋅ r = f ( r )⋅ X для создания ассоциативного умножения, которое распределяется по стандартному сложению. более общем смысле, учитывая гомоморфизм F из моноида N натуральных чисел в кольцо эндоморфизмов R В , формула X ^н⋅ р знак равно F ( п )( р )⋅ Икс ^нпозволяет построить кольцо косых полиномов. ( Lam 2001 , §1, ex 1.11) Кольца косых полиномов тесно связаны с алгебрами скрещенных произведений .

Полиномиальные установки [ править ]

Определение кольца многочленов можно обобщить, ослабив требование, чтобы алгебраическая структура R была полем или кольцом, до требования, чтобы R было только полуполем или оборудованием ; результирующая полиномиальная структура/расширение R [ X ] является полиномиальной оснасткой . Например, набор всех многомерных многочленов с натуральными коэффициентами представляет собой полиномиальную установку.

См. также [ править ]

Ссылки [ править ]

^ Херштейн 1975 , с. 153
^ Херштейн, Холл с. 73
^ Ланг 2002 , с. 97
^ Херштейн 1975 , с. 154
^ Ланг 2002 , с. 100
^ Антон, Ховард; Бивенс, Ирландия К.; Дэвис, Стивен (2012), Исчисление одной переменной , Wiley, стр. 31, ISBN 9780470647707 .
^ Сендра, Дж. Рафаэль; Винклер, Франц; Перес-Диас, Соня (2007), Рациональные алгебраические кривые: подход компьютерной алгебры , алгоритмы и вычисления в математике, том. 22, Спрингер, с. 250, ISBN 9783540737247 .
^ Ивс, Говард Уитли (1980), Теория элементарных матриц , Дувр, стр. 183, ISBN 9780486150277 .
^ Херштейн 1975 , стр. 155, 162.
^ Херштейн 1975 , с. 162
^ Кнапп, Энтони В. (2006), Основная алгебра , Биркхойзер , стр. 121.
^ Фрелих, А.; Шеферсон, Дж. К. (1955), «О факторизации полиномов за конечное число шагов», Mathematische Zeitschrift , 62 (1): 331–334, doi : 10.1007/BF01180640 , ISSN 0025-5874 , S2CID 119955899

Холл, FM (1969). «Раздел 3.6». Введение в абстрактную алгебру . Том. 2. Издательство Кембриджского университета. ISBN 0521084849 .
Херштейн, Индиана (1975). «Раздел 3.9». Темы по алгебре . Уайли. ISBN 0471010901 . полиномиальное кольцо.
Лам, Цит-Юэн (2001), Первый курс некоммутативных колец , Springer Publishing , ISBN 978-0-387-95325-0
Ланг, Серж (2002), Алгебра , Тексты для выпускников по математике , том. 211 (пересмотренное третье издание), Нью-Йорк: Springer-Verlag, ISBN. 978-0-387-95385-4 , МР 1878556
Осборн, М. Скотт (2000), Основная гомологическая алгебра , Тексты для выпускников по математике, том. 196, Springer-Verlag , номер домена : 10.1007/978-1-4612-1278-2 , ISBN. 978-0-387-98934-1 , МР 1757274

[1] Херштейн 1975 , с. 153

[2] Херштейн, Холл с. 73

[3] Ланг 2002 , с. 97

[4] Херштейн 1975 , с. 154

[5] Ланг 2002 , с. 100

[6] Антон, Ховард; Бивенс, Ирландия К.; Дэвис, Стивен (2012), Исчисление одной переменной , Wiley, стр. 31, ISBN 9780470647707 .

[7] Сендра, Дж. Рафаэль; Винклер, Франц; Перес-Диас, Соня (2007), Рациональные алгебраические кривые: подход компьютерной алгебры , алгоритмы и вычисления в математике, том. 22, Спрингер, с. 250, ISBN 9783540737247 .

[8] Ивс, Говард Уитли (1980), Теория элементарных матриц , Дувр, стр. 183, ISBN 9780486150277 .

[9] Херштейн 1975 , стр. 155, 162.

[10] Херштейн 1975 , с. 162

[11] Кнапп, Энтони В. (2006), Основная алгебра , Биркхойзер , стр. 121.

[12] Фрелих, А.; Шеферсон, Дж. К. (1955), «О факторизации полиномов за конечное число шагов», Mathematische Zeitschrift , 62 (1): 331–334, doi : 10.1007/BF01180640 , ISSN 0025-5874 , S2CID 119955899

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

Базы данных авторитетного контроля
International	FAST
National	France BnF data Germany Israel United States
Other	IdRef