Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

конспект лекции__1

.3.pdf
Скачиваний:
10
Добавлен:
15.03.2015
Размер:
26.6 Mб
Скачать

 

г)Понятиеконечныхполях

 

 

 

 

 

 

 

 

Полемназываютмножествоэлементов, котопрдвеомеделеныопер

 

 

 

ации.Однанихз

 

называетсясложениемобозначается

a+b, адругая

– умножениемобознача

ется a b, дажееслиэт

 

операциинеявляютсяобычн

ымиопер

ациямисложенумножениячисел.Длятогочтмножествобы

 

 

 

элементов,накоторомзаданыоперациисложенияумнож

 

 

ения,былополем,необходимо

 

, чтобыпо

 

каждойизэтихоперацийвыполнялисьвсегру

пповыеаксиом

ы,атакжевыпо

лнялсядистрибутивный

 

закон,т.

е.длятрехлюбыхэлементовполя

а, b,

с былиспр

аведливыравенства

 

а (b+с)=аb+ас

и

(b+с)а=bа+са.

 

 

 

 

 

 

 

 

 

Кртпо, каждойгомеопегруппации

адолжнабытькоммутативной,.

е.должновыполняться

,

а+b=b+a и аb=bа.Следуетзаметить,чтогрупп

овыесвойствапооперумножениясправедливыциидля

 

 

 

всненулевыхэл

ементовполя.

 

 

 

 

 

 

 

Полясконечнымчислоэлементов

q назывполямиГаименилуаютпервогох

 

 

 

исследователяЭваристаГалуаобозн

 

 

ачают GF(q).

 

 

 

 

 

Числоэлементо

вполя q называют

порядкомполя

.Конечныеполяиспольз

уютсядлпостроения

 

большинстваизвестныхкоихдекодов

 

 

ирования.

 

 

 

 

 

 

Взависимостиотзначения

q различают простые или расширенные поля.

Поленазывают

 

про,еслитым

q – простоечис.Добозначениял пр

 

остыхч

иселбудемиспользсимволвать

 

p.

 

 

Простоеп лебразуютчислапомодулю

p: 0, 1, 2,…, p–1,а операциисложенияумножения

 

выполняютсямодулю

p.

 

 

 

 

 

 

 

Наименьшеечислоэлементов,образующихполе,равноТак2.поледолжносодержать2

 

 

 

 

 

 

единичныхэлемент

а: 0 отноперациисительносложения

 

1 относительнооперацииумножения.Это

 

 

поле GF(2), илидвоичное.

 

 

 

 

 

 

108

Правсложенияумножла

енийдляэлементов

 

 

GF(2) задтаютсяблицами:

 

 

 

табсложенияица: т умножблица

 

 

 

 

 

ения:

 

 

+

 

0

1

 

 

·

 

0

1

 

 

 

 

 

 

0

 

0

1

0

 

0

0

 

 

1

 

1

0

1

 

0

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

GF(3) – троичноепосэлементами0, 1, 2

 

 

 

. Длянеготаблица

 

сложенияумножения

имеют

вид.

 

 

 

 

 

 

 

 

 

 

 

 

+

 

1

2

 

·

 

0

1

2

 

 

0

 

 

 

0

0

1

2

0

 

0

0

0

 

 

1

1

2

0

1

 

0

1

2

 

 

2

2

0

1

2

 

0

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Формитаблицпропривизводитсявание

 

едениемрезультатасложеилиумнчожения

исел,

записвоглавестрокилинныхстолбцов,помодулю

 

 

p, т. е.вкачрествезультоппринимаетсяцта

 

остатокотделенияпол

ученчисланого

p.

 

Анализируясоставтаблиц,легкоубедиться,что

 

0 и 1 какединич ныеэлеме

нтыпооперации

сложеиумнизменяютожениязначендругэл иях

 

 

ементполяс ответствующейоперации.

 

Крто,вигоме,чтодлянока

 

