21.11 ЛРП максимального периода над примарными кольцами вычетов.

Лемма 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$, тогда

1. существует $k\in\overline{0,n-1}$ такое, что $T(F)=T(\overline{F})p^k$;
2. если $\tau:=T(\overline{F})$, то $T(F)=T(\overline{F})p^{n-1}$ тогда и только тогда, когда существует $U(x)\in{R}[x]$ такой, что
   1. $x^{\tau}\equiv{e}+pU(x)\pmod{F(x)}$,
   2. $(p>2\vee{p=n=2})\Rightarrow\overline{U}(x)\neq0$,
   3. $(p=2\,\wedge\,n>2)\Rightarrow\overline{U}(x)^2+\overline{U}(x)\not\equiv0\pmod{\overline{F}(x)}$

Доказательство:

1. Так как $F(x)|(x^{T(F)}-e)$, то $\overline{F}(x)|x^{T(F)}-\overline{e}$, следовательно, $\tau|T(F)$.
   По лемме 21.2 для любого $s\in\overline{0,n-1}$ $$\exists{U}_s(x)\in{R}[x]:(x^{\tau{p}^s}\equiv{e}+p^{s+1}U_s(x)\pod{F(x)}\,\wedge\,\deg{U_s(x)}<m).$$ При $s=n-1$, учитывая что $\tau|T(F)$ $$ x^{\tau{p}^{n-1}}\equiv{e}\pod{F(x)}\Rightarrow{F}(x)|(x^{\tau{p}^{n-1}}-e)\Rightarrow {T}(F)|\tau{p}^{n-1}\Rightarrow\exists{k}\in\overline{0,n-1}:T(F)=\tau{p}^k. $$
2. Из леммы 21.2 следует, что многочлены $U_0(x),U_1(x),\ldots,U_{n-1}(x)$ из пункта 1 удовлетворяют условиям $$ \begin{cases} \forall{k}\in\overline{0,n-2}(\overline{U}_k(x)=\overline{U}(x)), & p>2 \\ U_{n-2}=U_0(x), & p=n=2 \\ \forall{k}\in\overline{1,n-2}(\overline{U}_k\equiv\overline{U}_0+\overline{U}_0(x)^2\pod{\overline{F}(x)}), & p=2,n>2 \end{cases}\quad(7) $$ По пункту 1 и лемме 21.1 $$ T(F)=\tau{p}^{n-1}\Leftrightarrow{x}^{\tau{p}^{n-2}}\not\equiv{e}\pod{F(x)}\Leftrightarrow{p}^{n-1}U_{n-2}(x)\not\equiv0\pod{F(x)}\Leftrightarrow \overline{U}_{n-2}(x)\not\equiv0\pod{F(x)}\Leftrightarrow\overline{U}_{n-2}(x)\neq0. $$ Последнее равенство в силу соотношений $(7)$ эквивалентно утверждению пункта 2.

Следствие 21.15:
Пусть $F(x)\in{R}[x]$ - унитарный, реверсивный многочлен степени $m$, тогда

1. $T(F)\leq(p^m-1)p^{n-1}$,
2. если $\tau:=\deg{\overline{F}(x)}$, то $T(F)=(q^m-1)p^{n-1}$ тогда и только тогда, когда $\overline{F}(x)$ - многочлен максимального периода над полем $\overline{R}$ и существует $U(x)\in{R}[x]$ такой, что
   1. $x^{\tau}\equiv{e}+pU(x)\pmod{F(x)}$,
   2. $(p>2\vee{p=n=2})\Rightarrow\overline{U}(x)\neq0$,
   3. $(p=2\,\wedge\,n>2)\Rightarrow\overline{U}(x)^2+\overline{U}(x)\not\equiv0\pmod{\overline{F}(x)}$

Доказательство:

Следует из теорем 21.11, 21.15.

Определение 21.26:
Пусть $F(x)\in{R}[x]$, $\deg{F(x)}=m$, тогда

1. если $T(F)=T(\overline{F})$, то многочлен $F(x)$ называестя отмеченным,
2. если $T(F)=T(\overline{F})p^{n-1}$, то многочлен $F(x)$ называется многочленом полного периода,
3. если $T(F)=(p^m-1)p^{n-1}$, то многочлен $F(x)$ называется многочленом максимального периода.

Теорема 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)}. $$

1. Пусть $p>2$ или $p=n=2$, тогда, так как $U(x)$ не удовлетворяет соотношениям $(10)$, то $$\overline{U}(x)=0\Rightarrow\overline{V}(x)\equiv{x}^{\tau-1}\pod{\overline{F}(x)}\Rightarrow\overline{V}(x)\neq0.$$ Таким образом, $V(x)$ удовлетворяет условиям $(10)$ в первом случае.
2. Пусть $p=2$ и $n>2$, тогда $$\overline{V}(x)+\overline{V}(x)^2\equiv\overline{U}(x)+\overline{U}(x)^2+x^{\tau-1}+x^{2(\tau-1)}\pod{\overline{F}(x)}.$$ Так как $U(x)$ не удовлетворяет условию $(10)$, при $p=2$ $e=-e$ и $\tau=T(\overline{F})$, то по утверждению 21.19 $$\overline{U}(x)+\overline{U}(x)^2\equiv0\pod{\overline{F}(x)}\Rightarrow\overline{V}(x)\equiv{x}^{\tau-1}(x^{\tau-1}-e)\not\equiv0\pod{\overline{F}(x)}.$$ Таким образом, ${V}(x)$ удовлетворяет условиям $(10)$.

Пример 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.

Доказательство:

1. По п. 3 утверждения 21.15 $T(u)|T(F)$, следовательно, так как $F(x)$ - ММП, то $T(u)|(p^m-1)p^{n-1}$.
2. Так как $$ \|u(\overline{0,m-1})\|=s\Rightarrow\forall{i}\in\overline{0,m-1}(u(i)\in{p}^sR)\Rightarrow \forall{i}\in\mathbb{N}_0(u(i)\in{p}^sR)\Rightarrow\exists{v}\in{R}^{\infty}\backslash\{0\}:u={p}^sv, $$ то $$ F(x)u=0\Leftrightarrow{F}(x)p^sv=0\Rightarrow\overline{F}(x)\overline{v}=0\Leftrightarrow\overline{v}\in{L}_R(\overline{F}). $$ Так как $F(x)$ - ММП, то по п. 2 следствия 21.15 $\overline{F}(x)$ - ММП, тогда по следствию 21.12 $\overline{v}$ - ЛРП МП, то есть $\tau:=T(\overline{v})=p^m-1$.
3. Для любого $i\in\mathbb{N}_0$ $$ u(i+T(u))=u(i)\Leftrightarrow{p}^sv(i+T(u))=p^sv(i)\Rightarrow\overline{v}(i+T(u))=\overline{v}(i)\Rightarrow{T}(\overline{v})|T(u)\Rightarrow{p}^m-1|T(u). $$

Определение 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)}$ последовательностей максимального периода.

Доказательство:

1. Так как по п. 3 утверждения 21.15 $T(u)\leq{T}(F)$, то если $u$ - ЛРП МП, то $F(x)$ - ММП.
2. $\overline{u}\neq0\Leftrightarrow\|u(\overline{0,m-1})\|=0$.

Определение 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\}$.

Доказательство:

1. Если $\deg{F(x)}=m$, то число вершин графа $\Gamma(L_R(F))$ равно $|R|^m$.
2. Циклу последовательности $u\in{L}_R(F)$ соответствует цикл графа $\Gamma(L_R(F))$.

Следствие 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