Введение

В алгебре, для многочлена с коэффициентами из произвольного поля, его обратный многочлен или зеркальный многочлен, обозначаемый p^(∗) или p^(R), определяется следующим образом:

То есть, коэффициенты p^(∗) являются коэффициентами p, записанными в обратном порядке. Обратные многочлены возникают естественным образом в линейной алгебре как характеристический многочлен обратной матрицы. В частном случае, когда поле является полем комплексных чисел, определяется сопряженный обратный многочлен, обозначаемый p^(†), который задается выражением:

где обозначает комплексно сопряженное к , и также называется обратным многочленом, если это не приводит к путанице. Многочлен p называется самообратным или палиндромом, если p(x) = p^(∗)(x) для всех x. Коэффициенты самообратного многочлена удовлетворяют условию a_i = a_{n-i} для всех i.

Реальные коэффициенты

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

Соединенные взаимные многочлены

Полином называется сопряжённо обратным, если , а самообратным, если для некоторого масштабного фактора ω на единичной окружности. Если p(z) – минимальный полином для z0 с , и p(z) имеет действительные коэффициенты, то p(z) является самообратным. Это следует из того, что z0 является корнем многочлена степени n. Но минимальный полином единственен, следовательно, для некоторой константы c, то есть сумма от i = 0 до n, и заметим, что 1 не является корнем p. Отсюда следует, что c = 1. Следствием этого является то, что циклотомические полиномы Φn являются самообратными при n > 1. Это используется в специальном сите числового поля, чтобы позволить факторизовать числа вида x^(11) ± 1, x^(13) ± 1, x^(15) ± 1 и x^(21) ± 1, используя алгебраические факторы и полиномы степеней 5, 6, 4 и 6 соответственно – при этом φ (функция Эйлера) показателей равны 10, 12, 8 и 12. Согласно теореме Кона, самообратный полином имеет столько же корней в единичном диске, сколько и обратный полином его производной.

Применение в теории кодирования

Взаимный полином находит применение в теории циклических кодов, исправляющих ошибки. Предположим, что x^(n) − 1 можно разложить на произведение двух многочленов, то есть x^(n) − 1 = g(x)p(x). Если g(x) порождает циклический код C, то приведённый полином p*(x) порождает C^(⊥), ортогональное дополнение к C.
Кроме того, код C является самоортогональным (то есть C ⊆ C^(⊥)) тогда и только тогда, когда p*(x) делит g(x).