ждогоэлементапооперациислождляненэлементовияулевыхпо

 

операцииумноженияимеютс

 

братные.

 

 

109

Ниже приведеныправсложенияумноженияладляэл

 

 

 

 

 

 

 

 

ементов GF(4) припопостроитьытке

этопизчиселле0,

1, 2, 3 попредыдущейконстру

 

 

 

кции.

 

 

 

 

 

 

 

табсложения:ицатаблицаумножения:

 

 

 

 

 

 

 

 

 

 

 

+

 

1

2

3

·

 

0

1

2

3

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

1

2

3

0

 

0

0

0

0

 

 

1

1

2

3

0

1

 

0

1

2

3

 

 

2

2

3

0

1

2

 

0

2

0

2

 

 

3

3

0

1

2

3

 

0

3

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Изанализатаблиц

ви,чтодляноэлементапо2оперумнции

 

 

 

 

 

 

оженияотсутствуетобратный,

т. е.наборчисел0,неявляетсяполем1, 2,приввед3опернии

 

 

 

 

 

 

 

 

 

ациипо

 

модулю 4. Такойрезультат

объяснимтем,что

4 неявл

яетсяпростымчис.Длялям

 

 

 

 

 

GF(5)сэлементами

 

0, 1, 2, З, 4 правила

сложенияумн

оженияимеютвид

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

табсложения:ица

 

 

 

таблицаумножения:

 

 

 

 

 

 

 

 

·

 

 

 

 

 

 

 

 

+

0 1 2 3 4

0

1

2

3

4

 

 

 

0

0

1

2

3

4

0

0

0

0

0

0

 

 

 

1

1

2

3

4

0

1

0

1

2

3

4

 

 

 

2

2

3

4

0

1

2

0

2

4

1

3

 

 

 

3

3

4

0

1

2

3

0

3

1

4

2

 

 

 

4

4

0

1

2

3

4

0

4

3

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

110

Изучимвозмпостржнполейэлементамиястьввпоследователде

 

 

 

ьностейчисел.

 

Определимусловия,прикотп рыхследов

 

 

ательностидлины

m сэлементамиизполя

GF(p)

образуютполе.

 

 

 

 

 

 

 

Рассмотримпоследовательностидлины

 

4 сэлементамииз

GF(2). Такиеп

оследовательности

можноскладыватькаквекторы,инулевымэл

 

ементомпооперациисложенияявляетс

 

 

 

я 0000. Для

заданияоперацииумнс пожения

ставимкаждойпоследовательностимног

 

очленот

α:

 

 

 

 

 

 

 

 

Последовательность

Многочлен

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 0 0 0

 

0

 

 

 

 

 

 

1 0 0 0

 

1

 

 

 

 

 

 

0 1 0 0

 

Α

 

 

 

 

 

 

1 1 0 0

 

1+α

 

 

 

 

 

 

0 0 1 0

 

α2

 

 

 

 

 

 

1 0 1 0

 

1+α2

 

 

 

 

 

 

0 0 0 1

 

α3

 

 

 

 

 

 

 

 

 

 

 

 

 

1 1 1 1

 

1+α+α23

 

 

 

 

 

 

 

 

 

 

 

Умножениетакихмногочле

новможетдас ,епеньбольшую

, чем 3,

т. е.п оследовательность,

непринадлежащуюрассматриваемому

 

ожеству.

 

 

Например,

(1101)·(1001)(1+α+α3)·(1+α3)=1+α+α46.Длятогочтсвбы

естиответк

многочленустепенинеболее

 

3, положим,что

α удовлетворяетуравн

ениюстепени

4, например:

Π( α)=1+α+α4=0,

или

α4=1+α.

Тогда

α5=α+α2,α 6=α2+ α3; 1+α+α 4+α6=1+α+1+α+α2+α3=α2+α3.

111

 

Этоэквивалентноделенам огочлению

 

 

1+α+α4 инахождению

