Лвдл
Г. Нидеррайтер
Копечпые поля
Б Б К 2 2 .1 4 4
Л 55
У Д К 5 1 2 .6 2
Л и д л Р ., Н и д е р р а й те р Г .
Л 55 К о н еч н ы е п ол я : В 2 -х т . Т . 2 . П ер . с а н г л . — М. ; М и р ,
1988. — 8 2 2 с.
IS B N 5 -0 3 -0 0 0 0 6 6 -6
Монография известных математиков t Австралия, Австрия), отража
ющая многочисленные связи классического раздела алгебры — теории
конечных полей — с комбинаторикой, теорией кодирования, теорией ав
томатов. Изложение отличается простотой и ясностью, большим числом
(около 600) примеров и упражнений, имеются замечания исторического
характера. Книга входит в известную энциклопедию математики и ее
приложений (под редакцией Д ж .-К - Роты); ряд ее томов переведен в
издательствах «Мир» и «Наука».
Русское издание выходит в двух томах.
Для математиков-прнкладников, инженеров-исследователей, аспи
рантов и студентов университетов.
1702030000—274
ББК 22.144
Л 041 (01)—88 8—88, Ч‘ 1
З а д а ч а эт о й главы — д а т ь о б з о р р е зу л ь т а т о в о п ер ес т а н о в о ч
ны х м н о г о ч л е н а х , т . е . т а к и х м н о г о ч л е н а х , д л я к о т о р ы х с о о т в е т
с т в у ю щ и е п о л и н о м и а л ь н о е ф у н к ц и и я в л я ю т ся п ер ест а н о в к а м и
м н о ж е ст в а эл ем ен т о в д а ц н о г о к о н еч н о г о п ол я F r М н о го ч л ен ы
т а к о г о в и да с у щ е с т в у ю т д л я л ю б о г о f q , т а к к ак л ю б о е о т о б р а ж е н и е
п оля SFq в с е б я м о ж н о за д а т ь с п ом ощ ь ю н е к о т о р о г о м н о г о ч л е н а .
С п ер естан ов оч н ы м и м н огоч л ен ам и с в я з а н р я д ест е с т в ен н ы х
в о п р о с о в . В о -п е р в ы х , с а м о в ы я сн ен и е т о г о , я в л я е т с я да н н ы й м н о
гоч лен п ер естан ов оч н ы м и ли н ет , п р е д с т а в л я е т с о б о й н ет р и в и а л ь
н у ю з а д а ч у . К р и т ер и и , п о л у ч е н н ы е в § 1, м о г у т э т у з а д а ч у у п р о
сти т ь. О д н а к о о б щ и е у с л о в и я д л я т о г о , чтобы м н о го ч л ен бы л п е р е
ст а н о в о ч н ы м , о к а зы в а ю т ся д о с т а т о ч н о сл о ж н ы м и . П о э т о м у б о л ь
ш ой и н т ер ес п р е д с т а в л я ю т п о л у ч е н н ы е в § 2 р е зу л ь т а т ы о н е к о
т о р ы х т и п а х п ер ест а н о в о ч н ы х м н о г о ч л е н о в .
П ер ест а н о в о ч н ы е м н огоч л ен ы и н д у ц и р у ю т п ер ес т а н о в к и э л е
м ентов к о н еч н о г о п ол я F 9 и , с л е д о в а т е л ь н о , с о о т в е т с т в у ю т э л е
м ентам си м м етр и ч еск о й гр у п п ы S q — гр у п п ы в с е х п о д с т а н о в о к
на м н о ж е с т в е и з q э л е м е н т о в . Т ак и м о б р а зо м 1, есл и н ам д а н к л а сс
п ер ест а н о в о ч н ы х м н о го ч л ен о в п ол я F g , за м к н у т ы й о т н о с и т е л ь н о
о п ер а ц и и к о м п о зи ц и и (и ли к о м п о зи ц и и с п о сл ед у ю щ и м п р и в е д е
н и ем п о м о д у л ю & — х ) , т о мы м о ж е м п о ст а в и т ь в о п р о с , к а к а я
п о д г р у п п а гр у п п ы S q п р е д с т а в л е н а эти м к л а с с о м . § 3 п о св я щ ен
и сследован и ю так ого рода зад ач .
С в я зь м е ж д у п ер естан ов оч н ы м и и и ск л ю ч и тел ьн ы м и м н о г о
ч ленам и и с с л е д у е т с я в § 4 . П р и эт о м с у щ е с т в е н н о п р и м ен я ет ся
т е о р и я у р а в н е н и й н а д к он ечн ы м и п о л я м и .
П о н я т и е п е р ес т а н о в о ч н о г о м н о г о ч л е н а о б о б щ а ет с я в § 5 п у т ем
п е р е х о д а к р а с с м о т р е н и ю м н о г о ч л ен о в от н е с к о л ь к и х п ер ем е н н ы х .
Т ак к ак отд ел ь н ы е м н огоч л ен ы о т п > • 2 п ер ем ен н ы х н е м о г у т
и н д у ц и р о в а т ь о т о б р а ж е н и я в е к т о р н о г о п р о с т р а н с т в а FJ в с е б я ,
то зд есь теряется св я зь м н огочленов с п ер естан ов к ам и . Ч тобы
в о сст а н о в и т ь э т у с в я з ь , н е о б х о д и м о р а с с м а т р и в а т ь си стем ы м н о г о
ч л ен о в . Э то п р и в о д и т к п о н я т и ю о р т о г о н а л ь н о й си стем ы м н о г о
ч л ен о в . Д а л е е в эт о м п а р а г р а ф е и зу ч а ю т с я о с н о в н ы е с в о й с т в а
п ер ест а н о в о ч н ы х м н о г о ч л ен о в о т н е с к о л ь к и х п ер ем е н н ы х , а т а к ж е
о р т о г о н а л ь н ы х си ст ем .
438 Гл. 7. Перестановочные многочлены
gt ( * ) = ! - £ а чГ 1~ ' х ' .
i=o
Тогда, полагая 0° = 1, получаем, что gt (at) = 1 и g t (b) = 0 для
всех b £ Р9, b Ф at . Следовательно, многочлен
я—1 ч—I 1ч— 1 х
g(x) = Jj gt(x) Щ Г И
i =0 /=О\ » = 0 /
отображает каждый элемент поля Fg в 1 тогда и только тогда,
когда | а0, аг, ..., ач_г\ = F ,. Так как deg (g) < q, из леммы 7.2
следует, что многочлен g отображает каждый элемент поля f q
в 1 тогда и только тогда, когда g (х) = 1 , что эквивалентно усло
вию (ii). Q
7.4. Теорема (критерий Эрмита). Пусть р — характеристика
поля Fq. Тогда многочлен / £ f q [x] является перестановочным
многочленом т ля Fg в том и только том случае, если выполняющая
следующие два условия:
(i) многочлен f имеет ровно один корень в Fg;
(ii) для каждого целого t, такого, что 1 < и (щёО
(mod р), результат приведения многочлена f (х)* т модулю хЛ — х
имеет степень d < q — 2 .
Доказательство. Пусть / — перестановочный многочлен поля
F4. Тогда необходимость условия (i) очевидна. Приводя много
член / ( х) { по модулю хЛ — х, получаем некоторый многочлен
<7—1
S Ь{/ }х‘, где b(n li — — 2 / (cf по (7.1). По лемме 7.3 = 0
/=о c€Fg
для всех t = 1 , 2 , ... , q — 2 , откуда следует условие (ii).
Обратно, пусть выполняются условия (i) и (ii). Тогда из усло
вия (i) следует, что 2 f (Ф - 1 = — 1 , в то время как из условия
440 Гл. 7. Перестановочные многочлены
t < q — 2. Из равенства
Ь?Д'} = - Е / ( # - '.
8(х) = - Л ( Е
i~ ° \ с 6 F , /
W
является ненулевым и постоянным. Если бы многочлен / не яв
лялся перестановочным многочленом поля Fg, то, рассуждая
аналогично тому, как мы рассуждали при доказательстве леммы
7.3, можно было бы показать, что g (b) ~ 0 для некоторого b £
£ Fg, что невозможно. □
Еще один критерий того, что данный многочлен является
перестановочным многочленом, можно получить, используя по
нятие аддитивного характера конечного поля (см. § 1 гл. 5 ).
7.7. Теорема. Многочлен f £ f q lx] являемся перестановоч
ным многочленом поля Fg тогда и только тогда, когда
Е X(/(С ))- 0 (7.2)
N = ~я~ 2 : ~ У] Х Н 2 = и
e€; Fg X ХФХа с Fg
Следовательно, многочлен / является перестановочным много
членом ПОЛЯ Fq■ □
L ( x ) = 2 aiXPl С FAx]
t=о
X q любое
X2 q = 0 (mod 2)
X3 q ф 1 (mod 3)
х3 — ах (а — не квадрат) q = 0 (mod 3)
х* ± Зх q= 7
х* 4* а ф 1 + а2х (если он имеет в F q единственный q .ее 0 (mod 2)
корень, равный 0)
X* q ф 1 (mod 5)
хь — ах (а не является четвертой степенью) q . 0 (mod 5)
хв + ах (а2 = 2) q = 9
х6 ± 2х2 q= ?
х5 + ах3 ± х г ф 3агх (а — не квадрат) q= 7
х5 4 - ах3 + 5~1а2х (а — произвольный элемент) q = ± 2 (mod 5)
хь 4 - ах3 4- 'Лсгх (а — не квадрат) q = 13
х6 — 2ах3 4 а2х (а — не квадрат) q = 0 (mod 5)
* » (» + + “) - » * + - 7 -■ <7 -8 )
которое получается из (7.5) в результате подстановки х г = у ,
х2 = aly. Из определения многочленов Диксона также следует
формула
L*/2j
g k (x, ab2) = 2 - k Z q - ( k j ' ) ( ~ аУ bkb-<k- 2i'>xk~ 2l = b kg h ( b ~ ' x , a),
/=o
(7.9)
448 Гл, 7. Перестановочные многочлены
Е х Ши (с. я)) = о
Оля л ю б о г о н е т р и в и а л ь н о г о а д д и т и в н о г о и ли м у л ь т и п л и к а т и в н о г о
характ ера % поля f q.
Доказательство. Так как по теореме 7.16 многочлен gk (х, а)
является перестановочным многочленом поля F4, то
Е %(gk(c, «)) = Е ХД%
с €F ц сДГд
и тогда этот результат следует из формулы (5.9) или из (5.37). □
Суммы значений характеров, появляющиеся в следствии 7.17,
в случае, когда % — квадратичный характер поля Fq, Ц нечетно,
a k £ N — произвольное число, подробно изучались и получили
название с у м м Б р е в е р а (см. также комментарии к § 5 гл. 5).
В последнем параграфе настоящей главы мы рассмотрим много
члены Диксона от нескольких переменных, являющиеся обобще
нием многочленов вида (7.6)
y f = £ a f p f +/ , 0 П , j < r 1.
s=О
i f = Е Pf«S-/ •
5=0
Если Д, и Л.. — определители вида (3.13), образованные соответ
ственно элементами р0, Pi, ... , рг_х и у„, ух, . . . . уг_ъ то
Л2 = Л, det (А),
где А — следующая матрица размера г х г:
(f
а0 * f-2 ■ • а?
/-
а. «0 * f-i ■ ■ al
1
А =
<4 Щ
я
«2
. *8
. 1
а г_] Q1
<4-2 <4-3 ■
§ 4. Исключительные многочлены 455
§ 4. Исключительные многочлены
При изучении перестановочных многочленов можно восполь
зоваться некоторыми геометрическими идещми. Преимущество,
которое мы получаем от такого подхода, состоит в том, что появ
ляется возможность применять очень сильную теорему Ленга —
Вейля (см. комментарии к гл. 6 ), которая дает оценку для числа
рациональных точек на абсолютно неприводимой кривой, заданной
над конечным полем.
Пусть дан многочлен / £ Fq [х] степени d > 1; образуем
многочлен от двух переменных
ф(х, у) = Ж = Ш - ,
E f(c)* = E m b \.
С€ f q (=1
§ 4, Исключительные многочлены 457
S /м' = Е с'-о.
. ei t , /’ ° .е(г.
Таким образом,
Q— W
Е # ! = 0 (* = 1 , 2 ..........w). (7.14)
i=i
Положим m = max (m^ ... , mq_w); тогда из (7.13) получаем, что
1 < m < ш + 1- Если через s;-, 1 < / < m, обозначить число
таких trii, для которых /пг == /, то sx + ... + sm = q — w и
m ш m
23 (/ -- 1)S; = i=l
/=1
23 n*i - /=231s, = q ~ (q - w) = ш. (7.15)
Перенумеруем элементы Ьъ ... , bq_w таким образом, что тх = ...
... == т н = 1, т $х ., = ... = m S i + S t = 2, ... , m S l + . . . + s m _ l + i = •••
... +Sm = m, тогда формула (7.14) принимает вид
m SjH----- hSj
At = E j b\ = 0 (1 = 1 , 2 , .. КУ).
! — Ts ;- . 1+
/= 1 1
х— у
§ 4 . Исключительные многочлены 461
= (* - U ) • • • (* - ^п-гУ),
О / 2 <XjkX,y k \ = 2 ] сХ % х 'у к.
Ч/, к / /, к
2 п
%ь
1
№(Cl ’ • • •>Сп)) •’ ■ %ь
m
■■■, сп)) =О
(<4. Г»
для лю бы х аддит ивны х характ еров у. , .... у, поля F„, где
°1 °т 4 ,
( b lt .... 6т ) =#= (0, .... 0).
Д оказат ельст во. Для любого набора (а и ..., а т) £ FIT обоз
начим через N (йь .... а т ) число решений системы уравнений
f l (х и х п) й|, • . ., (X i , . . ., Хп) = Йт
N (а 1 , . . . , ат) = -
{ьх, . ..*m)e
%Ь1 (fl (Си • • ■» Сп)) . . . Хьт (fm (Cl, . . . . с„)) =
(ci......сп)€Г?
■д п = дП —т
т
§ 5. Перестановочные многочлены от нескольких переменных 465
для всех наборов (a, .... cn) £ ¥nq. Теперь из n. (i) следует, что
f\ = gi и, значит, / = g (mod J).
(iii) Этот пункт следует из пп. (i) и (и). □
Однозначно определенный многочлен g из леммы 7.40 (iii)
называется результатом приведения многочлена / по модулю
идеала J и обозначается / (mod (х ? — х и .,,, xqa — х„)). Теперь
мы можем следующим образом обобщить теорему 7.6.
7.41. Теорема. Пусть р — характеристика поля f q. Тогда
система многочленов f u .... f n £ Fg [xlt ,.., х п I является орто
гональной системой над полем Fg тогда и только тогда, когда
выполняются следующие два условия:
(i) в многочлене
П~' . . . / Г 1 (mod (*f — хи . . . . x l - хп))
коэффициент при х? - 1 ... х „ ~ 1 не равен 0 ;
§ 5. Перестановочные многочлены от нескольких переменных 467
(И) б многочлене
?\ • • • fn (m od(4 — х и . . . , 4 — хп))
коэффициент при х1~' ... 4 - 1 равен 0 , если tu ..., tn — целые
ч и с л а , удовлетворяющие условиям 0 < ^ — 1 , 1 < i < п,
н е все U равны ц — 1 и хотя бы одно 4 не сравнимо с 0 по модулю р.
Доказательство. Пусть многочлены Д, ..., / п образуют орто
гональную систему над полем Fg, и пусть 4, ..., tn £ Z — такие
числа, что 0 < 4 < q — 1 для 1 < i < п. Если через g обозначить
многочлен
fi1 . . . f nn (mod ( 4 - *i, . . . , x l — x„)),
то в силу леммы 7.40 и формулы (7.20) многочлен g (xlt ..., хп
имеет вид
= (-1)" ( 23 в!1) • ■■ ( 23 . A .
\ ei€ F , 1 \°n€F? )
Условия (i) и (И) следуют теперь из леммы 7 .3 .
Обратно, пусть выполнены условия (i) и (И). Тогда в силу
проведенных выше вычислений из (i) следует, что
23 Ф ••• f n ) ( C l ..............Сп) = 0
(С[, .... Сп)
3*
468 Гл. 7. Перестановочные многочлены
Л
23 =0
Сп)
не все t , = q —1
( - f < r ) ( - у д п~ т) = д п- ' .
Комментарии
§ 1. Изучение перестановочных многочленов как таковых
было начато в работе Эрмита (Hermite [2]), где рассматривался
случай конечных простых полей. Отдельные результаты из числа
первых в этом направлении можно также обнаружить в работах
Jordan С. [2 ], Serret [2 ]. Перестановочные многочлены произ
вольного конечного поля впервые изучались в работе Диксона
Dickson [2 ]. Основные результаты, полученные в этой работе,
можно также найти в монографии Dickson [7, part I, ch. 5].
474 Гл, 7. Перестановочные многочлены
ГТ\
ством V (/) = q, где V (/) — мощность множества {/ (с) | с
£ Fg}, т. е. множества значений, которые может принимать
данный многочлен f ( x ) £ f q [х] на всех элементах поля Fg.
Величина V (/) изучалась и для произвольных многочленов / (х) £
€ Fg [х]. Для многочленов малых степеней можно получить
точные формулы, выражающие величину V (/); случаи линейных
и квадратичных многочленов являются совсем простыми, форму
лы для кубических многочленов и многочленов четвертой степени
специального вида можно найти в работах von S ter пес k [1] и
Kantor 111. Човла поставил задачу получить оценки для величин
V (f) (Chowla S. [71). Бёрч и Свиннертон-Дайер в работе Birch.
Swinnerton-Dyer [11 получили следующий замечательный ре
зультат: если f (х ) £ Fg \х\ — многочлен степени п >• 1, который
является «общим» многочленом (в том смысле, что группа Галуа
уравнения f (х) = у над полем Fg (у), где Fg — алгебраическое
замыкание поля Fq, является симметрической группой S„), то
V (f) = у ] £ ^ —у г - - - - h O ( q ‘/‘2),
/=1
Упражнения
7.1. Пусть b £ Т ч — фиксированный элемент поля. Положим
9—1
/,,<*) 1 - Б
i'—O
Показать, что ( ь (а) = 0, если а £ F 4, а ф Ь и f b (b) — 1. Пользуясь формулой
(7.1), показать, что . ^ = ( (mod р ), где 0 < / ^ q - 1, а р — харак
теристика поля F(/. ( З а м е ч а н и е . Приведенное выше сравнение для биномиальных
коэффициентов можно также вывести из равенства (х - I)9 4 — (xq — \)l(x — 1).)
7.2. Доказать, что если q — простое число, то в условии (И) теоремы 7.4
достаточно -рассматривать целые /, заключенные в пределах 1 1 (г? — 1)/2.
Привести пример, показывающий, что в случае, если q - р е , е > 1, это не так-
7.3. Пусть q — km + 1, k, т £ N. Показать, что многочлен является
перестановочным многочленом поля F 0 тогда н только тогда, когда НОД ( т -f
+ !,*)=!.
Упражнения 489
7.4. Доказать, что многочлен вида х р‘ — axpk над конечным полем F q ха
рактеристики р является перестановочным многочленом поля Fg тогда и только
тогда, когда элемент а не является (р ‘ — р к)-й степенью никакого элемента из F J.
7.5. Пусть р — характеристика поля F ?, г 6 IN, d —- положительный дели
тель числа р г — 1 и а £ Г 9 . Показать, что многочлен вида x ( x d — а)^рГ~х^ а
является перестановочным многочленом поля Fq тогда и только тогда, когда
элемент а не является d -й степенью никакого элемента из F*.
7.6. Пусть а ^ F q, q нечетно, г £ IN и НОД (г, q — 1) = 1. Доказать, что
многочлен вида xr (л^ 'г' ~ , */,2 — а ) 2 является перестановочным многочленом поля Fg
тогда и только тогда, когда а ф ± 1 .
7.7. Найти все перестановочные многочлены поля F 7 вида хг (х3 — а)2,
где г £ N, а € F T.
7.8. Показать, что многочлен 5л-5 + 5ах3 + а 2х является перестановочным
многочленом поля Fg, если q = ± 2 (mod 5), а а — произвольный элемент поля Fg.
7.9. Показать, что многочлен a:w+ 1)‘/2 + ах £ Fg [лг] является перестановоч
ным многочленом поля Fg нечетной характеристики тогда н только тогда, когда
а --- 2 -1 (с + с"1), где с — некоторый элемент из F g, с2 Ф 1.
7.10. Найти наименьшее число М, такое, что для любого конечного поля Fq,
где q нечетно и q > М, найдется такой элемент a f F j , что многочлен вида
r<‘M U / 2 _j_ ах является перестановочным многочленом п ол я Т д .
7.11. Пусть т > 1 — делитель числа q — 1. Доказать, что
• + aX£Fglx]
является перестановочным многочленом поля Fg тогда и только тогда, когда
(—а)т ф 1 и
( х+ х2 — 4а
g h (х, а ) =-
' 2 2
490 Гл. 7. Перестановочные многочлены
L*/2J r*/3j
Рис, 8,1
Регистр сдвига с обратной связью строится путем соединения
конечного числа указанных выше конструктивных элементов
в замкнутую цепь таким образом, что никакие два выхода не
присоединяются друг к другу. На самом деле для получения
линейных рекуррентных последовательностей следует соединять
элементы конструкции довольно специальным образом. Регистр
сдвига с обратной связью, вырабатывающий линейную рекуррент
ную последовательность, удовлетворяющую соотношению (8.1),
изображен на рис. 8.2.
В начале работы каждый элемент задержки Ds, / = 0, 1, ....
k — 1, содержит некоторое начальное заполнение Sj. Если счи
тать, что выполнение арифметических операций и передача сигна-
§ 1. Регистры сдвига с обратной связью 497
Р и с . 8.2
Р и с . 8.3
Р и с . 8,4
498 Гл, 8. Линейные рекуррентные последовательности
0 0 0 . . . 1 ak- г
Если k ^ 1, то под матрицей А понимается матрица А = (а0)
Размера 1 x 1 . Заметим, что матрица А зависит только от линей-
Ного рекуррентного соотношения, определяющего данную ре
куррентную последовательность.
502 Гл. 8. Линейные рекуррентные последовательности
О 0 0 . . . 1 ak_i
Если k = 1, то полагаем
§ 2. Импульсная функция.
Характеристический многочлен
Из всех однородных линейных рекуррентных последователь
ностей над полем Fg, удовлетворяющих данному линейному ре
куррентному соотношению k-то порядка вида (8.2), можно вы
делить одну последовательность с максимальным значением мини
мального периода, называемую импульсной функцией или после-
( Стельностью, порожденной импульсом. Эта последовательность
I
504 Гл. 8, Линейные рекуррентные последовательности t
обозначается d0, c/lt ... и однозначно определяется начальными
значениями (/„ ... = dh_2 — 0, dh_t = 1 (d0 =- 1 для k = li и
линейным рекуррентным соотношением
dn+h — a k - l d n+k - l -f- “Г ■ '' "Г а о dn, п = 0, 1.......... (И.6)
8.14. Пример. Рассмотрим линейное рекуррентное соотноше
ние
л и . г> ~ -Si л f I П -= 0 , 1, . . .,
симы над F„, в то время как сама последовательность d0, dx, ...
не является чисто периодической (в данном случае я0 = 1). Утвер
ждение, обратное утверждению теоремы 8.19, неверно. Чтобы
п о к азать это, рассмотрим линейную рекуррентную последова
тельность 3-го порядка s„, slt ... над полем р2> определяемую
рекуррентным соотношением sn+3 = sn, п = 0, 1, .... с вектором
начального состояния s0 = (1, 1, 0). Тогда как сама последова
тельность Sq, s,, ..., так и соответствующая импульсная функция
являются периодическими последовательностями с минимальным
периодом, равным 3. В то же время любые три вектора состояния
последовательности s0, slt ... линейно зависимы над полем р2- □
Пусть Sq, su ... — линейная однородная рекуррентная после
довательность £-го порядка над полем р,, удовлетворяющая
линейному рекуррентному соотношению
sn+h = ak-lSn+h-l 4 “ ah-2sn+h-2 + ’ ‘ ‘ + а0sn> П — О, 1, . , (8.7)
где cijZFq, 0 <; / -< 6 — 1. Многочлен
/ (х) = хк - ак_ххк~ 1 - ак-%хк~ 2 - • • • - а0 GF , [х]
называется характеристическим многочленом данной линейной
рекуррентной последовательности. Ясно, что он зависит только
от линейного рекуррентного соотношения (8.7). Если А — ма
трица, определенная в (8.3), то легко заметить, что / {х) совпадает
с характеристическим многочленом матрицы А, как он опреде
ляется в линейной алгебре, т. е. / (х) = det (х/ — А), где I —
единичная матрица размера 6 x 6 над полем f q. С Другой сто
роны, матрицу А можно рассматривать как сопровождающую
матрицу нормированного многочлена / (х).
В качестве первого применения понятия характеристического
многочлена рекуррентной последовательности покажем, как в од
ном важном частном случае члены линейной рекуррентной после
довательности могут быть явно выражены через коэффициенты
многочлена /(*)•
8.21. Теорема. Пусть s0, sx, . . . — однородная линейная ре
куррентная последовательность 6-го порядка над полем рч и
/ (х) — ее характеристический многочлен. Если корни а х, ..., a k
многочлена f (х) все различны, то
k
s" = S p (a / , n = 0, 1 , . . . , (8.8)
/=i
г^е Pi> Pfc — различные элементы поля разложения много
члена / (х) над полем р9, которые однозначно определяются на
чальными членами рекуррентной последовательности s0, sx, ... .
508 Гл. 8. Линейные рекуррентные последовательности
/=i. /=i
к k
= S Рif («/) «/ = 0
для всех » . 0. Тем самым теорема доказана. □
8.22. Пример. Рассмотрим линейную рекуррентную последо
вательность s„, sx, ... над полем F.?, задаваемую рекуррентным
соотношением sn+i = sn+l + sn, п — 0, 1, и начальными зна
чениями su = Sj = 1. Соответствующий характеристический мно
гочлен равняется / ( х ) = х 2 — х — 1 g U1. Если F* = Fa (а),
то корнями' многочлена f (х) являются а х = а и а., 1 - а.
Учитывая начальные значения, получаем соотношения Pj + р2 --
= 1, рга • Р2 (1 • а) 1 и, следовательно, Pi = а , р2 = 1 + а.
Из теоремы 8.21 следует, что sn = а п+1 + (1 + а)"+ ! для всех
п >- 0. Так как Р3 = 1 для всех ненулевых р g р4, получаем,
что sn+3 = sn для всех п'^> 0, что согласуется с тем, что минималь
ный период этой последовательности равен 3. □
8.23. Замечание. Формула, аналогичная формуле (8.8), спра
ведлива и в случае, когда кратность каждого корня многочлена
/ (х) не превосходит характеристики р поля Fr Рассмотрим этот
случай более подробно. Пусть а и . . . , а т — различные корни
многочлена / (х), и пусть каждый корень а,, / = 1 ,2 .......т,
имеет кратность et < р. Пусть с; — 1, если а* — 0. Тогда
т
sn •= S Pt (п) а ", п = 0,1,.
где P t, i — 1, 2, ..., т, — многочлен степени не более чем ei,
коэффициенты которого однозначно определяются начальными
§ 2. Импульсная функция. Характеристический многочлен 509
= TrF/K (0ап/(а)) = 0
Для всех п 0. □
Другие соотношения между линейными рекуррентными после
довательностями и их характеристическими многочленами могут
быть получены из следующего полиномиального тождества.
510 Гл. 8. Линейные рекуррентные последовательности
i=0
k k—\—t
= 2 a is i-t-l = £ ttt+t+ls i = ■
i~t -f-1 i=0
Если 1 > г и t > k, из (8.11) следует, что
к к—l—t-j-r
ct ~ £ a ls r - l- t + i ~ £ a i+ t-r+ ls i = d f.
i= f —r-)-l (=0
§ 2, Импульсная функция. Характеристический многочлен 511
ft—I-/ ft—1—/+Г
= S a i+ t+ l* i £ a i + t - r + l * i ~ d t.
i= 0 i—0
Таким образом, теорема доказана. □
Лемма 3.1 утверждает, что для любого многочлена / (х) £
£ F, [х], / (0) Ф 0, найдется натуральное число е, такое, что
/ (х) делит хе — 1. Это приводит к понятию порядка многочлена
/ (х) (см. определение 3.2), который обозначается через ord (/ (х)).
8.26. Лемма. Пусть
/ (х) = xk — ah_xxk~ x - ah_zxk- 2 - • • • — Оо 6 F , [*],
к ф 1, ап Ф 0. Тогда ord (/ (х)) равняется порядку матрицы А ,
определяемой формулой (8.3) и рассматриваемой как элемент
группы GL (k , IF,).
Доказательство. Ввиду того что А — сопровождающая ма
трица многочлена / (х), то / (х) в свою очередь является минималь
ным многочленом матрицы А. Следовательно, если / — единич
ная k х A-матрица над полем F,, то равенство А е = I для неко
торого натурального числа е выполняется тогда и только тогда,
когда многочлен / (х) делит х е — 1. Искомый результат следует
теперь из определений порядка многочлена / (х) и порядка ма
трицы А как элемента группы GL (k , F,)- □
8.27. Теорема. Пусть s0, sx, ... — однородная линейная ре
куррентная последовательность над полем F, и f (х) £ F, U ] —
характеристический многочлен этой последовательности. Тогда
минимальный период этой последовательности делит ord (/ (х)),
а минимальный период соответствующей импульсной функции
равняется ord (/ (х)). При этом если f (0) Ф 0, то обе последова
тельности являются чисто периодическими.
Доказательство. Если / (0) Ф 0, то в силу леммы 8.26 резуль
тат является простой переформулировкой утверждений теорем
8-13 и 8.17. В этом случае чистая периодичность будет следовать
из теоремы 8.11. Если же /(0 ) = 0, то представим / (х) в виде
/ (х) xhg (х), где g (0) Ф 0 (как в определении 3.2), и положим
512 Гл. 8. Линейные рекуррентные последовательности
§ 3. Производящие функции
До сих пор при изучении линейных рекуррентных последова
тельностей мы пользовались понятиями линейной алгебры, ал
гебры многочленов и теории конечных полей. Использование ал
гебраического аппарата формальных степенных рядов позволит
нам получить другие замечательные результаты, связанные с ли
нейными рекуррентными последовательностями.
Пусть дана произвольная последовательность s0, Sj, ... эле
ментов поля Fr С этой последовательностью можно связать ее
производящую функцию от переменной х, которая является просто
формальным выражением вида
оо
G (х) = s0 -}- s*x -f- s2x2 -}-•••-{- snxn -}-••• = snx n, (8.13)
n=0
где ж — формальная переменная. В основе этого подхода лежит
мысль, что в функции G (х) «собраны» в определенном порядке
все члены последовательности s0, slt ..., так что функция G (х)
может некоторым образом отражать свойства этой последова
тельности. Название «производящая функция», строго говоря,
является неправильным, так как мы рассматриваем G (х) не как
Функцию аргумента х, а просто как некоторый формальный
объект (аналогично многочлены в сущности тоже можно рас
сматривать как формальные объекты, которые не следует пу
тать с функциями). Термин «производящая функция» был пере
несен сюда со случая последовательностей действительных или
комплексных чисел, где может оказаться, что ряд, аналогичный
(8-13), сходится при подстановке некоторого действительного
или комплексного числа х0 вместо переменной х, что позволяет
приписать какое-то конкретное значение функции G (х0). В рас
сматриваемой же ситуации вопрос о сходимости или расходимости
6*
516 Гл. 8. Линейные рекуррентные последовательности
оо j П п \
= £ I £ bhcn_k + £ ьк dn- h ) х п —
(1 = 0 \ f c = 0 *=0 1
оо / тг \ ос / П \
— £ ( £ ьксп А хп + 2 ( £ ьк йп А хп —
п~0 \ k=0 J п—0 \k=Q /
= В (ж) С (ж) I- В (ж) D (ж).
Таким образом,
1 -f х + х8 -|- х8 -f ..
1 + х + х3 - = 1 + х2 -f- x3-f- *7 -f- ••• • □
(8.15)
где
к- 1 /
g(x) = — S 2 aUk_jSiXi £ Fq [х] (8.16)
/=0 f=0
и ак ~ —1, Обратно, если g (х) — производящий многочлен над
полем Fq, deg (g (х)) < к, а /* (x)£Fq(x] задается равенством
(8.14), то формальный степенной ряд G (х) £ Fq [[xjj, задавае
мый равенством (8.15), является производящей функцией однород
ной линейной рекуррентной последовательности k-го порядка над
полем Fq, удовлетворяющей линейному рекуррентному соотно
шению (8.7).
Доказательство. Имеем
/*(ж)0(ж) =
(8.17)
/* (ж) = 1 —ж—ж3 —Ж
*= 1 Ж Ж’ : Ж
4 £ Гг [ж].
Таким образом,
с w = т + Ш ? + 7 = 1+ * + * ”+ * * + * ”+
что соответствует бинарной последовательности 1, 1, 0, 1, 1,
О, 1, имеющей минимальный период 3. Импульсную функцию,
связанную с данным линейным рекуррентным соотношением,
можно получить, если положить g (х) = х3. Алгоритм деления
углом дает в этом случае производящую функцию
§ 4. Минимальный многочлен
I
Хотя до сих пор мы этого не отмечали, очевидно, что линейная ■
рекуррентная последовательность удовлетворяет множеству дру
гих линейных рекуррентных соотношений помимо того, которое
определяет эту последовательность. Так, если последовательность
s0, sx, ... является чисто периодической последовательностью с |
периодом г, то она удовлетворяет линейным рекуррентным соот
ношениям sn+r = sn (п — 0, 1, ...), sn+2r = sn (п = 0, 1, ...) II
т. д. Экстремальный случай представляет собой последователь
ность 0, 0, 0, ..., которая удовлетворяет любому однородному
линейному рекуррентному соотношению. Следующая теорема опи
сывает, как связаны между собой различные линейные рекуррент
ные соотношения, которым удовлетворяет данная однородная ■
линейная рекуррентная последовательность.
8.42. Теорема. Пусть s0, s1( ... — однородная линейная рекур-
рентцая последовательность над полем F9. Тогда существует \
однозначно определенный нормированный многочлен т (х) £ Ff/ [х], ;
обладающий следующим свойством: нормированный многочлен по
ложительной степени f (х) £ FP \х] является характеристиче
ским многочленом данной последовательности s0, slt ... moed<i
и только тогда, когда / (х) делится на т (х).
Доказательство. Пусть /„ (я) £ F<j lx] — характеристический :
многочлен однородного линейного рекуррентного соотношения. ;
которому удовлетворяет наша последовательность, и пусть h0 ( х ) £
£ F9 lx] — многочлен вида (8.10), определяемый многочленом !
/0 (х) и исходной последовательностью s0, s]( ... . Если d ( х ) —
нормированный многочлен, являющийся наибольшим общим де
лителем многочленов /„ ( х ) и h0 (х), то мы можем записать /0 (х) =■
= т (х) d (х), h0 (х) = b (х) d (х), где т (х), b (х) С F9 (х ]. До
кажем, что т (х) и есть искомый многочлен. Очевидно, что т (х) —
нормированный многочлен. Пусть теперь / (х) £ Fq [х] — произ
вольный характеристический многочлен данной последователь
ности, н пусть h (х) £ F9 [х] — многочлен вида (8.10), определи- ■
емый многочленом / (х) и данной последовательностью. Применяя
теорему 8^40, получаем, что для производящей функции G (х) ^
нашей последовательности имеет место равенство
§ 4. Минимальный многочлен 525
Так как deg (Ь (ж)) < deg (т (ж)), произведение первых двух
сомножителей (включая знак минус) в правой части приведенного
выше равенства является многочленом а (ж) С Fq [ж]. Следо
вательно, справедливо равенство g0 (ж) т* (ж) = а (ж)/о (ж). То
гда из теоремы 8.40 следует, что производящую функцию G (ж)
нашей последовательности можно представить в виде
а (х\ = — а (*> — а (*)с* (*) _ а (*)с* (*)
' ' (ж) т * (х ) т* (ж) с* (ж) /* (ж)
Так как
deg (а (ж) с* (ж)) = deg (а (ж)) -f deg (с* (ж)) <
< deg (т (ж)) + deg (с (ж)) = deg (/ (ж)),
то из второй части теоремы 8.40 следует, что / (ж) является харак
теристическим многочленом нашей последовательности. Очевидно,
что существует только один многочлен т (ж) с указанными свой
ствами. □
Однозначно определенный в теореме 8.42 многочлен т (ж) £
€Fq [ж], соответствующий последовательности s0, s,, ..., назы
вается минимальным многочленом этой последовательности. Если
sn = 0 для всех п > 0, то минимальный многочлен этой последо
вательности равен 1. Для всех других однородных линейных
рекуррентных последовательностей т (ж) является нормирован
ным многочленом степени deg (m (ж)) > 0 н представляет собой
характеристический многочлен линейного рекуррентного соот
ношения минимально возможного порядка, которому удовлетво-
526 Гл. 8, Линейные рекуррентные последовательности
£ = 2 S ( m a(x)) = S(f(x)),
<j£ Я*
где / (х) — наименьшее общее кратное многочленов т а (х), а п
пробегает конечное множество £ * . □
Из теоремы 8.55 следует, что сумма двух и более однородных
линейных рекуррентных последовательностей над полем F,
является однородной линейной рекуррентной последователь
ностью. Характеристический многочлен суммарной последова
тельности тоже легко получается из этой теоремы. В важных част
ных случаях минимальный многочлен и минимальный период
суммарной последовательности можно непосредственно получить
из соответствующих характеристик суммируемых последова
тельностей.
8.57. Теорема. П у с т ь a h i — 1, 2, .... h , — о д н о р о д н ы е ли
н е й н ы е р е к у р р е н т н ы е п о с л е д о в а т е л ь н о с т и н а д п о л ем f q, a m t (х) £
€ F<j 1х1 — со о т в е т с т в у ю щ и е м и н и м а л ь н ы е м н о го ч л е н ы . Если
м н о го ч л е н ы т х ( х) , ..., mh (х) п о п а р н о в з а и м н о п р о с т ы , т о мини
м а л ь н ы й м н о го ч л е н с у м м ы о, + ... + o h р а в е н п р о и з в е д е н и ю
т х (а-) ... m h (х).
Д о к а з а т е л ь с т в о . Для доказательства достаточно рассмотреть
случай h = 2, так как доказательство в общем случае легко по
лучить по индукции. Если один из многочленов т х (х) или т 2 (х)
является постоянным многочленом, равным 1, то результат три
виален. Аналогично, если минимальный многочлен т (а) 6
£ Fg lx], соответствующий сумме ох + о2, является постоянным
многочленом, равным 1, то результат получается непосредственно.
Предположим, что все многочлены т , ( х) , т г ( х) , т (х) являются
многочленами положительной степени. Так как в силу теоремы 8 55
0i т 6-2€ S (тх (х)) + S (т.г (х)) = S (тх (х) т2 (х)),
то т ( х ) делит т х (х) т г (х). Пусть а х — последовательность .V
sl; .... а о 2 — последовательность t0, tx, ..., и пусть
т (х) — x k — a h_xx k-~l — ■ ■ ■ — а 0.
§ 5, Семейства линейных последовательностей 535
Тогда
Sn+ft + Ci+fc = а к - 1 (s n+ft-1 + t n + h-l) 'Г ' ‘ ‘ 'Г a o(s n + ^n)»
/г = О, 1, ...
Рели мы положим
Un = Sn+j, @h-lSn+h-l =
= ^n+fe + ah-l^n+h-l + ' ‘ ' ~Ь й0^п- П = 0, 1, . . . ,
и вспомним, что S (т , (х)) и 5 ( т 2(х)) являются векторными
пространствами над полем F g, замкнутыми относительно операции
сдвига входящих в них последовательностей (см. теорему 8.56),
то мы убедимся, что последовательность м„, их, ... лежит как
в S (пц (х)), так и в S ( т 2(х)). По теореме 8.54 она является ну
левой последовательностью. Отсюда следует, .что тх (х) делит
т (х) и т2 (х) делит т (х), а значит, и тх (х) тг (х) делит т (х).
Таким образом, т (х) — тх (х) тг (х). □
Если минимальные многочлены тх (х), .... /лЛ (х) последо
вательностей а „ ..., ah соответственно не являются попарно
взаимно простыми, то для определения минимального многочлена
суммарной последовательности а = ох + ... + од необходимо
учитывать свойства исходных последовательностей оу, ..., ah.
Наиболее удобен подход, основанный на использовании произво
дящих функций. Предположим, что Gt (х) £ Fg И х ]], i — 1, ....
h, — производящие функции последовательностей а г. Тогда для
производящей функции G (х) суммарной последовательности о
справедливо равенство G (х) = Gx (х) Gft (х). По тео
реме 8,40 каждая производящая функция Gt (х) может быть
представлена в виде дроби, знаменатель которой является много
членом, возвратным к многочлену m t (х). Сложим эти дроби, при
ведя их предварительно к общему знаменателю, а затем, исполь
зуя вторую часть теоремы 8.40 и метод доказательства теоремы
8.42, найдем минимальный многочлен последовательности а. При
меняя указанный подход, можно также получить другое дока
зательство теоремы 8.57.
8.58. Пример. Пусть ах — последовательность над полем F2,
являющаяся импульсной функцией и принадлежащая множеству
.8(х1 4- х3 + х + 1), а 02— последовательность иад F2, являю
щаяся импульсной функцией и принадлежащая 5 (х5+ х* + 1).
Тогда по следствию 8.52 соответствующие минимальные много
члены равны
ип+г — в ,
----------- aytn = £ й ф к (у,) = О,
i=i
и, таким образом, многочлен h (х) будет характеристическим мно
гочленом последовательности и0, их, ..., являющейся произведе
нием последовательностей s0, sx, ... и t0, tx, . . . .
8,69. Пример. Рассмотрим последовательность О, I, 0, 1 ■■■
над полем Fa с минимальным периодом 2 и минимальным много
членом {х —- I)2. Если мы умножим эту последовательность на
саму себя, то получим ту же самую последовательность. С другой
стороны, (х — I)2 v (х — I)2 = х — 1, что не является характе-
§ 5. Семейства линейных последовательностей 545
(=0
Отсюда
k k
2 ( f ) (— c)fe- ^ n+i^n+i = c"+*So 2 ( f ) (— 1)А- г ^n+i = 0
f=0 *=0
для всех /г = 0, 1, и тогда
k
i=0 4
— характеристический многочлен последовательности s0t0, sxt%,
Значит, векторное пространство S (х — с) S ((х — 1)*) является
подпространством пространства S ( ( х — с)к). Так как с ф 0,
первое векторное пространство имеет над полем F, размерность k
и, таким образом, совпадает с пространством S ((х — с)*), к<нч-
рое имеет ту же размерность над П
8.72. Теорема. Пусть f (х) £ F, U 1 — нормированный мно
гочлен, не являющийся константой и не имеющий кратных корней
и / (0) Ф 0. Пусть k — целое положительное число. Тогда
S « / (х ))*) = 5 (/ (х)) S ((X ~ 1)*).
Доказательство. Пусть F — поле разложения многочлена
/ (х) над полем F,. Тогда если а пробегает все корни многочлена
/ (х), то по теореме 8.55
S f ((/(*))*)= « * -« )* ).
а
Используя лемму 8.71 и закон дистрибутивности, установленный
при доказательстве теоремы 8.67, получаем
SF ((/ <*))*) = £ SF ((х - 1)*) S P ( * - « ) =
а
= S F ( ( x - 1)*) Я S F (х — а) = S F ((х —
0 , X 0 0
1 1 X2 1 2
2 1 + X* 2х — 1 1
3 1+ х + х2 2х2 0 0
4 1+ х + X1 2х* 1 2
5 1+ х + х2 + 2 *3 2х + 2х2 + 2ха — 1 2
6 1+ X3 2*2 _|_ 2*3 + 2х* 0 1
7 1 4- л2 + 2 х® + х 4 X + х* 0 1
8 1+ 2 х + х 2 + 2х 3 0
/ t j (*> hj (х) bi
т1
0 , X 0 1
1 1 "f" X X 0 0
2 1+ X X2 1 1
3 1+ л + *а Х + Х2 —1 1
4 1 X2 -{•• х3 0 1
5 1 4- х2 + X 0 0
6 1+ *2 + *» X2 1 0
7 1+ Х2 + X* X3 2 0
8 1+ л:2 + X3 3
552 Гл. 8. Линейные рекуррентные последовательности
deg (gj (х)) < — (/ + 1 - т,), deg (/г,- (х)) < -i- (/ -f 2 + т/). (8.23)
С другой стороны,
deg (h2k (х) и(х) — s (х) v2k (х)) = deg (x2kU2k (х)) > 2k,
и все эти неравенства совместимы лишь при т2к 0. Вновь вос
пользовавшись соотношениями (8.23) и (8.24), нетрудно прове
рить, что deg (g2k (х) и (х)) < 2k — 1/2 — (1/2) т2к и deg (s (х>-
• u2h (x)) 2 k — 1/2 — (1/2) т2к. Тогда из (8.29) вытекает, ч т
deg(x2kV2h (x)) = deg(g2h (x) u ( x ) - s (x) u2k (x)) < 2k.
Но это возможно лишь при условии, что V2h (х) является нулсвы'
многочленом. Следовательно, из (8.29) вытекает, что g2k (х) и (х) ■
= s (х) и2к (х). Полагая / = 2k и умножая обе части равенства
(8.28) на g2h (х), приходим к равенству
h k (*) g%h (х) и(х) — s (х) g2h (х) v2h (х) =
= s (х) (h2k (х) u2h (х) - g2h (X) v2k (х)) = x 2kU2k (х) g 2h (г),
Учитывая (8.27), получаем s (х) = U2h (х) g 2h (х), откуда выте
кает, что и (х) = U2h (х) u2h (х). Так как s(x) является возврат
ным минимальным многочленом, из второй части теоремы 8.40
следует, что многочлены s (х) и и (х) взаимно просты. В силу этого
многочлен U2h (х) обязан быть константой, а так как по (8.2.4)
U2h (0) = 1, то U2h (х) = 1. Значит, s (х) = g2k (х) и соответ
ственно и (х) — и2к (х). Если deg (т (х)) = k, то
m(x) = x * s ( ± - ) = x % h ( - 1 ) ,
как и утверждалось ранее. Если же deg (т (х)) = t k, то s (х) ■
= g2t (х), и (х) = u2t (х), m2t > 0. Очевидно, что max (deg (s fx)),
1 + deg (и (x))) < t, и из второй части теоремы 8.40 вытекает
t = max (deg (s (x)), 1 + deg (u (x))).
Тогда из (8.23) и (8.24) следует, что
t - max (deg (g2t (x)), 1 (- deg (uu (x))) < t -\.--------- j m2t.
Таким образом, tn2t равно 0 или 1. Кроме того, заметим, что
gj (х) = s (х) и Ь) = 0 для всех / > 21. Тогда т} = m2t + / - -
— 2 / для всех / 21 по Определению т}. Полагая / = 2k, полу
чаем t = k + (1/2) ты — (1/2) т2к, и так как m2t равняется 0
или 1, то
t = [* ==r-
Таким образом,
т (х) = xrs (-L ) = x'g 2h ( ^ ) ,
что соответствует нашему утверждению.
§ 7 . Р а сп р е д ел е н и е эл ем ен тов 555
В частности,
и+г—\
У *(.„) < для всех и ^ п 0. (8.31;
ь о- b v i € F , » .» = -о
t— 1
1 < А < Г - 1,
где || 1 1 означает расстояние от действительного числа t до бли
жайшего целого числа. Отсюда следует, что
г -1 jV—1 Г— L//2J
(8.36)
Сравнивая суммы с соответствующими интегралами, получаем
I//2J Lr/2J
va яА я . \л яЛ ,
> cosec — = cosec-----( > cosec —
Zj г r jL j r ^
»i i Л=2
Lr/2J
< cosec у - + | cosec ~ dx <
Я /2
т а к и е ж е , к а к и в т е о р е м е 8.78. Т о г д а д л я л ю б о го н е т р и в и а л ь н о , о
а д д и т и в н о г о х а р а к т е р а % п о л я F4 с п р а в е д л и в о н е р а в е н с т в о
и-1-Д'—1
2 *<*. < 1тгГ tK u
гД5 ы п„ и 1 < /V < г.
Д оказат ел ьст во. Начнем с равенства
U-I-JV—1 Н~|-Г—1 Г—1
/»(« —« —/)
2 *<»■)“ 2 * ы /2 И^ Е/I 'о
где
Оно справедливо, так как сумма по / равняется 1 при и Д п <
и + N — 1 и 0 при и F N < п < и + г — 1. Переставляя
соответствующим образом члены, получаем
2
п —и
* « > - 4 h—
2 0 \/=0
2 ' № * ' w 2"
п~и
« 4 4 ) !■
*........ - / t e
'
откуда в силу (8.30) следует
u-\-N—1 г—1 N —1 и-\-г—I
h (и + /) Л«
2 *«> < 4 2 2 Л *(«„)< <
к —0 I /=0
Г—I
1 /_г_\1/2
/ I \ л
R
V еЗ-
л=о /=0
Применяя теперь лемму 8.80, получаем искомое неравенств!
бь
X
где с £ F а сумма берется но всем аддитивным характерам у
поля f (/. Тогда
По+г—I п0+г—1
Z ( b) = 2 6^ п ) = £ - f S ? i ( s n - h) =
п —п 9 n~nQ х
n0-fr—\
=т 2х
X
2 x(Su)*
(&) п=п0
Выделяя слагаемое, соответствующее тривиальному аддитивному
характеру поля Fg, и помечая звездочкой сумму, в которой сум-
9 Зак, 243
562 Гл. 8. Линейные рекуррентные последовательности
X П=л»
Используя (8.31) и учитывая то, что существует q — 1 нетри
виальных аддитивных характеров поля р ,, получаем
па ~~
2 г 1/2 ,*/2
2(b)
2 ' 2 1 ~R
а при b Ф 0
Г h-J-qi/Aqikm-i (8.38)
2(b)
(8.40)
= f + 1 2 * ' « 2 * < евв">-
с 4=0
В силу (5.17)
Я(р) = 1 _ 2 0 ( ф , Я)ф(Р),
2 (0 ) (<?— 1)г
to*-1- IV к/2 (8.4И)
(И 1 - 1 ) 4
q{qh~ \ )
Обозначим через Н наименьшую подгруппу группы F*, содер
жащую а и К* ■Элемент а в циклической группе F* имеет порядок
§ 7. Распределение элементов 565
А |f* l 1 (8.43)
Н h
Теперь неравенство (8.37) непосредственно следует из (8.42;
и (8.43).
Рассмотрим случай b Ф 0. Вернемся к формуле (8.41) и заме
тим прежде всего, что аддитивный характер является нетри
виальным. Следовательно, тривиальный мультипликативный ха
рактер дает в сумму из (8.41) вклад, равный 1. Таким образом,
мы можем записать
Zip) — Яy ~~T
—1
~ ~7.Г....л. У Ч ( 9 ) 0 ( ф , Л)0(ф',
9 (? — и * -
К). .
•Ф€ J
Z(b; N о, N ) -
Комментарии
§ 1. Теория линейных рекуррентных последовательностей
имеет очень давнюю историю. В гл. 17 книги Диксона Dickson [401
она прослеживается с 1202 по 1918 г. Первоначально внимание
уделялось линейным рекуррентным последовательностям целых
чисел, особенно знаменитой последовательности Фибоначчи F0, F,.
F2, ... , определяемой условиями F0 = 0, Рг — 1 и соотношением
F n + 2 = F n + 1 + Fn, п = 0, I, ... . Позднее линейные рекуррент
ные последовательности над полем действительных или комплекс
ных чисел рассматривались в основном в связи с исчислением
конечных разностей. Интерес к линейным рекуррентным после
довательностям над конечными полями возник после того, как
линейные рекуррентные последовательности над Z стали рассмат
ривать по модулю простого числа р, получая таким образом ли
нейные рекуррентные последовательности над полем Fp. Начинал
с 50-х г. XX в., линейные рекуррентные последовательности над
конечными полями нашли важное приложение в теории кодиро
вания и в электронике ввиду их связи с переключательными схе
мами. Краткий обзор истории развития этого направления за
период с 1918 г. можно найти в книге Selmer [3, ch. 2 1.
Важными классическими работами по теории линейных ре
куррентных последовательностей являются работы Lucas [I ] и
d’Ocagne [I ]. Обзор этой тематики можно также найти в книгах
Lucas [2, ch. 17, 18] и Bachman [5, ch. 2]. Первый заметный
вклад в теорию линейных рекуррентных последовательностей
над конечными полями был сделан в статьях Mantel [I ] для слу
Комментарии 567
чая простого поля Fp и Scarp is [2] для общего случая F,. Все
последующие работы вплоть до середины XX в. сконцентриро
ваны вокруг линейных рекуррентных последовательностей над
к о л ь ц а м и Z и Z 1(т) (см. Bell [1 1, Carmichael [1 ], 12 j, [3], Engstrom
(II, 121. Hall 111, [2], 131, [4], Ward [2], [3], [4], [7], [8],
[9 j, [111, 1121, 114 j, 116] и особенно фундаментальную работу
Ward 151). Кроме того, линейные рекуррентные последователь
н о ст и над произвольными полями рассматривались в работе Ward
[1 |, а линейные рекуррентные последовательности над произволь
н ы м и коммутативными кольцами — в статьях Ward [13], [15].
Основополагающей работой по современной теории линейных ре
куррентных последовательностей над конечными полями является
работа Zierler [4 I. Обсуждение этой теории можно найти в книгах
Birkhoff, Bartee [1, ch. 13], Dornhoff, Hohn [1, ch. 8], Gill [2].
Golomb, [4], Liineburg, [2]. Peterson, W eldoa [1 ]. а также в лек
циях Selmer [3 I и в обзорной статье Fillmore, Marx [1 ]. По поводу
более подробной информации о последовательностях Фибоначчи
см. Bachmann [5, ch. 2], Jarden [1 ], Knuth [2, ch. 1 ] и Воробьев
11 1, а также журнал «Fibonacci Quarterly». Линейные рекуррент
ные последовательности действительных или комплексных чисел
исследовались, в частности, в книгах Jordan Ch. [1, ch. 11],
Milne-Thomson [I, ch. 13], Montel [1 ], Norlund [1, ch. 10], Гель-
фонд [1, гл. 5] и Маркушевич [1].
Описание технической реализации регистров сдвига с обрат
ной связью и составляющих их элементов приводится в работе
McCluskey [1]. В статье Roth [1] обсуждается эффективное
построение регистров сдвига с обратной связью с полем р2 в каче
стве основного поля. Связь между регистрами сдвига с обратной
связью и линейными рекуррентными последовательностями под
черкивается в работах Golomb [4]. Peterson, Weldon [1 ] и Selmer
13 ]. Обсуждение работы регистра сдвига с обратной связью с точки
зрения теории переключательных схем и теории конечных автома
тов можно найти в книгах Booth fl, ch. 8], Gill [2], Golomb
[4, ch. 21, Zadeh, Polak [1, ch. 2], а с еще более общей точки
зрения — в § 5 гл. 9 настоящей монографии.
Теорема 8.7 в сущности была получена в работе Mantel [1 1.
Теорема 8.11 является частным случаем результата, доказанного
в статье Ward [15 ]. Матрица А из (8.3), являющаяся сопровождаю
щей матрицей характеристического многочлена рекуррентной
последовательности, была введена в работе Brenner [1 ]; там же
можно найти доказательство теоремы 8.13. Позднее матричные
методы начали интенсивно использоваться при проведении ис
следований в этой области (см. Golomb [1], Birdsall, Ristenblatt
И]. Elspas [1], Friedland [1]. Stern, Friedland [I ] и Mendelsohn
И]). Эти методы имеют то преимущество, что они могут быть
также применены к линейным рекуррентным последовательно
568 Гл» 8. Линейные рекуррентные последовательности
C(h) = £ %(sn)%(tn+h)>
n=0
580 Гл. 8. Линейные рекуррентные последовательности
А =
Z (6 ; N 0, N ) = J L Z (b) +
N„+N ,
^ Ф(0)С(ф, A)G(*>\ Щ Ф(«) ф(а) —Ф(«)
•Ф
(а)ф!
8.70. Из результата, полученного в упр. 8.69, вывести неравенство
§ 1. Линейные моды
Большое значение в настоящее время приобрели проблемы
передачи информации и, в частности, вопросы кодирования и
декодирования информации в целях ее надежной передачи по
«зашумленным» каналам. Обычно бывает необходимо передать
сообщение, состоящее из конечной последовательности символов,
являющихся элементами некоторого конечного алфавита. Если,
например, этот алфавит состоит из символов 0 и 1, то передавае
мое сообщение можно рассматривать как некоторое двоичное
число. В общем случае предполагается, что алфавит является
некоторым конечным полем. Передача конечной последователь
ности элементов алфавита по каналу связи не обязательно осу
ществляется в «точном» виде в том смысле, что каждый бит инфор
мации передается по каналу не изменяясь. Ввиду того что не су
ществует идеального канала без «шумов», получатель передавае
мого сообщения может получить искаженную информацию и
ошибочно истолковать переданные сигналы.
Одной из основных задач теории кодирования является стрем
ление к тому, чтобы вероятность ошибок, появляющихся в ре
зультате шума в канале связи, была сведена к минимуму. Методы
повышения надежности передачи сообщений в основном бази
руются на свойствах конечных полей.
Основной идеей алгебраической теории кодирования яв
ляется передача избыточной информации вместе с тем сообщением,
которое необходимо передать. Это означает, что последователь
ность символов, составляющая передаваемое сообщение, некото
рым специальным образом преобразуется в более длинную после
довательность.
588 Гл. 9, Приложения конечных полей
"Шум •
c-te
Рис. 9.1
/1 0 1 1 1 0 0’
Я - 11 1 0 1 0 1 0
\1 1 1 0 0 0 1
Проверочные символы можно найти из системы уравнений Яст =-
О, считая с,, с.,. су, г, заданными:
C’l -j СЯ [ су ■г су О,
су -|- С2 -д С.( -j- <д — О,
Н 3"- с'з -| - су = 0.
Тогда проверочные символы су, су, су можно выразить следующим
образом:
Съ —И Т су с j,
су — П "1.с2 г г4>
су = Cl -j. су [- с 3.
с т = ( _ ! л ) а Т = [ а ( / * - ^ т))т.
где а at ... ah — передаваемое сообщение, а с =-= с, ... с п —
соответствующее кодовое слово. Это приводит к следующему
определению.
9.5. Определение. Матрица G — U h —ЛТ) размера k '<
называется канонической (или стандартной) порождающей (или
кодирующей) матрицей линейного (n, к)-кода с проверочч"П
матрицей Н (A
Из уравнений Нст - 0 и с aG следует, что матрицы //•
п G связаны равенством
от - о. I'* 1'
Код С. совпадает с пространством строк канонической порожднф"
щей матрицы G '). В более общем случае любая k X «-матриц <
р То есп. с образом линейного отображения, задаваемого матрицей О.
Прим, перев.
>1 KU-.ы 591
О
о
\о 1 1 0/
9.7. Определение. Если с — кодовое слово, а у — слово, по
поенное после передачи сообщения по зашумленному каналу,
разность е - у — с = е, ... е п называется в е к т о р о м о ш и б о к
01) 1 шумовым с л о в о м .
9.8. Определение. Пусть х и у — два вектора пространства
". Тогда
(Г) р а с с т о я н и е м Х э м м и н г а d (ж, у) между векторами х и у
аазывается число координат, которыми векторы х и у отличаются
ujvi от друга;
(И) весом (Х э м м и н г а ) w (х) вектора х называется число нену
левых координат этого вектора.
'Таким образом, если х — передаваемое кодовое слово, а у —
полученное после передачи слово, то величина d (ж, у) дает число
ошибок, появившихся при передаче слова х. Ясно, что w (х) =
d (ж, 0) и d (х, у) == w (ж — у). Доказательство следующей
юммы оставляется читателю в качестве упражнения.
9.9. Лемма. Р а с с т о я н и е Х э м м и н г а я в л я е т с я м е т р и к о й в п р о -
э п р а н с т в е f’J, т. е. д л я л ю б ы х х, у, г £ вы п о лн яю т ся следую -
.ц и е с о о т н о ш е н и я :
(i) d (х, у) =
0 т о г д а и т о л ь к о т о г д а , к о г д а ж -= у;
(ii) d (ж, у) =
d (у, х);
(ili) d (х, г) < d (ж, у) + d (у, г).
При декодировании полученного слова у обычно стараются
сойти кодовое слово с, для которого w (у — с) принимает наи
меньшее возможное значение, исходя при этом из естественного
предположения, что малое число ошибок встречается чаще, чем
большое. Таким образом, при декодировании мы ищем кодовое
"■ново с, ближайшее в смысле расстояния Хэмминга к получен
ному слову у. Это правило называется д е к о д и р о в а н и е м в б л и ж а й -
'ш ’е к о д о во е с л о в о .
9.10. Определение. Если t — некоторое натуральное число,
Ги код С <= f nq называется к о д о м , и с п р а в л я ю щ и м i о ш и б о к , если
Аля любого у £ F q найдется не более одного слова с £ С, такого,
Что d (у, с) < t.
592 Гл, 9, П рилож ения конечных полей
передаваемая информация 00 10 01 11
/0 \
кодовые слова 0000 1010 0111 1101
U )
лидеры си н
см еж ны х дромы
классов
Д о к а з а т е л ь с т в о , П у с т ь у б F ” — по л учен н ы й вектор, у —
X -у е, х £ С ; тогда из (9.2) получаем , что S (у ) = Я е т . П у с т ь
В. Т , . . . — координаты с ош ибкам и, т. е. е = 0 . . . 01,-,0 . . . 01,-Д.. ,
Тогда S (у) = Н,-,+ h £> ~f .... где h, означает t-й столбец м а
трицы Н. П
Нели все столбцы м атрицы Я р а зл и чн ы , то наличие единствен
ной ош ибки в i -й координате полученного слова приводит к том у,
что S (у) — Ьд и, таки м образом, одна ош иб ка м ож ет бы ть исправ-
лена. Л о к а л и з а ц и я ош ибок упр ощ ается при испо льзовани и сл е
дующего кл асса кодов.
9.22. Определение. Б и н а р н ы й код С т , д лины п = 2 т — 1,
т Уш 2, с проверочной матрицей Я размера т х (2 т — 1) назы
596 Гл . 9, П рилож ения конечных полей
Имеется ровно
Д ока за т ельст во . ( q — l)m векторов над
полем iFg длины п и веса гп. Все шары радиуса t с центрами в кодо
вых словах попарно не пересекаются, и каждый из М шаров
содержит
1 + ( ” ) ( ? - - 1)Н +
векторов пространства F?, которое само содержит qn векторо]
§ 1. Линейные коды 597
пт с у щ е с т в у е т л и н е й н ы й ( п , к )-к о д н а д п о л е м ¥ ,, с м и н и м а л ь н ы м
р а с с т о я н и е м , н е м е н ь ш и м чем d .
Д о к а з а т е л ь с т в о . Докажем эту теорему путем построения про
верочной (п — к) У л-матрнцы // искомого кода. В качестве
первого столбца матрицы Н выберем произвольный набор длины
« -- к элементов ноля р ,. В качестве второго столбца возьмем
любой набор той же длины элементов р(;, подчиненный един
ственному условию, чтобы он не равнялся произведению первого
столбца на элемент поля ру, Вообще предположим, что выбрано
i - 1 столбцов, причем любые d — 1 из них являются линейно
не ДЩНС1ШЫМН, Тогда имеется не более
S C 7 > -■ )'
(=-0
векторов, которые являются линейными комбинациями не более
,,ем d - 2 векторов из числа выбранных / — I вектор-столбцов,
‘•ели выполняется неравенство, приведенное в условии теоремы,
ТДможно выбрать /-й столбец таким образом, чтобы он был ли-
нечио независимым от любых d ----- 2 столбцов из числа первых
I ~ 1 столбцов. Указанное построение можно проделать таким
598 Гл, 9. П рилож ения конечных полей
П
21 (х, у) ■=- 2 AiXHjx ‘
П-0
от д вух переменных х н у над полем ком п л ексн ы х чисел н а зы
вается н у м е р а т о р о м весов или весо во й ф у н к ц и е й к о д а С .
Далее нам понадобится понятие характера конечного ноля
(см. гл. 5).
9.30. Определение. П у с т ь % — н етр иви альны й аддитивный ха
рактер поля р д, и п ус ть u - v обозначает ска л я р н о е произведение
векторов u, v ( f'i. Для ф иксированного v £ fq определим
отображение yvV: f q С равенством
% v (u ) = x(v-u), u£ С
§ 1. Линейные коды 59У
Д о к а з а т е л ь с т в о . П у с т ь /: p j С [х, у ) — определенное вы ш е
отображение; тогда весо вую ф ун кц и ю кода С 1 м ож но предста
вить в виде
А-Дх,у)= 2 /(V ).
600 Гл. 9. Приложения конечных полей
у ф X Е %(V) = у - X.
ф г;
Т а к и м образом,
gf (и) = (У - *Г‘“>(y + (q~~l)
И з леммы 9.31 следует, что
П
Несть Л (г) = Л (г, 1), т. е.
(г) — 1 ]Л ггН Тогда нетрудно
А
1=0
проверить, что Л (г) удовлетворяет дифференциальному уравнению
§ 2. Циклические коды
Циклические коды — это особая разновидность линейных
кодов, они отличаются достаточно хорошо изученной математи
ческой структурой и удивительно просты в реализации.
9.35. Определение. Линейный ( п , k )-код С над полем Ц,
называется ц и к л и ч е с к и м , если из того, что вектор (а 0, а х, а п _ х)
принадлежит С , следует, что его циклический сдвиг ( а п _ х, а„, ...
а п -г ) принадлежит С.
С настоящего момента мы будем предполагать, что НОД (п ,
Ф : : 1. Обозначим через ( х п — 1) идеал кольца 1x1, порожден
ный многочленом х п — 1 £ Fg UJ. Тогда все элементы фактор-
кольца Fg [ х ) / ( х п — 1 ) можно представлять многочленами сте
пени, меньшей чем п. Очевидно, что это факторкольцо изоморфно
Г» как векторное пространство над полем F?, а изоморфизм
имеет вид
(«о» а х. .. ., а п _х) «-*■а 0 -ф а хх -|-------ф а п _хх п~ >.
В силу существования указанного изоморфизма мы будем пред
ставлять элементы F , \ x ] j { x n — 1 ) или в виде многочленов сте
пени, меньшей чем п , которые рассматриваются по модулю
хп — 1, или в виде векторов или слов над полем |ф. Умножение
602 Г л , 9, П рилож ения конечных полей
р (х) = (х - а) (х - а 2) . . . ( х - а 2" ^ 1)
— минимальный многочлен элемента а над полем F a . Рассмотрим
теперь циклический код С, порожденный многочленом р (х).
Построим матрицу Н размера ш х ( 2т — 1), /-й столбец которой
имеет вид (с0, сх, .... ст _х)т, где ct £ F 3 и
т—1
а>~1 = сга ‘, j — 1, 2, . . ., 2т — 1.
(= 0
П щ ai . . . а?- \
• ■ • • ......................... Л Г»Ч,
\1 k —k ■■• а„_*/
Д о к а з а т е л ь с т в о . Пусть / (х) = /0 + f xx + • • •+ lxn~ i; тогда
/ (««) = /о + /i«i + • ■• + ittf - 1 = 0 для всех 1 < i < п — k,
а это значит, что
(1 , а,-, . .., а"-"1) (/о, /ь • • •, /n-i)T = 0, 1 < i < п — k,
тогда и только тогда, когда Я (/„, f lt .... / п. г)т ^ 0. (
. Напомним (см. § 1), что для исправления ошибки в получен
ном слове у необходимо определить синдром этого слова. В слу
чае циклического кода синдром, который является вектором
длины п — k, часто бывает возможно заменить другим более про
стым объектом. Например, пусть а — примитивный корень н-й
степени из 1 в поле f qtn, и пусть g (х) — порождающий много
член кода — является минимальным многочленом элемента 'i
над полем Fq. В силу того что уделит многочлен / 6 Fg [х]/(хп —-
— 1) тогда и только тогда, когда f (а) — 0, матрицу Я из (9Д1
можно заменить матрицей Я вида
Я = (1 а а2 ... а" -1).
Тогда в роли синдрома выступает вектор S (у) = Я у т , причем
S (у) — у (а), так как у = (у0, у и .... у п_г) можно рассматривать
как многочлен у (х) с коэффициентами y t . Далее, будем обозна
чать через w передаваемое слово, через v — принимаемое слово,
а через w (х) и v (х) — соответствующие многочлены. Предполо
жим, что е</> (х) = х >~1, 1 < / < л, — многочлен ошибок, со
ответствующий единственной ошибке, и пусть v = w + еб’ .
Тогда
v (а) = w (а) ф ед) (а) == еб) (а) = а '-1.
Величина еб> (а) называется л о к а т о р о м о ш и б к и . В этом случае
синдром S (v) = «/-> однозначно определяет ошибку, так как
<?<»> («) ф е (П (а) при 1 <. t, / ■< п и i Ф ф
§ 2. Ц иклические коды 607
Si — 1 а* т а4 1- а 5 -= а 2 -1- а 3.
S3 = 1 г а 9 | а 12 |- а 15 — 1 г а3.
§ 2. Ц иклические коды 609
Н 1 .
a b+d~2 a 2(6+d-2) , a (n -m b+ d-2)
V
243
610 Гл , 9. П рилож ения конечных полей
= П (а 1) - a ‘h) ф 0.
0 0 0 1 0 0 1 1 0 1 0 1 1 1 1
a a2 a 3 a 4 a 5 a« a 7 a 8 a® a 10 a 11 a 32 a 13 a 14).
Этот код можно также рассматривать как Б Ч X - код в узким
смысле над полем рг с конструктивным расстоянием d — 3 (за
метим, что элемент а 2 также является корнем многочлена т {1) (ж)).
Минимальное расстояние этого кода также равно 3, поэтому он
может исправлять одну ошибку. Для того чтобы декодировать
полученный вектор v £ F f , нам надо найти синдром S (о)
— H v r , В данном случае для циклического (15,11)-кода этот iimi -
дром определяется разложением элемента v ( а) в базисе ) 1 , «,
а 2, а 3| . Чтобы получить его, разделим у (ж) на (ж). Пуст.-,
скажем, г; (ж) -- а (ж) т (|> (ж) + г (ж), где deg (г (ж)) < 4; тогда
v (а) — г (а), так что компоненты синдрома равняются коэ}х|)И-
циентам многочлена г (ж).
Например, пусть
v =- 0 1 0 1 10 0 0 10 1 1 10 1,
§ 2. Циклические коды 611
+ e (ad) == e (a/),
S j — v ( a ' ) — w (а>) b < / < ft + d — 2 .
Если имеется r < f ошибок, то
e(x) = U c tx at,
i=i
12*
612 Гл , 9. П рилож ения конечных полей
о т н о с и т е л ь н о н е и з в е с т н ы х ci р а з р е ш и м а , е с л и гр являю т ся р а з
л и ч н ы м и э л е м е н т а м и т F*m-
§ 2. Ц иклические коды 613
53 е ( а 3) ----- v ( а 3) — а 4,
5 4 - ~ е (а4) ^-- v (а4) — 1.
Максимальная невырожденная система линейных уравнений от
носительно неизвестных т; (шаг 2 ) имеет в этом случае вид
iSoTj -f- 5|Т2 <5>з.
S ;)t , 1 S 2t 2 - S 4,
или
т, |- т2 а 4,
a 4Tj -f- щ =- 1.
Очевидно, что матрица этой системы невырожден на. СлеД"Н.ч-
тельно, число встретившихся ошибок должно равняться 2 , т. е
г == 2. Решая эту систему уравнений, получаем т1 — 1, т2 = а .
Подставляя эти значения в s (х) и снятая, что т„ = 1, получаем,
что
s (х) 1 i г I а х 1.
Так как корни этого многочлена лежат в [fie, то г|Г' a 8, рф1
г а® и, следовательно, t), - а 7, р, а 9. Отсюда мы делаем в ы
вод, что ошибки появились в 8 -й и 1 0 -й компонентах переданного
слова. Исправив эти ошибки в полученном многочлене, получаем
ш (х) ^ v (х) е (х) — (1 -)- х:! ф X® х~‘ -\- х12) — (х7 + х9) =
= 1 -\ X3 |- X* I X9 +■ X12.
Соответствующее кодовое слово —
1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 .
Исходную информацию (до кодирования) можно получить с по
мощью деления исправленного многочлена (т. е, переданного
кодового многочлена w (х)) на многочлен g (х). В результате полу
чаем
w (x)lg ( х ) 1 : Xs ! х 4,
§ 3. Конечные геометрии
Этот параграф посвящен применению теории конечных по
лей в геометрии. В известном смысле т е о р и ю кодирования м ожно
также рассматривать и как раздел геометрии, и как раздел ко'1-
бипаторики, так как в ней изучаются вопросы упаковки шаров
в метрическом пространстве конечной мощности, как прав'.ло,
в конечномерном векторном пространстве над полем f q .
Проективная плоскость состоит из множества точек и множеств
§ 3, Конечные геометрии 617
Р и с 9.2.
« 0 1 *0 + « 11 *1 + « 2 1 *2 = 0 ,
(9.7)
« 0 2 * 0 "~Н « 1 2 * 1 “Ь « 2 2 * 2 ~ 0'
ёа (*) = 2
с € Fq
ёа (С) (1 - (х - с у ~ 1).
\*Й0 ■• • *А т /
имеет ранг ft + 1. Число точек в ft-плоскости равняется (qk+l —
— l)/(q — 1 ); прямая содержит q + 1 точек, а плоскость содержит
q1 + q + 1 точек. Нетрудно проверить, что PG (т , Fg) удовлетво
ряет всем пяти аксиомам т-пространства.
Мы знаем, что в поле F^m+i любую степень первообразного
элемента а можно представить в виде многочлена от а степени
не выше т с коэффициентами из поля Fg. Если
а 1= атат + ------М 0>
м ы можем рассматривать ос1 как точку пространства PG (т , Fg)
с координатами (а„, ..., ат). Две степени а 1 и а ' задают одну и
ту же точку тогда и только тогда, когда для некоторого а £ FJ
выполняется равенство ос1' = асе', т. е. тогда и только тогда, когда
i = /(m od (qm+l — 1 )l(q — 1 )).
ft-плоскость S, содержащая ft + 1 линейно независимых точек,
которые соответствуют степеням ос‘<>, ..., ос‘\ содержит все точки,
* ,
которые можно представить в виде 2 j ага Т> где элементы ат
г —О
принадлежат f q и не все одновременно равны 0. Если положить
v = (qm+1 _ 1 )% -— 1 ), то для каждого значения h = 0 , 1 , ...
к
•••> у — 1 точки вида 2 ara ir^ h (где аГ £ Гу и не все атодновре-
г=о
630 Гл. 9. Приложения конечных полей
§ 4. Приложения к комбинаторике
В этом параграфе мы опишем некоторые примеры использо
вания конечных полей в комбинаторике.
Имеется тесная связь между конечными геометриями и так
н азы ваем ы м и схемами 1). Схемы, которые мы собираемся рас-
1) В комбинаторной литературе термин design обычно переводят как «блок-
схема», но мы будем употреблять последний термин в качестве краткого синонима
Уравновешенной неполной блок-схемы, тем более что это не приводит к недора
зумениям, — П р и м , п е р е в .
632 Гл. 9. Приложения конечных полей
Я г —Я 0 0
Я 0 0 г —Я
{0, 1, 4}, (1, 2, 5}, |2, 4, 10}, {4, 5, 8 }, {5, 10, 0}, {10, 8 , 1|,
{8 , 0 , 2 }. _ □
Примеры разностных множеств можно строить на основе ко
нечных проективных геометрий. Отождествим, как и в рассужде
нии, предшествующем примеру 9.71, точки проективной геоме
трии PG (т, F?) со степенями элемента а, где а является при
митивным элементом поля F9 m+i, причем показатели степени эле
мента а берутся по модулю v = (qm+l — 1)/(q — 1). Пусть S -
произвольная гиперплоскость в PG (т, F9). Тогда S имеет цикл v.
и, таким образом, все гиперплоскости S h = a hS, А = 0, 1.
v — 1, являются различными. А так как число всех гиперплос
костей этого пространства равно у, то ими исчерпываются все ги
перплоскости пространства PG (т, р?). Таким образом, приводи
мый ниже список является полным списком всех гиперплоскостей
проективного пространства PG (т, F?) (в нем точки, лежащие на
соответствующей гиперплоскости, задаются соответствующим по
казателем степени элемента а):
s tt: d% da ■* dk
5,: d i ~ f-1 <4 + 1 ■■ <4 -f- 1
a ha q -\ i.«1 « f t« 9 _ l -f- « 9 - 1
откуда
«ft ( « J - 1 « g -l) ~ «Л- l « ,/ - X» «m (« i-1 « g -l) = « Л -1 Q j- 1 '
§ 4. Приложения к комбинаторике 639
4 0 1 2 3 2 3 4 0 1
2 3 4 0 1 1 2 3 4 0
Мп-1 M n -i + Ьх . M n -i + M i
640 Гл. 9. Приложения конечных полей
—
Сумматор U2(t)---
yi(t!=u,(t)+uz(th----bur(t)
u'r(t) —
Рнс. 9.5.
Опишем теперь, как можно получить схеру переключатель
ной сети, моделирующей работу данной ЛМС (см. рис. 9.6).
—7*---------------------------------------------------
( 0 2 0 0\
1 0 2 11
0 1 1 0 ’
2 0 1 1 /
/0 0 2 1\
\0 2 0 0 /’
Тогда схема, реализующая данную ЛМС, изображена на рис. 9.7. rj
Рис. 9.7.
§ 5. Линейные модулярные системы 647
где пара (nit tt) означает, что число циклов длины tt равно nt
2 называется цикловой суммой системы Ж (или матрицы А
а пара (ft;, tt) называется ее цикловым членом. Предполагаете;
что цикловые члены перестановочны относительно операции 4
и при этом (п , t ) 4- (и , t) = (п' + п ”, t).
Пусть матрица А имеет вид
0 0 0 . . . 1 —«к-
В этом случае многочлен g (х) является и характеристическим
и минимальным многочленом матрицы М (g (х)).
Пусть М — квадратная матрица над полем Fg. a gx (х), .
.... gw (х) — ее нормированные элементарные делители. Тогда про
изведение g x (х) ... gw (х) равняется характеристическому много
члену матрицы М, и матрица М подобна матрице
/ М ( ё1(х)) 0 . . . О \
[ О М (gt (х)) . . . О \
О 0 . . . М (gw (х))
/(х) = П pj(x)'i,
/=1
652 Гл. 9. Приложения конечных полей
В этом случае
,Ci (•'’* Л’:1 ’ -v" ’ -v ' 1 (х ■ I)3, /, (л-) .V • 1,
тi = 3,
до (.v) .v' • .v • 1, (л) л- • л- - 1, т 2 = 1.
Выполнив шаги С2 и СЗ, получаем = 1, = 2, t'3u = 4,
— 3. Тогда по теореме 9.96
S i - (1, 1) + (1, 1) + (1, 2) + (1, 4) =
= (2, 1) + (1, 2) + (1, 4),
2 , = (1, 1) + (1, 3)
и, следовательно,
2 = 2 ,2 ., = [(2, 1) + (1, 2) + (1, 4)1 [(1, 1) + (1, 3)] =
- (2, 1) + (1, 2) 4 (2, 3) 4 (1, 4) 4 (1/6) + (1, 12).
- - -
Комментарии
§ 1. Теорема Шеннона, о которой говорится во введении к на
стоящей главе, была получена в работе Shannon [1] (см. также
Shannon, Weaver И 1). Эта работа знаменует начало теории ин
формации как математической дисциплины. Доказательства этой
теоремы Шеннона, а также обоснования теории информации
654 Гл. 9, Приложения конечных полей
можно найти в книгах Abramson [2], Ash II], Guia$u [1] (в по
следней приводится подробная библиография по теории инфор
мации), а также в монографиях МсЕНесе [6 ] и Wolfowitz Ц ].
Теория кодирования с точки зрения информации изучается в ра
ботах Balakrishnan [1], Gallager [1], Ingels [ 1 ], Lucky, Salz,
Weldon [1], McEliece [6], Slepian 14].
Первый нетривиальный пример кода, исправляющего ошибки,
над конечным полем появляется в фундаментальной работе Шен
нона (Shannon [1]). Этот код называется теперь (7, 4)-кодим
Хэмминга, и его построение приписывается Хэммингу (см. Ham
ming [1 ]). Ранее в работе Friedman, Mendelsohn [1 ] изучались
коды длины 5 с минимальным расстоянием не меньше чем 2 над
алфавитом из 26 букв. Важный вклад в основание общей теории
линейных кодов был сделан в работах Golay [1 ], Hamming 11 ],
Muller [1], Reed [1 ], Slepian 11], [2], 13]. По поводу краткой
истории алгебраической теории кодирования мы отсылаем чита
теля к превосходному сборнику статей под редакцией Блейка
Blake |1 ].
Детальное изучение алгебраической теории кодирования можно
найти в книгах Berlekamp [4], Blake, Mullin [1], Duske, Jflrgen-
sen [1 ], Lin [2 ], MacWilliams, Sloane [2 ] (последняя книга снаб
жена обширной библиографией), а также в книгах МсЕНесе !б],
Peterson, Weldon [1], van Lint 11], von Ammon, Trondle [1 ]
и Удалов, Супруи [1 ]. Некоторые книги по прикладной алгебре
также содержат материал по алгебраической теории кодирова
ния, см., например, книги Birkhoff, Bartee [1 ], Dornhoff, Hohn
11 ], Lidl, Pilz [1], Lidl, Wiesenbauer [1 ]. Обзорами по теории
кодирования являются работы Berlekamp [8], Kautz, Levitt II I,
Sloane [1 ] и Добрушии 11 ]. Книги, вышедшие под редакцией
Берлекэмпа (Berlekamp [9 ]) и Манна (Mann [5]), представляют
собой интересные сборники работ по теории кодирования.
Коды Хемминга были введены в работах Golay [1 ] и Ham
ming II ]. По поводу различных границ для кодов см. работы
Hamming 11 ] (граница Хэмминга), Plotkin 11 ] (граница Плот-
кина), Singleton [1 J (граница Синглетона) (см. упр. 9.5), Gil
bert 11], Варшамов 11 ] (граница Гилберта—Варшамова). Тео
рема 9.32 была получена в работе MacWilliams П ]. Приведенное
нами доказательство этой теоремы заимствовано у ван Лиита
(van Lint [1 ]). Другие доказательства этой теоремы можно найти
в книгах Berlekamp [4, ch. 16], McEliece [6, ch. 7], а также
Chang, Wolf [1 ]. Аналог этого результата для нелинейных ко
дов приводится в работе MacWilliams, Sloane, Goethals [1 1.
Равенство из упр. 9.19 получено в работе Pless [1 ].
Широко изучались совершенные коды (см. упр. 9.8 и 9.9).
Помимо двух совершенных линейных кодов, приводимых в этих
Комментарии 655
был введен в работе Kasami, Lin, Peterson [11 (см. также Del-
sarte Р. [2], Gore, Cooper [1], Peterson, Weldon [1, ch. 10]).
Информацию о распределении весов в циклических кодах
можно найти в работах Baumert, McEliece [1 ], Berlekamp [4,
ch. 16]. Chen С. L. [1], Delsarte, Goethals [1], Hartmann, Riek,
Longobardi [1], Hartmann, Tzeng, Chien [11, Helleseth, Kl0ve,
Mykkeltveit [1], MacWilliams, Seery [1], MacWilliams, Sloane
|2, ch. 8], Peterson, Weldon [1, appendix D ], Подход к задаче
распределения весов, основанный на использовании гауссовых
сумм (см. Baumert, McEliece [1], McEliece [5], McEliece, Rum-
Леу 11 I) приводит к получению общего неравенства для весов ко
довых слов в циклических кодах (Niederreiter [8]).
§ 3. Наиболее исчерпывающий обзор по проективным гео
метриям над конечными полями приводится в работе Hirschfeld
15). Конечные проективные плоскости рассматриваются также
во многих книгах по проективной геометрии, таких, как напри
мер. Baer [1], Blumenthal [11, Horadam [1], Hughes, Piper [1 ],
Pickert 11 ], Segre [61, Veblen, Young [1 1. Г1о вопросам конечных
геометрий особенно рекомендуем Albert, Sandler [1), Berman,
Fryer 11], Carmichael [4, ch. 11], Dembowski [2], Hall 16],
18], Karteszi 11], Segre 12], Vajda 11], van Lint 12].
Плоскость Фано из примера 9.55 впервые появляется в ра
боте Fano [1 ]. Отсутствие проективных плоскостей 6-го порядка
вытекает из работы Tarry [1 ]. В работе Bruck, Ryser [1 ] доказан
более общий результат, а именно если т а 1 ,2 (mod 4), то ко
нечная проективная плоскость порядка т может существовать
только в том случае, если т можно представить в виде суммы ква
дратов двух целых чисел (см. также книгу Hall 18, ch. 12]).
Теорема 9.60 была получена в работе Veblen, Bussey [1 ]. Свой
ства коник и овалов более детально изучаются в книге Hirschfeld
15, ch. 7, 8 J; тем же можно найти доказательство теоремы 9.65 (i).
Теорема 9.67 и следствия из нее были получены в работах Segre
U 1. [8] (см. также Hirschfeld [3]). Связь с перестановочными
многочленами исследуется в работе Hirschleld [2].
Для введения координат в конечной дезарговой плоскости
был использован один метод из работы Гильберта Hilbert 13].
Тех, кто интересуется задачей введения системы координат в про
ективной плоскости, отсылаем к работам Albert, Sandler [1],
Hall 16], [8], где вводится понятие тернарного кольца. Специаль
ный класс тернарных колец представляют системы Веблена—
Веддербёрна. Если умножение в системе Веблена—Веддербёрна
ассоциативно, то такая система называется почти-полём (near
field). Каждое конечное поле является почти-полем; все конеч
ные почти-поля описаны в работе Zassenhaus [1]. Более подроб
ную информацию о почти-полях можно найти в работе Pilz [11.
Система Веблена—Веддербёрна, в которой выполняются оба за-
15 Зак. 243
658 Гл. 9. Приложения конечных полей
U ВЦС) = Г".
с £С
662 Гл, 9. Приложения конечных полей
/I 1 10\ /1 0 1 1\
G1 = [0 1 11 I н Оа = I0 11 11
\0 0 1 1/ \1 0 0 1/ .
являются эквивалентными.
9.12. Пусть С — линейный (п , £)-код. Д о казать, что размерность С 1 равна
п — k.
9.13. Д оказать, что для любого линейного кода С выполняется соотношение
(С 1 ) 1- = С.
9.14. Д оказать, что для любых линейных кодов C j и С г иад полем Fq ,
имеющих одинаковую длину, справедливо соотношение (С ( + С д )1 = С,1 P C f .
9.15. Пусть С — бинарный (п , 1)-код с повторением. Д о к азать, что код С~
является ( п , п — 1)-кодом с проверкой на четность.
9.16. Найти порождающую матрицу и все кодовые слова (7,3)-кода, д у ал ь
ного к бинарному коду Хэмминга С3.
9.17. Определить дуальный код С 1 для кода, определенного в упр. 9.1.
Получить таблицу смежных классов пространства F | по модулю С х , найти лиде
ров смежных классов и соответствующие синдромы. Если полученное слово
имеет вид у = 01001, то какой вид долж но, по всей вероятности, было иметь
переданное сообщение?
9.18. П рименяя теорему 9.32 к бинарному линейному коду С = {000, 011,
101, ПО), найти его дуальный код и нумераторы весов, а такж е проверить то
ждество Мак-Вильямс.
9.19. П усть С — бинарный линейный ( n , k )-код с нумератором весов
А (х , у ) = A i X 1!/1- 1,
1=0
и пусть
п
А 1 (х , у ) = 2 A j- X ly n~ l
1=0
где
5 <'■ =т г £ 0 ) ''
/=о
— числа Стирлинга второго рода, а биномиальный коэффициент полагается
равным 0 ддя h > т и Л < 0, Выписать в явном виде полученные тождества для
г = О, I, 2.
9.20. Пусть п = (q m — 1) l ( q — 1), а 0 —• примитивный корень п -й степени
из единицы в поле F ?m, m > 2. Д оказать, что нуль-пространство матрицы
// = (1 Р р2 ... Р"-1)
является кодом над полем f g с минимальным расстоянием d > 3 тогда и только
тогда, когда Н О Д ( т , д — 1) = 1.
9.21. П усть а — примитивный элемент поля F# с минимальным многочле
ном х2 — х — I над полем FV Н айти порождающий многочлен БЧ Х -кода иад
полем F 3 длины 8 и размерности 4. О пределить минимальное расстояние этого
кода.
9.22. Н айти порождающий многочлен БЧ Х -кода над полем Fa размерно
сти 12 с конструктивным расстоянием 5.
9.23. Определить размерность Б Ч Х -кода над полем F 3, исправляющего
5 ошибок и имеющего длину 80.
9.24. И спрльзуя примитивный элемент а £ F le с минимальным многочле
ном а 4 = а 3 - f 1, найти порождающий многочлен бинарного Б Ч Х -кода длины 15,
исправляющего 3 ошибки.
9.25. Найти порождающий многочлен g (х ) для бинарного (3 1 ,3 1 —
— deg g (х))-БЧХ -кода с конструктивным расстоянием d = 9.
9.26. П усть т и / — натуральные числа. П оказать, что существует бинар
ный Б Ч Х -код длины 2т — 1, который исправляет все комбинации по t или менее
ошибок, используя при этом не более чем m t контрольных символов.
9.27. Описать (15, 13)-код Рида — Соломона над полем F 16, определив его
порождающий многочлен и число ошибок, которое этот код может исправлять.
9.28. Д оказать, что минимальное расстояние кода Рида — Соломона с по
рождающим многочленом
4—1
, g (*)= П (х — «О
i=i
равно d.
9.29. Определить, является ли БЧ Х -кодом код, дуальный произвольному
БЧХ-коду. Аналогично является ли кодом Рида — Соломона код, дуальный
произвольному коду Рида — Соломона?
9.30. В примере 9.43 найти локаторы ошибок, зн ая, что синдром получен
ного вектора равен (10010110)т . Н айти порождающую матрицу этого кода.
9.31. П усть бинарный Б Ч Х -код, исправляющий 2 ошибки, имеет длину 31
и задается корнем а многочлена Xs - f х2 + 1 над полем Гзг- П усть синдром полу
ченного слова имеет вид (1110011101)т . Найти многочлен ошибок.
9.32. П усть а — примитивный элемент поля Р ц , а4 = сь + 1, и пусть
g (х) = х10 + х8 + хъ + х1 + х2 + х + 1 — порождающий многочлен бинарного
(15,5)-БЧХ-кода. П усть получено слово v = 000101100100011. Определить пере
данное кодовое слово и сообщение, которое было закодировано.
9.33. Код С называется реверсивны м , если из того, что (% , а1г .... а г, _3) £ С ,
следует, что и (а п_ ,....... а ,, а„) £ С .
664 Гл. 9, Приложения конечных полей
Комментарии
Wisniewski [1], Golomb [4, ch. 5], Golomb, Welch, Hales 11],
Zierler [7] и Zierler, B rillhart [1], [2].
Таблица D взята из работы Watson E. J. [ 1J, а табл. E н F —
из работы Alanen, Knuth [2]. Небольшую таблицу примитивных
многочленов над конечными простыми полями f p, где р .< 11,
можно также найти в монографии Dickson [7, part I, ch. 3].
В статьях Bussey [1], [2] приводится по одному примитивному
многочлену степени п над Fp для каждого п „> 2 и р, таких, что
рп < 1000 (см. также Albert [3, appendix Ш ) и Heuze [1]. В ра
боте Alanen, Knuth [1] приводится по одному примитивному
многочлену степени п над полем Fp для следующих значений р
и п: II р ■ 17, 3 ■< я < 5. В работе Sugimoto [1] приводится
таблица примитивных многочленов над полем Fp для 3 < р <
< 4 7 . Грин и Тэйлор (Green, Taylor [2]) рассматривали непро
стые конечные поля и привели по одному примитивному много
члену для каждого из следующих случаев: п < 11 для р4, п < 7
для F8 и Fe и л < 5 для F1(S. В статье Beard, West [1] приводится
таблица примитивных многочленов специального вида. Таблица D
была расширена в статье Stahnke [1], где приведено по одному
примитивному многочлену над полем F2 для каждого значения
п < 168. Примитивные трехчлены над нолем F2 можно найти
в работах Rodemich, Rumsey [1], Zierler [6] и Zierler, Brill-
hart [1], [2],
Ллойд в работе Lloyd [1] привел таблицу канонического
разложения на множители для всех многочленов над полем Fa
степени п < 4 и над полем F3 степени п -< 3. Эта таблица была рас
ширена в работе Lloyd [2], где были представлены все многочлены
над полем Fp, р = 2, 3, 5, 7, степеней не больше, чем 11, 11, 8, 6
соответственно, а также в работе Lloyd, Remmers [1]. Таблицы
разложения на множители двучленов вида х п — 1 можно найти
в работах Beard, West [2] и МсЕНесе [3]. Таблицы разложения
на множители трехчленов можно найти в работах Beard, West [3],
Golomb [4, ch. 5] Golomb, Welch, Hales 111, Mortimer, Wil
liams [1] и Zierler [7],
ТАБЛИЦА А