В алгебре монический многочлен — это ненулевой одномерный многочлен (то есть многочлен от одной переменной), в котором старший коэффициент (ненулевой коэффициент высшей степени) равен 1. То есть, монический многочлен это тот, который можно записать как [1]
с
Монические полиномы широко используются в алгебре и теории чисел , поскольку они приводят к множеству упрощений и избегают делений и знаменателей. Вот некоторые примеры.
Каждому многочлену соответствует уникальный монический многочлен. В частности, уникальное свойство факторизации многочленов можно сформулировать следующим образом: каждый многочлен может быть однозначно факторизован как произведение его старшего коэффициента и произведения монических неприводимых многочленов .
Формулы Виеты проще в случае монических многочленов: i - я элементарная симметричная функция корней монического многочлена степени n равна где - коэффициент при ( n −i) -й степени неопределенного .
Евклидово деление многочлена на унитарный многочлен не приводит к делению коэффициентов. Поэтому он определен для многочленов с коэффициентами из коммутативного кольца .
Алгебраические целые числа определяются как корни монических многочленов с целыми коэффициентами.
Любой ненулевой одномерный многочлен ( многочлен с одной неопределенной величиной ) можно записать
где – коэффициенты многочлена, а старший коэффициент не равен нулю. По определению такой многочлен является моническим , если
Произведение монических многочленов является моническим. Произведение полиномов является моническим тогда и только тогда, когда произведение старших коэффициентов множителей равно 1 .
Это означает, что монические многочлены в кольце одномерных многочленов над коммутативным кольцом образуют моноид при полиномиальном умножении.
Два монических многочлена связаны тогда и только тогда, когда они равны, поскольку умножение многочлена на ненулевую константу дает многочлен с этой константой в качестве старшего коэффициента.
Делимость приводит к частичному порядку монических многочленов. Это следует почти непосредственно из предыдущих свойств.
Пусть – полиномиальное уравнение , где P – одномерный многочлен степени n . Если разделить все коэффициенты P на его старший коэффициент , получится новое полиномиальное уравнение, которое имеет те же решения и состоит в приравнивании нулю монического многочлена.
Например, уравнение
эквивалентно моническому уравнению
Когда коэффициенты не указаны или принадлежат к полю , в котором деление не приводит к дробям (например, или конечное поле ), такое сведение к моническим уравнениям может обеспечить упрощение. С другой стороны, как показано в предыдущем примере, когда коэффициенты являются явными целыми числами, соответствующий монический полином обычно оказывается более сложным. Поэтому примитивные полиномы часто используются вместо монических полиномов при работе с целыми коэффициентами.
Монические полиномиальные уравнения лежат в основе теории целых алгебраических чисел и, в более общем смысле, целых элементов .
Пусть R — подкольцо поля F ; это означает, что R является областью целостности . Элемент a из F является целым над R , если он является корнем монического многочлена с коэффициентами из R .
Комплексное число , являющееся целым числом по целым числам, называется алгебраическим целым числом . Эта терминология мотивирована тем фактом, что целые числа — это в точности рациональные числа , которые также являются целыми алгебраическими числами. Это следует из теоремы о рациональном корне , которая утверждает, что если рациональное число является корнем многочлена с целыми коэффициентами, то q является делителем старшего коэффициента; Итак, если многочлен является моническим, то и число является целым числом. И наоборот, целое число p является корнем монического многочлена.
Можно доказать, что если два элемента поля F целы над подкольцом R кольца F , то сумма и произведение этих элементов также целы над R . Отсюда следует , что элементы F , целые над R , образуют кольцо, называемое целым замыканием R в K. Область целостности, равная своему целочисленному замыканию в своем поле частных , называется целозамкнутой областью .
Эти понятия являются фундаментальными в алгебраической теории чисел . Например, многие из многочисленных неправильных доказательств Великой теоремы Ферма , написанных на протяжении более трех столетий, были неверными, потому что авторы ошибочно полагали, что целые алгебраические числа в поле алгебраических чисел имеют уникальную факторизацию .
Обычно термин monic не используется для полиномов нескольких переменных. Однако полином от нескольких переменных можно рассматривать как полином от одной переменной, при этом коэффициенты являются полиномами от других переменных. Таким образом , моника зависит от выбора одной «основной» переменной. Например, полином
является моническим, если рассматривать его как полином от x с коэффициентами, которые являются полиномами от y :
но он не является моническим, если рассматривать его как полином по y с полиномиальными по x коэффициентами :
В контексте базисов Грёбнера мономиальный порядок обычно фиксирован. В этом случае полином можно назвать моническим, если его старший коэффициент равен 1 (для мономиального порядка).
Для каждого определения произведение монических многочленов является моническим, и, если коэффициенты принадлежат полю , каждый многочлен связан ровно с одним моническим многочленом.