статкаотделения:

 

 

 

 

 

 

α64+α+1

 

α4+α+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ α632

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α2+1

 

 

 

 

 

 

 

 

 

α+1

 

 

 

 

 

 

 

 

 

 

 

α432+

 

 

 

 

 

 

 

 

 

 

+ α4+α+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α32–остаток

 

 

 

 

 

 

 

 

Такобразомим, естоаналетприформгияполяизчрованиипсел

 

 

 

 

 

 

оследовательностей

чиселмногочленов( )Этааналогия. распр

 

 

остраняетсяинато,чтодлябратимостивведеннойоперации

 

 

 

 

умножениячтобы( систэлемввидепослеентова

 

 

 

довательностейдлины

m илимногочленовстепени

 

 

меньшей m,образовывалаполе)многочлен

 

 

Π( α)

долженбытьеприводимнадполемсвоих

 

 

 

коэффициентов.

 

 

 

 

 

 

 

 

 

 

 

 

 

П,образовлемногочапонноедленами

 

 

 

 

GF(р) помодулюнепривод

имогомногочлена

 

степени

m, называетсярасши

рениемполястепени

 

 

m над GF(p)илирасширеннымполем.Оно

 

 

содержит pm элементовиобознач

ается GF(pm).

 

 

 

 

 

 

 

 

 

 

П,образованншестнадцатьюледвоичнымип сле линыовательностями

 

 

 

 

 

 

 

4,

или

многочлестепениами

3 именеескоэффициентамииз

 

 

 

GF(2) помод

улюмногочлен

а α4+α+

1 ,

неприводимогонад

GF(2),являетсяпримеромра

 

сширенногополя

GF(24),

котмобытьроежет

 

 

обозначенотакже

GF(16)

 

 

 

 

 

 

 

 

 

 

 

 

Важнесвоконечныхйствомшимполейявлясл .дующеется

 

 

 

 

 

 

 

 

 

 

 

 

Множевснетвонулевыхэлементовконечногоп лябразуетгруппуоперации

 

 

 

 

 

 

 

умножения,

т.е.мультипликати

внуюгруппупорядка

 

q–1.

 

 

 

 

 

 

 

 

 

Рассовокупностьмотримэлементовмультипликативнойгруппы,образованнуюнекоторымэлементом

 

 

 

 

 

 

 

 

 

 

α

ивсемиегост

епенями α2, α3 ит.д.Таккакгруппаконечна,должно

 

 

 

 

появипов,т. ьсяорение

е. αij.

Умножаяэторавенствона

i)–1 = (α–1)i,получим

1=αj-i.Следовательно,

екотораястепень

 

α равна 1.

 

Наименьшееположитчислольное

e,

такое,что

αe=1, называется порядкомэлемента

α.

Совокупностьэлементов

1, α, α2,…, αe–1 образуетподгруппу,

осколькупроизв

едениелюбыхдвух

 

элеменпринадлежиттосовйокупн

 

ости,аэлемент,обра ный

αj,

равен αej

итожевходит

в эту

совокупность.

 

 

 

 

 

 

 

 

Группа,котсоизстоитрая

 

всехтепенейодногоизееэл

 

ементов,называется

циклической

группой.

 

 

 

 

 

 

 

 

112

 

Израссмсвойстваконтренного

ечныхполейвытекаютдваследсжных

 

твия.

 

 

Первоеизнихутверждает,чтомногочлен

 

 

xq–1–1имеетсво

икорнямивсе

q–1ненулевых

элементовполя

GF(q),т.е.

 

 

 

 

 

 

 

 

 

 

 

 

x q1 1= ( x −α)

 

 

 

 

 

 

 

 

 

 

α GF (q)

 

 

 

 

 

 

 

 

 

 

α≠0

 

 

 

 

 

Вполе GF(q)элемент

α,имеющийпорядок

e=q–1,называется

примитивным.Отсюда следует,

