Линеаризованный полином - Linearised polynomial

В математике линеаризованный полином (или q- полином) является многочлен для которого показатели всех составляющих мономы являются полномочиями q а коэффициенты происходят из некоторого поля расширения конечное поле порядка q.

Запишем типичный пример как

${\displaystyle L(x)=\sum _{i=0}^{n}a_{i}x^{q^{i}},{\text{ where each }}a_{i}{\text{ is in }}F_{q^{m}}({\text{ = }}GF(q^{m})){\text{ for some fixed positive integer }}m.}$

Этот особый класс полиномов важен как с теоретической, так и с прикладной точки зрения.^[1] Благодаря высокоструктурированной природе корней эти корни легко определить.

Свойства

• Карта Икс → L(Икс) является линейным отображением над любым полем, содержащим F_q
• Множество корней L является F_q-векторное пространство и закрывается под q-Карта Фробениуса
• Наоборот, если U есть ли F_q-линейное подпространство некоторого конечного поля, содержащее F_q, то многочлен, равный нулю точно на U является линеаризованным многочленом.
• Множество линеаризованных многочленов над данным полем замкнуто относительно сложения и композиции многочленов.
• Если L - ненулевой линеаризованный многочлен над ${\displaystyle F_{q^{n}}}$ со всеми своими корнями, лежащими в поле ${\displaystyle F_{q^{s}}}$ поле расширения ${\displaystyle F_{q^{n}}}$, то каждый корень L имеет ту же кратность, которая равна либо 1, либо положительной степени q.^[2]

Символическое умножение

В общем, произведение двух линеаризованных многочленов не будет линеаризованным многочленом, но поскольку композиция двух линеаризованных многочленов приводит к линеаризованному многочлену, композиция может использоваться как замена умножения, и по этой причине композицию часто называют символическое умножение в этой обстановке. Условно, если L₁(Икс) и L₂(Икс) - линеаризованные многочлены, определим

${\displaystyle L_{1}(x)\otimes L_{2}(x)=L_{1}(L_{2}(x))}$

когда принимается эта точка зрения.

Ассоциированные полиномы

Полиномы L(Икс) и

${\displaystyle l(x)=\sum _{i=0}^{n}a_{i}x^{i}\ }$

находятся q - сотрудники (примечание: экспоненты "q^я "из L(Икс) были заменены на "я" в л(Икс)). В частности, l (x} называется обычный q-ассоциированный из L (х), и L (х) это линеаризованный q-ассоциированный из л (х).

q-полиномы над F_q

Линеаризованные полиномы с коэффициентами в F_q имеют дополнительные свойства, позволяющие определять символическое деление, символическую сводимость и символическую факторизацию. Двумя важными примерами этого типа линеаризованного полинома являются автоморфизм Фробениуса ${\displaystyle x\mapsto x^{q}}$ и функция трассировки ${\displaystyle \operatorname {Tr} (x)=\sum _{i=0}^{n-1}x^{q^{i}}}$.

В этом частном случае можно показать, что как операция, символическое умножение коммутативный, ассоциативный и распределяет над обычным сложением.^[3] Кроме того, в этом частном случае мы можем определить работу символическое деление. Если L(Икс) и L₁(Икс) являются линеаризованными многочленами над F_qмы говорим, что L₁(Икс) символически разделяет L(Икс), если существует линеаризованный многочлен L₂(Икс) над F_q для которого:

${\displaystyle L(x)=L_{1}(x)\otimes L_{2}(x).}$

Если L₁(Икс) и L₂(Икс) являются линеаризованными многочленами над F_q с обычными q-ассоциатами л₁(Икс) и л₂(Икс) соответственно, то L₁(Икс) символически делит L₂(Икс) если и только если л₁(Икс) делит л₂(Икс).^[4] Более того, L₁(Икс) делит L₂(Икс) в этом случае в обычном смысле.^[5]

Линеаризованный многочлен L(Икс) над F_q степени> 1 символически несводимый над F_q если единственные символические разложения

${\displaystyle L(x)=L_{1}(x)\otimes L_{2}(x),}$

с участием L_я над F_q - те, для которых один из факторов имеет степень 1. Обратите внимание, что символически неприводимый многочлен всегда сводимый в обычном смысле, поскольку любой линеаризованный многочлен степени> 1 имеет нетривиальный множитель Икс. Линеаризованный многочлен L(Икс) над F_q является символически неприводимым тогда и только тогда, когда его условное q-ассоциировать л(Икс) неприводима над F_q.

Каждый q-полином L(Икс) над F_q степени> 1 имеет символическая факторизация в символически неприводимые многочлены над F_q и эта факторизация по сути уникальна (с точностью до перестановки множителей и умножения на ненулевые элементы F_q.)

Например,^[6] рассмотрим 2-полином L(Икс) = Икс¹⁶ + Икс⁸ + Икс² + Икс над F₂ и его обычный 2-ассоциированный л(Икс) = Икс⁴ + Икс³ + Икс + 1. Разложение на неприводимые л(Икс) = (Икс² + Икс + 1)(Икс + 1)² в F₂[Икс], дает символическую факторизацию

${\displaystyle L(x)=(x^{4}+x^{2}+x)\otimes (x^{2}+x)\otimes (x^{2}+x).}$

Аффинные полиномы

Позволять L - линеаризованный многочлен над ${\displaystyle F_{q^{n}}}$. Многочлен вида ${\displaystyle A(x)=L(x)-\alpha {\text{ for }}\alpha \in F_{q^{n}},}$ является аффинный полином над ${\displaystyle F_{q^{n}}}$.

Теорема: если А ненулевой аффинный многочлен над ${\displaystyle F_{q^{n}}}$ со всеми своими корнями, лежащими в поле ${\displaystyle F_{q^{s}}}$ поле расширения ${\displaystyle F_{q^{n}}}$, то каждый корень А имеет ту же кратность, которая равна либо 1, либо положительной степени q.^[7]

Примечания

1. Lidl & Niederreiter, 1983 г., стр.107 (первое издание) Ошибка harvnb: цель отсутствует: CITEREFLidlNiederreiter1983 (помощь)
2. Mullen & Panario 2013, п. 23 (2.1.106)
3. Lidl & Niederreiter, 1983 г., стр. 115 (первое издание) Ошибка harvnb: цель отсутствует: CITEREFLidlNiederreiter1983 (помощь)
4. Lidl & Niederreiter, 1983 г., стр. 115 (первое издание) Следствие 3.60 Ошибка harvnb: цель отсутствует: CITEREFLidlNiederreiter1983 (помощь)
5. Лидл и Нейдеррайтер, 1983 г., стр. 116 (первое издание) Теорема 3.62. Ошибка harvnb: цель отсутствует: CITEREFLidlNeiderreiter1983 (помощь)
6. Лидл и Нейдеррайтер, 1983 г., стр. 117 (первое издание) Пример 3.64 Ошибка harvnb: цель отсутствует: CITEREFLidlNeiderreiter1983 (помощь)
7. Mullen & Panario 2013, п. 23 (2.1.109)

Рекомендации

• Лидл, Рудольф; Нидеррайтер, Харальд (1997). Конечные поля. Энциклопедия математики и ее приложений. 20 (2-е изд.). Издательство Кембриджского университета. ISBN  0-521-39231-4. Zbl  0866.11069.
• Mullen, Gary L .; Панарио, Даниэль (2013), Справочник конечных полей, Дискретная математика и ее приложения, Бока-Ратон: CRC Press, ISBN  978-1-4398-7378-6