Лемма 21.1:
Пусть F(x)\in{R}[x] - унитарный многочлен, многочлены A(x),B(x)\in{R}[x] и число s\in\overline{0,n-1} такие, что p^sA(x)\equiv{p}^sB(x)\pod{F(x)},
тогда \overline{A}(x)\equiv\overline{B}(x)\pod{\overline{F}(x)}.
Доказательство:
Обозначим m:=\deg{F(x)} и разделим с остатком разность A(x)-B(x) на F(x), тогда
\exists{Q}(x),C(x)\in{R}(x):(A(x)-B(x)=Q(x)F(x)+C(x)\,\wedge\,\deg{C(x)}<m)\Rightarrow(p^sA(x)-p^sB(x)=Q(x)p^sF(x)+p^sC(x)\,\wedge\,\deg{C(x)}<m),
следовательно,
p^sA(x)\equiv{p}^sB(x)\pod{F(x)}\Rightarrow{F}(x)|(p^sA(x)-p^sB(x))\Rightarrow{F}(x)|(Q(x)p^sF(x)+p^sC(x))\Rightarrow{F}(x)|p^sC(x)\Rightarrow{p}^sC(x)=0.
Следовательно, все коэффициенты многочлена p^sC(x) равны нулю над R, то есть делятся на p^n.
Тогда все коэффициенты многочлена C(x) делятся на p^{n-s}. Так как s<n, то все коэффициенты многочлена C(x) деляться на p,
следовательно, \overline{C}(x)=0. Применяя к обоим частям полученного выше равенства A(x)-B(x)=Q(x)F(x)+C(x) естественный эпиморфизм R в
\overline{R}, получим
\overline{A}(x)-\overline{B}(x)=\overline{Q}(x)\overline{F}(x)+\overline{C}(x)=\overline{Q}(x)\overline{F}(x)\Rightarrow
\overline{F}(x)|(\overline{A}(x)-\overline{B}(x))\Rightarrow\overline{A}(x)\equiv\overline{B}(x)\pod{\overline{F}(x)}.
Пусть F(x)\in{R}[x] - унитарный реверсивный многочлен степени m. Наша цель найти \tau:=T(F).
Так как F(x) - реверсивен, то \overline{F}(x) тоже реверсивен, то есть \overline{F}(x)|(x^{\tau}-\overline{e}). Тогда
x^{\tau}\equiv{e}+pU(x)\pod{F(x)},\deg{U(x)}<m\quad(*)
где U(x) остаток от деления x^{\tau}-e на F(x). Дальнейшие рассуждения основаны на возведении отношения (*) в степени p,p^2,\ldots
пока в правой части не будет e. Возведение в степень будем осуществлять по лемме 21.2.
Лемма 21.2:
Пусть F(x)\in{R}[x] - унитарный, реверсивный многочлен степени m, \tau:=T(F), U(x)\in{R}[x], t,l\in\mathbb{N} такие, что
x^t\equiv{e}+p^lU(x)\pmod{F(x)},\quad(2)
тогда
\exists{V}(x)\in{R}[x]:x^{tp}\equiv{e}+p^{l+1}V(x)\pmod{F(x)}.\quad(3)
При этом если l+1<n, то для любого V(x)\in{R}[x] такого, что {\deg{V}(x)<m}
p^l>2\Rightarrow\overline{V}(x)=\overline{U}(x),\quad(4)
p^l=2\Rightarrow\overline{V}(x)\equiv\overline{U}(x)+\overline{U}(x)^2\pmod{\overline{F}(x)}.\quad(5)
Доказательство:
Возведем соотношение (2) в степень p
x^{tp}\equiv(e+p^lU(x))^p=e+\binom{p}{1}p^lU(x)+\binom{p}{2}p^{2l}U(x)^2+\cdots+\binom{p}{p}p^{pl}U(x)^p
В последнем выражении все биномиальные коэффициенты кроме первого деляться на p, следовательно,
все коэффициенты при степенях U(x) делятся на p^{l+1}. Положим
H(x):=U(x)+\binom{p}{2}p^{l-1}U(x)^2+\cdots+\binom{p}{p}p^{(p-1)(l-1)}U(x)^p,\quad(6)
тогда в качестве искомого V(x) можно взять остаток от деления H(x) на F(x).
Докажем утверждения (4) и (5).
Пусть p^l>2, тогда либо p>2, либо l>1, следовательно, все слагаемые суммы (6) кроме первого деляться на p,
то есть \overline{H}(x)=\overline{U}(x).
Пусть p^l=2, тогда p=2 и l=1, следовательно, H(x)=U(x)+U(x)^2 и
\overline{V}(x)\equiv\overline{H}(x)=\overline{U}(x)+\overline{U}(x)^2\pmod{\overline{F}(x)}.
Теорема 21.15:
Пусть F(x)\in{R}[x] - унитарный, реверсивный многочлен степени m, тогда
Доказательство:
Следствие 21.15:
Пусть F(x)\in{R}[x] - унитарный, реверсивный многочлен степени m, тогда
Доказательство:
Следует из теорем 21.11, 21.15.
Определение 21.26:
Пусть F(x)\in{R}[x], \deg{F(x)}=m, тогда
Теорема 21.16:
Для любого m\in\mathbb{N} над R существует многочлен максимального периода степени m.
Доказательство:
Пусть F(x)\in{R}[x] - унитарный, реверсивный многочлен степени m, \tau:=T(\overline{F}),
\overline{F}(x)\in\overline{R} многочлен максимального периода. Существует единственный многочлен U(x)\in{R}[x] такой, что
x^{\tau}\equiv{e}+pU(x)\pmod{F(x)}.
Если этот многочлен удовлетворяет условиям
\begin{cases}
(p>2\vee{p=n=2})\Rightarrow\overline{U}(x)\neq0 \\
(p=2\,\wedge\,n>2)\Rightarrow\overline{U}(x)^2+\overline{U}(x)\not\equiv0\pmod{F(x)}
\end{cases}\quad(10)
то по следствию 21.15 многочлен F(x) - ММП.
Предположим, что многочлен U(x) не удовлетворяет условиям (10). Докажем, что в этом случае многочлен G(x):=F(x+ep) является ММП.
Будем везде далее обозначать x+ep как x+p. Так как \overline{G}(x)=\overline{F}(x), то
\overline{G}(x) - ММП, то есть T(\overline{G})=\tau=p^m-1. Пусть V(x)\in{R}[x] такой, что
x^{\tau}\equiv{e}+p{V}(x)\pmod{G(x)},\quad(*)
тогда по следствию 21.15 для того, чтобы утверждать, что G(x) - ММП, надо доказать,
что V(x) удовлетворяет условиям (10). Произведя замену x\to{x}+p получим
(x+p)^{\tau}\equiv{e}+pU(x+p)\pmod{G(x)},
с другой стороны по биному Ньютона
(x+p)^{\tau}=x^{\tau}+p\tau{x}^{\tau-1}+p^2H(x),
где H(x) - некоторый многочлен степени не более \tau-2, тогда
x^{\tau}\equiv{e}+pU(x+p)-p\tau{x}^{\tau-1}-p^2H(x)\pmod{G(x)}.
Тогда из соотношения (*) и леммы 21.1 следует
pV(x)\equiv{p}U(x+p)-p\tau{x}^{\tau-1}-p^2H(x)\pod{G(x)}\Rightarrow
\overline{V}(x)\equiv{U}(x+p)-\overline{\tau{x}^{\tau-1}}\pod{\overline{G}(x)}\Rightarrow
\overline{U}(x)-\overline{(p^m-1)x^{\tau-1}}\equiv\overline{U}(x)+x^{\tau-1}\pod{\overline{F}(x)}.
Пример 21.18:
Проверим является ли многочлен F(x)=x^5-x^2-1 ММП над кольцом R:=\mathbb{Z}_{2^n} при n\geq1.
Многочлен \overline{F}(x)=x^5-x^2-\overline{1} неприводим над \overline{R}:=GF(2) (так как он не имеет корней и не делится на x^2+x+1).
Тогда по следствию 21.14 многочлен \overline{F}(x) является ММП над GF(2), то есть
\tau:=T(\overline{F})=2^5-1=31. Найдем многочлен U(x)\in{R}(x) такой, что
x^{\tau}\equiv{1}+2U(x)\pmod{F(x)}.
Для этого вычислим x^{\tau}=x^{31}. Так как
x^5\equiv{x}^2+1\pmod{F(x)},
x^6\equiv{x}^3+x\pmod{F(x)},
x^7\equiv{x}^4+x^2\pmod{F(x)},
x^8\equiv{x}^5+x^3\equiv{x}^3+x^2+1\pmod{F(x)},
x^{16}\equiv(x^3+x^2+1)^2\equiv{x}^4+3x^3+4x^2+x+3\pmod{F(x)},
то
x^{31}=x^7x^8x^{16}=36x^4+34x^3+44x^2+22x+23=1+2(18x^4+17x^3+22x^2+11x+11)\Rightarrow2U(x)\equiv{x}^{31}-1\pod{F(x)}\Rightarrow\\
\Rightarrow{U}(x)=18x^4+17x^3+22x^2+11x+11\Rightarrow\overline{U}(x)=x^3+x+1\neq0
Тогда по п. 2 следствия 21.15 F(x) - ММП над \mathbb{Z}_4 и так как
\overline{U}(x)+\overline{U}(x)^2=x^3+x+1+x^6+x^2+1=x^3+x+x^3+x+x^2=x^2\not\equiv0\pod{\overline{F}(x)},
то по п. 2 следствия 21.15 многочлен F(x) - ММП над \mathbb{Z}_{2^n} для любого n\geq1.
Определение 21.27:
Пусть R:=\mathbb{Z}_{p^n}, тогда нормой элемента a\in{R} называют число
\|a\|:=\max\{s\in\overline{0,n}\mid{a}\in{p}^sR\}.
Нормой вектора \vec{a}\in{R}^m называется число
\|\vec{a}\|=\max\{s\in\overline{0,n}\mid\vec{a}\in(p^sR)^m\}.
Замечание 21.9:
Из определения следует, что
(\|r\|=0\Leftrightarrow{r}\in{R}),(\|r\|=n\Leftrightarrow{r}=0),\forall{s}\in\overline{0,n}(\|p^s\|=s).
Теорема 21.17:
Пусть F(x) многочлен максимального периода степени m над R:=\mathbb{Z}_{p^n}, u\in{L}_R(F)\backslash\{0\},
s:=\|u(\overline{0,m-1})\|\in\overline{0,n-1}, тогда T(u)=(p^m-1)p^{n-s-1}.
Семейство L_R(F) содержит (p^m-1)p^{m(n-s-1)} последовательностей периода (p^m-1)p^{n-s-1} и одну нулевую последовательность периода 1.
Доказательство:
Определение 21.28:
Линейная рекуррентная последовательность u над R:=\mathbb{Z}_{p^n} ранга m называется последовательностью максимального периода,
если T(u)=(p^m-1)p^{n-1}.
Следствие 21.16:
Пусть R:=\mathbb{Z}_{p^n}, F(x)\in{R}[x], u\in{L}_R(F), тогда u последовательность максимального периода тогда и только тогда,
когда F(x) - многочлен максимального периода и \overline{u}\neq0.
При этом семейство L_R(F) содержит (p^m-1)p^{m(n-1)} последовательностей максимального периода.
Доказательство:
Определение 21.29:
Графом семейства L_R(F) называется ориенитированный граф \Gamma(L_R(F)), вершинами которого являются последовательности из L_R(F),
а ребрами упорядоченные пары (u,xu) для всех u\in{L}_R(F).
Определение 21.30:
Циклом чисто периодической последовательности u называется множество \{x^tu\mid{t}\geq0\}.
Доказательство:
Следствие 21.17:
Пусть F(x) - многочлен максимального периода над R:=\mathbb{Z}_{p^n}, тогда граф \Gamma(L_R(F)) состоит из одного цикла длины 1 и
из p^{(m-1)t} циклов длины (p^m-1)p^t для каждого t\in\overline{0,n-1}.
Доказательство:
По теореме 21.17 граф \Gamma(L_R(F)) содержит один цикл длины 1 (u=0) и
(p^m-1)p^{m(n-s-1)} циклов длины T(u)=(p^m-1)p^{n-s-1} для каждого s\in\overline{0,n-1}. Так как n-s-1\in\overline{0,n-1} тогда и только тогда,
когда s\in\overline{0,n-1}, то произведя замену t:=n-s-1 получим результат следствия.
previous contents next