чтолюбойненулевойэлемент

 

 

GF(q)являстептся

еньюпримитивнэлемента.Вторследствиеизого

 

 

 

рассмотренногосвойстваутвержда,чтолюбоконполечноет

 

 

 

GF(q)с одепржитимитивныйэлемент,

 

т. е. мультипликативнаягруппа

GF(q)являетсяциклич

 

еской.

 

 

 

 

Втабл..

6.представлены1 различнымисп

особамиэлементы

GF(24).

 

 

 

 

 

Таблица6

.1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Последовательностьдлины

Многочлен

 

 

Степень

 

 

Логарифм

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

2

 

 

3

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

0000

 

 

0

 

 

0

 

 

 

–∞

 

 

 

 

 

 

 

 

 

 

 

 

 

1000

 

 

1

 

 

1

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

0100

 

 

Α

 

 

α

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

0010

 

 

α2

 

 

α2

 

 

 

2

 

0001

 

 

Α3

 

 

α3

 

 

 

3

 

1100

 

 

1+α

 

 

α4

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

0110

 

 

α+α2

 

 

α5

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

0011

 

 

Α23

 

 

α6

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

1101

 

 

1+α+α3

 

 

α7

 

 

 

7

 

 

 

 

 

 

 

 

 

 

 

 

 

1010

 

 

1+α2

 

 

α8

 

 

 

8

 

 

 

 

 

 

 

 

 

 

 

 

 

0101

 

 

α+α3

 

 

α9

 

 

 

9

 

1110

 

 

1+α+α2

 

 

α10

 

 

10

 

0111

 

 

α +α 2+α 3

 

 

α11

 

 

11

 

1111

 

 

1+α+α2+α3

 

 

α12

 

 

12

 

1011

 

 

1+α2+α3

 

 

α13

 

 

13

 

1001

 

 

1+α3

 

 

α14

 

 

14

113

Поле GF(24), представленное в табл. 6

.1, построеномодулю

α4+α+1 .Примитивныйэлементполя

α

являетсякорнемэтогомн. гочлена

 

 

 

 

 

 

 

Многочлен,корнемкоторогоявляетсяпримитивныйэлементполя,называется

 

 

 

итивным

многочленом. Есливкачестве

Π( α) выбратьпримитивныйнеприв

 

одимыймногочленстепени

m над

полем GF(2), тополучимполе

GF(2m) из всех 2m двоичныхпоследовательностейдлины

m.

Вышебылопоказано,что

 

GF(4) нельзяпредввидеставитьовокупностич

 

 

исел 0, 1, 2, 3.

Построимегокакрасширенноеполемод

 

 

улюмногочлена

Π(α)α=

2+1 .

 

Втабл. 6

.элементы2 этогополяпредставленыразличнымисп

 

особами.Здесьпринято,что

примитивныйэлемент

α являетсякорнем

Π( α), т.е . α2+α+1=0.

 

 

 

Таблица6

.2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Последовательность длины2

 

Многочлен

 

Степень

 

Логарифм

 

 

 

 

 

 

 

 

 

00

 

 

0

 

0

 

 

–∞

 

 

 

 

 

 

 

 

 

10

 

 

1

 

1

 

 

0

 

 

 

 

 

 

 

 

 

01

 

 

α

 

α

 

 

1

 

 

 

 

 

 

 

 

 

11

 

 

1+α

 

α2

 

 

2

Правсложенияумноженила

 

явэтомполеприведнижены

 

.

 

 

таблицаумноженумножениятаблица

+

0

1

α

α2

·

0 1

α

α2

 

 

 

 

 

 

 

 

 

 

 

0

0

1

α

α2

0

0

0

0

0

1

1

0

α2 α

1

0

1

α

α2

α

α

α2

0

1

 

α

0

α

α2

1

α2

α2 α

1

0

 

α2

0

α2

1

α

 

 

 

 

 

 

 

 

 

 

 

114

Формирпервстроки,первогованиейстолбцадиагонал

 

 

 

ьныхэлементовтабс оженияицы,а

 

 

 

 

такжедвухпервыхстрокидвухпервыхстолбцовта

 

 

блицыумнвыожениязатрудненияывает.

 

 

 

 

 

Пояснимформ

ированиедругихэлементов:

 

 

 

 

 

 

 

 

 

 

 

1+α=α2, 1+α2=α, α+α2=1;

 

 

 

 

 

 

 

 

α·α2=α3= α(1+α)=α+α2=1

 

 

 

 

 

наосновесоотношениядляпримитивногоэл

 

емента α2+α+1=0.

 

 

 

 

 

6.2Опреде. циклическогокодаение

 

 

 

 

 

 

 

 

 

 

Средимногообразиягрупповыхкосдместозанимаютбоецикл

 

 

 

 

ические(

n,k)

 

- коды.

Циклическиеодытличаютсяпрост

 

отойреализации,возмпожностьюстроениякодалюбойдлины

 

 

 

 

 

 

 

известнымикоррект

ру

ющимисвойствами,раци отношениемнальныммеждуизбыточностью

 

 

 

 

 

 

 

корректирующейспособнв(этомотношенииблизкистьюграницеХэмми

 

 

 

 

нга).

 

 

 

 

ОпределениеЦиклическим1. кодо

мназывают , групповой(

n, k) – к,обладающийследующим

 

 

 

свойством:длюбойякодкомбинвой

 

 

ации

V = (a0 , a1 ,

..., an1 )

эткодаго

 

комбинацияV ' = (an1 , a0 , a1 ,

..., an2 ) , полученнаяциклическимсдвигомэлементов

 

 

V

наединицу

впр,тавокже

принадлежитэтко. му

 

 

 

 

 

 

 

 

 

Описанциклосновываетсяидовческихнапредставлениикод мбвыхвиденаций

 

 

 

 

 

 

 

 

многочленовотоднойнеизвестнойкоэффициенвидедвоичныхэлем0т1,.е.амиэлементов

 

 

 

 

 

 

 

 

 

поля GF(2). Используятакоепредставление,можно

 

атьследующее,эквивалентноеприведенному

 

 

 

 

выше,опредецикличение

ескогокода.

 

 

 

 

 

 

 

 

ОпределениеЦиклическим2. (

n, k) – кодомназываетсякод,множествокод мбинацийвых

 

 

 

 

 

которогопредставляесовокупномногстепчлтьюяенови

 

 

n-1именее,делящихсянанекото

 

 

 

рый

многочлен g(x)степени(

n-k)я, вляющийсясомножителемдвучлена

 

 

x n + 1.

 

 

 

 

 

Доказательствоэквивалентностиэтихдвухопределенийосновыва

 

 

 

 

ющеесянапредставлении

 

циклическодакакидеакольцаклаоговычссов

 

 

етовмногпомодулюдвучленов

члена

x

n

.(см.

 

 

 

 

 

 

 

 

 

 

+ 1

свойстваи3кольца4).

 

Групповаяструктурациклич

ескихопределяетсядовтем,что,в

 

 

 

-первых,

операциясложениямногочл

еновсовпадаетоперациейсложениявекторов,во

 

 

 

-вторых,совокупность

многочле,делящихсянанекоов

 

торыймногочлен

g(x),должнабытьзамкн

 

утавотношенииоперац и

 

 

 

сложен,т.к.если, каждоеслагаемыхзяналится

 

 

g(x),тоихсуммаделитсяна

g(x) истепеньсуммы

 

нестаршестепсл ней

 

агаемых,в

-третьих,нулеваякомбинацияпринадцикличежит

 

 

ескомукод,

 

 

т.к. 0

делитбезоснятатка

 

g(x).

 

 

 

 

 

 

 

 

 

Струциктуракодлическнебудетраскрытаполностьюго,еслинеучитывать,чтосвойство

 

 

 

 

 

 

 

 

цикличностиэквивалензаданиюейсумнтвияно

 

 

ожениянадкодовымимбинациямикакнад

 

 

 

 

 

многочленанутостиизамкодомвыхбинац

 

ийпоэтомудействию.Дляобеспечениязамкнутости

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

115

кодовыхкомбинацийпределахмножествамногочленовстепени

 

 

 

n-1именееумнкожениедовых

 

 

комбинацнеобхпроподимомодулюзводитьйдв

 

 

 

учлена x n

+ 1.Изопредсл2 ,ечтоклениядует

 

 

 

циклическодутносятсямулишьмногочленыстепени

 

 

n-1именее,кратныемногочлену

 

g(x).

Струциктуракодлическогоформируврезультатеследующихпостроенийся.Беск

 

 

 

 

онечное

множествомногочленовпроизвольныхстепенейпутемвычислостатковотденаления

 

 

 

 

 

x n

+ 1

(приведенияпомодулю

 

x n + 1)раскладываетсянаконеччислмн,облажестводинаковымающих

 

 

 

 

 

остатком,называ

емыхклассамивычетов.

 

 

 

 

 

 

 

Приэтомкаждыйногстепенионулевойчлендо(

 

 

 

n-1)-ойвключпринадлежиттельно

 

 

свопределеннемуклассувычетиполнегпредставляетмуостью.Классывычетовпритаком

 

 

 

 

 

 

 

разлоиграюттужероль,чтониисмежныеклассывразложениигруппыподгруппе.Вданном

 

 

 

 

 

 

 

случаерольподгруппыиграеткласодержащийвычетов, всемн

 

 

 

 

огочлены,

кратные x n + 1,т.е.

 

0, xn +1,

x(xn +1)

ит.д.Общеечислоклассоввычетовравночислуевозможныхмногочленов

 

 

 

 

 

степени n-1именее,т.. 2

 

n.

 

 

 

 

 

 

 

Разложебескомножестмногочленовиеечнаклассыычетовпо

 

 

 

одулю

x n

+ 1

единсткаждклассвенноычетоднйопределяетсязначмногочленомвлюбым,принадлежащим

 

 

 

 

 

 

даннкласс.Этоотноситсямукпервомуклассувычетов,содержащемуи0

 

 

 

 

x n + 1,котпорый

 

отнкостальнымшениюклассавычетовр ссматри

 

 

ваетсякакединичныйэлемент,..

xn

+ 1 = 0 .

(Аналогичнотому,какприсложениипом прдулю2 ни2=0)Полноемножествоклассовается.

 

 

 

 

 

 

 

вычетоврассматриваетсякакмножествовсехкомбин

 

 

 

ацийдлины

n представляющих.Вкачестве

 

 

кодомбинвых

ацийрассма

триваюттекласвыче,котсясодержатрыемногочленыв,кратные

 

 

 

 

 

g(x),исовокупнвсехмног,краосчленовтныхь

 

 

g(x),какбылопок

 

азановыше,своюочередьобразует

 

 

 

подгруппуидеал()множествавсехкла

 

 

 

ссоввычетовмногпомодулючленов

 

x n + 1.Следовательно,

классывычетовмногсвоюочмогутленовередьбытьразложенынасмежныеклассыподгруппе,

 

 

 

 

 

 

образующейциклическийкод.Таккакпринадлежит0 этойподгруппе,тоотношениюковсем

 

 

 

 

 

 

смежнымклассамразложенияклассов

 

 

 

вычетовпо

дгруппе,образующкод,справедливой

 

 

 

g(x) ϕ(x) = 0 ,где

ϕ(x)

произвольнмногочленкольцаклассовымногчетовйпомодулючленов

 

 

 

 

 

x n + 1. Нетруднопоказать,что

 

 

g(x)долженбытьделителем

x n

+ 1.

 

 

 

Действительно,посколькуопределению

 

g(x) имест,меньшуюпеньт,чем

n,томожно

 

записатьр

езультатделения

x n

+ 1 на g(x) ввидесл раведующего

 

нства

 

 

 

 

 

 

 

 

xn +1 = g(x) q(x) + r(x),где

 

 

 

r(x) - остатокотдел

 

ения,степенькоторогоменьшестепени

 

g(x)q(x) - частноеотделения.

 

 

Учи, тоывая

xn

+ 1 = 0 ,получаем

g(x) q(x) + r(x) = 0,атаккакмыустановиливыше,что

 

 

 

116

g(x) q(x) = 0 ,тои

r(x) = 0,т.е.

g(x) делит x n + 1 безостатка.Значит,

 

g(x) – сомножительдвучлена

x n + 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Многочлен g(x)принятоназыватьпорождилиобрмногочленомазующимц клического

 

 

 

 

 

 

 

 

 

кода.

Сдругойстороны

 

циклический(

n, k) – кодможетбытьзаданчерездвойств

 

 

енный (n, n-k) – код,

порожденныймног

очленом h(x) = (xn

+1) g(x). Таккак

h(x) g(x) = xn +1 = 0, то h(x)

ортогонален

g(x)иназываетсяпроверочныммногочленом.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример6

.3.Дано x7 +1 = (x +1)(x3 + x +1)(x3 + x2 +1).

 

 

 

 

 

 

 

 

Найтивсеци

клические(

n, k) – кодыс

n=7,котмобытьрыегутпостроенынаосноведанн

 

 

 

 

 

 

ого

разлож.Опрвсеомножителиделимния

 

 

 

x7 + 1,которыеибудутявлятьсяпорождающими

 

 

 

 

 

многочленамииско.Вдмыхзможныесомножителив

 

 

 

 

 

x7

+ 1

исоответствующие

мкоды

перечивслетаблиценыдующей.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Сомножитель x7 +1

 

 

 

 

Код

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g1 (x) = x +1

 

 

 

 

 

(7,6)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g2 (x) = x3 + x +1

 

 

 

 

(7,4)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g3 (x) = x3 + x 2 + 1

 

 

 

 

(7,4)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g 4 (x) = (x +1)(x3 + x +1)

 

 

 

(7,3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g5 (x) = (x + 1)( x3 + x2

+ 1)

 

 

 

(7,3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g 6 (x) = (x 3 + x +1)( x 3 + x 2 +1)

 

 

 

(7,1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Каждыйсомножительдвучлена

 

 

x n + 1 можетбытьвыбранкачествепоро

 

 

 

ждающегомногочлена

циклическогокодадлины

 

n.

 

 

 

 

 

 

 

 

 

 

 

 

 

Однаконелюбойсомнпорождаетциклическийжитель(

 

 

 

 

 

 

n, k) – кодстребуемыми

корректирующсвойствам.Методикми

 

 

авыборапорождающ

 

 

егомногдляпостроениячлена

 

циклическогокодазаданнымикоррект

 

 

 

ирующимисвойстванижебудетрассм. отрена

 

 

 

 

 

 

 

6.3Пост. порождающейипроверочнойениематрицциклических

 

 

 

 

 

 

одов.

 

 

 

 

 

 

Любойциклический(

n, k) – кодможетбытьзаданвсоответст

 

 

 

виисо

 

 

 

пределением2,

порождающиммногочленом

 

g(x) илипроверочныммногочл

 

еном h(x).

 

 

 

 

 

 

 

Знаниеэтихмногпозволяетпостроитьчленовпорожда

 

 

 

 

ющуюматрицуп .оверокицу

 

 

 

 

 

Дляциклического(

n, k) – кодасущепростойтвует

 

особнахождения

k линезависимыхйнокодовых

 

комбинаций,образующихпорождающуюматрицу

 

 

 

G( n,k ) .Этотспособвтоитледующем.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

117