CC BY
14
УДК 512 (075.8)
В. А. ЛИПНИЦКИЙ1, Е. В. СЕРЕДА2
СВОЙСТВА в-ОРБИТ ДВОЙНЫХ ОШИБОК И ИХ ИНВАРИАНТОВ В БЧХ-КОДАХ
1Военная академия Республики Беларусь 2Белорусский государственный университет информатики и радиоэлектроники
Цель работы - дальнейшее расширение сферы применения автоморфизмов кодов в методах и алгоритмах коррекции ошибок этими кодами. Эффективность данного подхода продемонстрировала разработанная на рубеже ХХ и XXI веков белорусской школой помехоустойчивого кодирования теория норм синдромов (ТНС). В основе теории лежит группа Г циклических сдвигов координат векторов. Под ее действием векторы-оши-бок разбиваются на непересекающиеся Г-орбиты с четко очерченным спектром синдромов. Это позволило ввести в семействе БЧХ-кодов нормы синдромов, инвариантные относительно действия группы Г. Нормы синдромов явились однозначными характеристиками Г-орбит ошибок любой корректируемой совокупности, а потому стали основой перестановочных норменных методов коррекции ошибок. Перебирая не ошибки, а Г-орбиты ошибок, методы эти действуют на порядок быстрее классических синдромным методов коррекции ошибок, избавлены от громоздкой процедуры решения алгебраических уравнений в полях Галуа, легко реализуемы на ПЛИС.
В работе развивается подобная теория для группы G автоморфизмов БЧХ-кодов, получаемой добавлением к группе Г циклотомической подстановки. Проводится детальное исследование структуры G-орбит ошибок как объединения своих Г-орбит векторов-ошибок; взаимно-однозначного отражения этого строения на структуре спектра норм составляющих Г-орбит. Нормы эти, будучи связанными между собой автоморфизмом Фробениуса в поле Галуа - поле задания БЧХ-кода, составляют полный набор корней единственного неприводимого полинома. Он и является полиномиальным инвариантом своей G-орбиты. Основное внимание в работе сосредоточено на описании свойств и специфики G-орбит двойных ошибок и их полиномиальных инвариантов.
Ключевые слова: БЧХ-коды, теория норм синдромов, автоморфизмы БЧХ-кодов, норма синдрома, синдром, полиномиальные инварианты норм синдромов.
Введение
Белорусская алгебраическая школа в лице академиков Чунихина С. А., Супруненко Д. А., Платонова В. П. и их учеников заняла в последней четверти ХХ века одно из лидирующих мест в математических исследованиях, проводившихся в Советском Союзе. Весом непосредственный вклад этой школы в развитие теории групп, формаций групп, классических и алгебраических групп, ассоциативных колец и алгебр, коммутативных полей и алгебр с делением, алгебраической геометрии. Наработанный потенциал послужил побудительным мотивом для развития различных приложений алгебры, в частности, в помехоустойчивом кодировании.
Систематическое исследование в Республике Беларусь автоморфизмов линейных
циклических кодов в 1996-2003 годах привело к:
• детальному описанию Г-орбит векторов-ошибок в названных кодах относительно группы Г циклических сдвигов координат векторов;
• построению адекватной картины в спектрах синдромов Г-орбит ошибок в реверсивных и БЧХ-кодах;
• разработке норм синдромов как инвариантов Г-орбит ошибок, описанию достаточно стройной системы свойств норм синдромов.
Созданная таким образом на рубеже ХХ и XXI веков теория норм синдромов [1-3] дала норменный метод декодирования ошибок в БЧХ-кодах, а также в реверсивных кодах, действующий на порядок быстрее иных синдромных методов, легко реализуемый на ПЛИС, отлича-
ющийся усеченностью процедуры поиска корректируемой ошибки, конструктивными возможностями расширения спектра корректируемых ошибок [2].
В семействе БЧХ-кодов нечетной длины автоморфизм Фробениуса поля Галуа - поля определения кода - порождает автоморфизмы, называемые циклотомическими подстановками. Они вместе с группой Г образуют некоммутативную группу О автоморфизмов БЧХ-кодов [2-4]. О-орбиты ошибок состоят из специальным образом взаимосвязанных Г-орбит векторов-ошибок [2, 3]. Открытие полиномиальных инвариантов О-орбит ошибок [5] создает хорошие перспективы к декодированию больших спектров ошибок. Продолжая [5], в данной работе исследуются дальнейшие свойства О-орбит ошибок и их полиномиальных инвариантов.
Немного о БЧХ-кодах. В данной работе мы имеем дело с циклическими примитивными двоичными БЧХ-кодами С длиной п = 2т -1, задаваемыми проверочными матрицами вида
Н = [а',а3'' ]Т, 0 < ' < п -1, (1)
где а - корень примитивного неприводимого над X / 2Х полинома степени т, т > 3, [2-4]. Их минимальное расстояние d равно 5 [4], что позволяет данным кодам корректировать одиночные и двойные ошибки.
Пусть инфокоммуникационная система (ИКС), основанная на БЧХ-коде С, приняла сообщение х. Приемное устройство ИКС в обязательном порядке вычисляет синдром оши-
___т
бок £ (х) = Нх . В силу формулы (1) этот синдром имеет следующую структуру:
£(X) = (¿1, ¿2 )Т, где S2 - элементы поля Галуа 0¥(2т) из 2т элементов. Условие d = 5 влечет попарное различие синдромов векторов-ошибок весом 1, 2. Несложно заметить, что у всех этих векторов первая компонента синдрома ¿1 Ф 0.
Неравенство £ (X) Ф 0 свидетельствует о наличии ошибок в принятом сообщении: х = с + ё, где с - истинное передаваемое сообщение, ё - вектор ошибок, который наложился на сообщение в процессе передачи с в канале с шу-
_т — ___
мами. Поскольку Не = 0, то £(х) = £(е) - зависит только от вектора-ошибки ё . Традиционно, координаты вектора ё весом 2 находятся решением системы алгебраических уравнений:
Г х + у = ¿1; [х3 + у3 = ¿2.
Данная система несложно преобразуется к квадратному уравнению. К сожалению, над полями Галуа характеристики 2 не существует эффективных алгоритмов решения алгебраических уравнений, а имеющиеся весьма вязки в реализации (см. [3], п. 9.2; [5], п. 2.9; [6], гл. 5).
Еще в 70-х годах ХХ века эксперты говорили об эффективности применения для коррекции ошибок автоморфизмов кодов. Правда, предполагалось весьма специфическое их применение - для сдвига имеющихся ошибочных разрядов в проверочное поле, где их просто можно отбросить (см. [4], п. 16.9, стр. 496-497). Внешне прозрачная идея остается нереализованной и по сей день. Тем не менее, автоморфизмы кодов нашли свое применение в помехоустойчивом кодировании, прямое и весьма успешное.
Г-орбиты ошибок, их спектры и нормы синдромов.
Группа Г состоит из степеней циклической подстановки с, действующей на каждый вектор х = ( х1, х2,..., хп ) по правилу:
с( х) = ( хп , х1, х2,..., хп-1) . (2)
Таким образом, группа Г является коммутативной циклической группой порядка п. По определению, она принадлежит группе автоморфизмов любого циклического кода длиной п, в частности, БЧХ-кодов с проверочной матрицей (1).
Для всякой вектор-ошибки ё = (ё, ^,..., еп ) ее Г-орбита
< е > г =< е >={е, с(е),..., су-1 (е)}, (3)
где V - наименьшее натуральное число с условием: С (е) = е. При этом V делит п или же V = п. Во втором случае Г-орбита < е > имеет максимально возможную мощность и потому называется полной. Очевидно, в любом циклическом коде длиной п > 1 одиночные ошибки в количестве СП = п составляют одну полную Г-орбиту. Двойные ошибки в количестве СП = п(п -1)/2 в циклических кодах с нечетной длиной п=2 т +1 распределяются по (п - 1)/2 = т полным Г-орбитам <е1,2 >, <е13 >,..., <е1,ц+1 >. Здесь ё1,/ - вектор-ошибка весом 2 с единицами на первой и 7-й позициях, 2 <' <т + 1, и с нулевыми остальными координатами (детали см. в [1-3]).
Действие с на вектор е по формуле (2) в БЧХ-коде С с проверочной матрицей (1) синхронно сопровождается столь же четким изме-
___т~> т~>
нением синдрома: если £(е) = Не = ($, ^) , то (см. [1-3])
£ (с(е)) = Н с(е )Т = (а^, а3 52 )т. (4)
Неравенство $ Ф 0 у синдромов ошибок весом 1, 2 влечет тот факт, что спектр синдромов каждой Г-орбиты названных векторов-ошибок имеет ту же мощность, что и сама Г-орбита, а циклическая структура этого спектра, определяемая формулой (4), адекватно соответствует циклической, «кольцевой» структуре самой Г-орбиты (формула (3)).
Равенство (4) послужило основой для определения нормы синдрома в данном коде формулой:
М(£\ё)) = 82 / s3 . (5)
Главное достоинство этой формулы - ее постоянство на всех векторах каждой отдельно взятой Г-орбиты векторов-ошибок. Таким образом, вычисленная норма становится инвариантом, называемым нормой самой Г-орбиты.
Стройная система свойств норм синдромов (см. [3], п. 5.2), в частности, теорема 5.2 о попарном различии норм Г-орбит ошибок весом 1, 2, теорема о том, что в примитивном БЧХ-коде из равенства норм двух Г-орбит ошибок следует совпадение их спектров синдромов, послужили основой перестановочных нормен-ных методов коррекции ошибок в рассматриваемых и более широких классах БЧХ-кодах. Основная их особенность в том, что вместо поиска ошибки с вычисленным синдромом во множестве всех исправляемых ошибок проводится поиск вычисленной нормы в списке норм декодируемых Г-орбит ошибок. Таким образом, поисковые процедуры в норменном декодере сокращаются в п раз быстрее по сравнению с классическими синдромными методами.
Увеличение т на единицу практически удваивает п и остальные параметры кода, включая и количество декодируемых Г-орбит ошибок. Через несколько подобных итераций это приводит к невероятному росту всех данных в прямой аналогии со знаменитой притчей о вознаграждении изобретателю шахмат. Выход -в разумном ограничении длин применяемых кодов и в применении для процедур декодирования более крупных орбит - G-орбит ошибок.
G-орбиты ошибок и их полиномиальные инварианты. Группа О некоммутативна, имеет порядок тп, получается присоединением к группе Г циклотомической подстановки ф, переставляющей координаты векторов п-мер-ного (п нечетно) пространства по правилу:
Г 21 -1, 21 -1 < п,
ф(о Ч
[2/ -1 - п, 21 -1 > п.
При этом подстановка ф имеет порядок т, фс = с2ф, всякую Г-орбиту < е > подстановка ф преобразует в новую Г-орбиту, поэтому для каждого вектора-ошибки ё БЧХ-кода С ее G-ор-бита имеет вид:
< ё >0= {< ё >г, ф(< ё >г),..., фц_1(< ё >г)},(6)
где т - наименьшее натуральное число с условием: фт (< ё >г) =< ё >г. При этом т делит т или же т = т. Во втором случае О-орбита < ё >с называется полной при условии, что и Г-орби-та < ё >г - полная. Циклотомическая подстановка замечательна следующим свойством: если
___Т1 т~>
синдром £(е) = Не = (^, s2) , а норма синдрома N(£(е))=52$ = N, то £(ф(е)) = (s¡, $2 )Т, N (£ (ф(е))) = N2 (детали см. в [2], гл. 3, 4 или же в [3], гл. 4, 5). Повторное применение подстановки ф к вектору-ошибке приведет к повторному возведению в квадрат ее синдрома и нормы синдрома. Таким образом, вся О-ор-бита < е >£, построенная по формуле (6) как цикл, «круг» переходящих друг в друга Г-ор-бит, имеет синхронный и адекватный образ в спектре норм этих Г-орбит в виде 2-примар-ной последовательности норм:
N,N2,...,N2т-1}, где N2т= N . (7)
Теорема 1. Между циклом Г-орбит, составляющих О-орбиту < е >£ по формуле (6), и циклом их норм, составленном по формуле (7), существует взаимно однозначное соответствие. О-орбита < е >£ является неполной и состоит из т < т Г-орбит тогда и только тогда, когда 0¥(2т) - наименьшее подполе поля 0¥(2т), т делит т, содержащее норму N.
Доказательство. Первая часть утверждения обоснована выше. Собственно, циклотомиче-ская подстановка так и определяется, чтобы ее действие на вектор ошибок сопровождался возведением ее синдрома в квадрат. Как известно, отображение /: х ^ х в любом поле Галуа GF(2m) характеристики 2 есть не что иное, как автоморфизм Фробениуса в этом поле - образу-
ющая группы Галуа поля GF(2m) над своим под-полем Z/2Z. Поэтому множество
N, N2,..., N2 при наименьшем натуральном ц с условием N = N является полной системой элементов, сопряженных с N. Тогда полином Рц (N, x) = р(x) = (x - N)(x - N2)...(x - N2 ) имеет коэффициенты, определяемые теоремой Виета и, следовательно, инвариантные относительно действия автоморфизма Фробениуса, а потому принадлежащие минимальному подполю Z/2Z. Минимальное подполе поля GF(2m), содержащее N, по теории расширений Галуа [7], должно быть расширением Z/2Z степени ц; в противном случае элемент N должен был бы иметь менее ц сопряженных. Теорема 1 полностью доказана.
Методом от противного доказывается, что Рц (N, x) является неприводимым над Z/2Z полиномом. Следовательно, это единственный полином степени ц, содержащий все корни множества (7). Полином р^ (N, x) называют неприводимым полиномом любого из своих корней, потому его иногда обозначают через Irr(N , x) [7, гл. 4, 8]. В [5] этот полином авторы назвали полиномиальным инвариантом G-орбиты (6). Теорема 1 и отмеченные свойства полинома Рц (N, x) служат полным оправданием и обоснованием такого названия.
Наиболее характерные G-орбиты ошибок и их параметры. 1. В БЧХ-коде C любой длины Г-орбита J ошибок весом 1 имеет норму N = 1. G-орбита одиночных ошибок совпадает с J. Поэтому полиномиальный инвариант этой G-орбиты совпадает с полиномом x+ 1.
2. Пусть у БЧХ-кода C величина m = 2s -четная. Тогда 2m -1 = 22s -1 = (2s - 1)(2s +1) -делится на три: n = 3v. Вектор-ошибка весом 2 ei,v+i =(1, v + 1) с единицами на 1-й и v+1-й позициях и с нулями на остальных позициях имеет компоненты синдрома: = 1 + av Ф 0; s2 = 1 + (av)3 = 1 + 1 = 0. Следовательно, N = N(S(1, v + 1)) = 0. Поскольку ф((1,v + 1)) = (1, 2v +1) = c2v (1, v + 1)e <(1, v + 1)>, то G-орбита < (1, v +1) >G =< (1, v +1) >г. Поэтому полиномиальный инвариант этой G-орбиты совпадает с x.
Пусть m = 2s+ 1 - нечетное. В этом случае отсутствуют Г-орбиты двойных ошибок с нулевой нормой. Действительно, согласно лемме 3.2 [2] в этом случае n = 22s+1 - 1 не делится на 3 и поэтому возведение в куб является автомор-
физмом мультипликативной группы GF(22s+1)*. (детали см. в п. 2.12 [7]). Отсюда следует, что столбцы подматрицы (a3i) проверочной матрицы H = (a', a3' )T БЧХ-кода C над рассматриваемым полем попарно различны и в целом составляют в этой подматрице перестановку столбцов подматрицы (a'). Это означает, что для всех двойных ошибок ё вторая компонента их синдрома S (ё) в рассматриваемом БЧХ-коде s2 Ф 0 и N(S(ё)) Ф 0.
3. Пусть т = р - простое, р > 2. Тогда поле Z / 2Z = GF(2) является единственным подпо-лем поля GF(2p). Здесь G-орбита ошибок весом 1 - единственная G-орбита ошибок весом 1, 2, совпадающая со своей Г-орбитой и с полиномиальным инвариантом х +1. Согласно предыдущему примеру здесь отсутствуют Г-орби-ты двойных ошибок с нулевой нормой. Значит, здесь любая Г-орбита двойных ошибок J имеет норму N, отличную от нуля и от 1. Тогда норма N должна порождать поле GF(2p), а полином Irr(N, x) должен иметь степень р. А это означает, что G-орбита < J >g должна быть полной. Согласно малой теореме Ферма 2 р~1= 1(mod р), то есть 2р-1 -1 = рп для подходящего целого п. Следовательно, в БЧХ-коде C над полем GF(2p) все множество из (n - 1)/2 = (2p - 1 - 1)/2 = 2р-1 -1 = рп полных Г-орбит двойных ошибок делится на п полных G-орбит ошибок.
4. Пусть у БЧХ-кода C вновь величина m = 2s - четная. Тогда поле Галуа GF(2m) содержит подполе GF(22); в силу примера 2 величина n делится на 3; для v = n / 3 и примитивного элемента ae GF(2m) степени av и a2v являются кубическими корнями из 1 и потому принадлежат подполю GF(22). Если у БЧХ-кода C найдется двойная ошибка ё = (1, i) с нормой синдрома N (S (ё)) = av, то тогда G-орби-та <e>G={<e>j>,< ф(ё) ] - состоит из двух Г-орбит со спектром норм {av, a2v} . Причем такая G-орбита - единственная! Ее полиномиальным инвариантом является единственный неприводимый над Z/2Z полином х + х +1.
Нормы Г-орбит двойных ошибок в каждом коде занимают (п -1) / 2 значений из n + 1 всех возможных. Поэтому априори можно утверждать, что примерно в половине БЧХ-кодов с четным m = 2s имеется одна единственная Г-орбита двойных ошибок с нормой синдрома N(S(ё)) = av, а во второй половине БЧХ-кодов таких двойных ошибок не имеется.
Непосредственные расчеты подтверждают
данное предположение. При т = 4 и п = 15
такой является Г-орбита < е >г =< (1, 7) >г .
В БЧХ-коде над полем GF(24) с примитивным
4 1
элементом а-корнем полинома х + х +1 норма данной Г-орбиты равна а5 =ап/3. При т = 8 и п = 255 таковой является Г-орбита < е >г =< (1,52) > г. В БЧХ-коде над полем GF(28) с примитивным элементом а-корнем полино-
8 4 3
ма р( х) = х + х + х + х +1 норма данной Г-орбиты равна а85 = ап/3. При т = 12 и п = 4095 таковой является Г-орбита < е >г =< (1,820) >г. В БЧХ-коде над полем GF(212) с примитивным элементом а-корнем полинома р(х) = х12 + х7 + х4 + х3 + 1 норма данной Г-орбиты равна а1365 = ап/3. При п = 6 и п = 10 таких Г-орбит не имеется.
5. В БЧХ-кодах С над полями GF(2m) с т = 3 т - делящимся на 3 и содержащими подполе GF1(23), которое определяется одним из двух неприводимых полиномов третьей степени:
3 3 2
х + х +1 и х + х +1, могут существовать одна, две или ни одной О-орбиты ошибок весом 2, состоящие в точности из трех Г-орбит. Так, при т = 3 и п = 7 все двойные ошибки укладываются в одну полную О-орбиту из трех Г-орбит; при т = 6 и п = 63 имеются в точности две О-орбиты двойных ошибок, содер-
жащие по три Г-орбиты ошибок: < (1, 8) >г и < (1,10) >г ; при т = 9 и п = 511 существует одна О-орбита, содержащая три Г-орбиты: < (1,74) >г ; при т = 12 и п = 4095 таких О-ор-бит не имеется.
Заключение
Установлено взаимно-однозначное соответствие между строением G-орбит как строго фиксированного цикла Г-орбит и структурой спектра норм этих составляющих Г-орбит. Это соответствие усиливается синхронностью действия циклотомической подстановки на Г-орби-ты и автоморфизма Фробениуса на нормы этих Г-орбит. Первая часть утверждения обоснована выше. Большинство G-орбит двойных ошибок являются полными, то есть содержат максимально возможное количество полных Г-орбит ошибок. Неполные О-орбиты двойных ошибок возможны только над полями Галуа GF(2m) с составным показателем т. В О-орбите может содержаться т < т Г-орбит, только при т делящем т, количество таких О-орбит не превосходит числа неприводимых над минимальным под-полем полиномов степени ц. Наличие небольшого числа неполных О-орбит ошибок не сильно осложняет работу перестановочных декодеров на основе полиномиальных инвариантов.
ЛИТЕРАТУРА
1. Конопелько В. К., Липницкий В. А. Теория норм синдромов и перестановочное декодирование помехоустойчивых кодов. Монография. - Мн.: БГУИР, 2000. - 242 с. Изд. 2-е. - М.: Едиториал, УРСС 2004. - 176 с.
2. Липницкий В. А., Конопелько В. К. Норменное декодирование помехоустойчивых кодов и алгебраические уравнения. - Мн.: Издательский центр БГУ, 2007. - 240 с.
3. Липницкий В. А. Теория норм синдромов. - Мн.: БГУИР, 2011. - 96 с.
4. Мак-Вильямс Ф. Дж., Слоэн Н. Дж. А. Теория кодов, исправляющих ошибки. - М.: Связь, 1979. - 744 с.
5. Липницкий, В. А. Полиномиальные инварианты G-орбит ошибок БЧХ-кодов и их применение. / В. А. Липницкий, Е. В. Середа // Доклады БГУИР. - 2017. - № 5(107) - С. 62 - 69.
6. Муттер В. М. Основы помехоустойчивой телепередачи информации - Л.: Энергоатомиздат, 1990. - 286 с.
7. Липницкий, В. А. Современная прикладная алгебра. Математические основы защиты информации от помех и несанкционированного доступа. - Мн.: БГУИР, 2006. - 88 с.
8. Лиддл Р., Ниддеррайтер Г. Конечные поля. Т.1, 2. - М.: Мир, 1988. - 882 с.
REFERENCES
1. Konopel'ko V. K., Lipnickij V. A. Teorija norm sindromov i perestanovochnoe dekodirovanie pomehoustojchivyh kodov. Monografija. - Mn.: BGUIR, 2000. - 242 s. Izd. 2-e. - M.: Editorial, URSS 2004. - 176 s.
2. Lipnickij V. A., Konopel'ko V. K. Normennoe dekodirovanie pomehoustojchivyh kodov i algebraicheskie uravnenija. -Mn.: Izdatel'skij centr BGU, 2007. - 240 s.
3. Lipnickij V. A. Teorija norm sindromov. - Mn.: BGUIR, 2011. - 96 s.
4. Mak-Vil'jams F. Dzh., Slojen N. Dzh. A. Teorija kodov, ispravljajushhih oshibki. - M.: Svjaz', 1979. - 744 s.
5. Lipnickij, V. A. Polinomial invariants of errors' G-orbit of BCH codes and its application / V. A. Lipnickij, E. V. Sereda // Doklady BGUIR. - 2017. - № 5(107) - S. 62-69.
6. Mutter V. M. Osnovy pomehoustojchivoj teleperedachi informacii - L.: Jenergoatomizdat, 1990. - 286 s.
7. Lipnickij, V. A. Sovremennaja prikladnaja algebra. Matematicheskie osnovy zashhity informacii ot pomeh i nesank-cionirovannogo dostupa. - Mn.: BGUIR, 2006. - 88 s.
8. Liddl R., Nidderrajter G. Konechnye polja. T.1, 2. - M.: Mir, 1988. - 882 s.
Поступила После доработки Принята к печати
16.01.2018 10.03.2018 01.06.2018
Lipnickij V.1, Serada A.2
PROPERTIES OF GROUPS G OF DOUBLE ERRORS AND ITS INVARIANTS IN BCH CODES
1 Military Academy of the Republic of Belarus 2 Belarusian State University of Mathematics and Radioelectronics
The goal of the work is the further extending the scope of application of code automorthism in methods and algorithms of error correction by these codes. The effectiveness of such approach was demonstrated by norm of syndrome theory that was developed by Belarusian school of noiseless coding at the turn of the XX and XXI century. The group Г of the cyclical shift of vector component lies at the core of the theory. Under its action The error vectors are divided into disjoint Г-orbits with definite spectrum of syndromes. This allowed to introduce norms of syndrome of a family of BCH codes that are invariant over action of group Г. Norms of syndrome are unique characteristic of error orbit Г of any decoding set, hence it is the basis of permutation norm methods of error decoding. Looking over the Г-orbits of errors not the errors these methods are faster than classic syndrome methods of error decoding, are avoidedfrom the complex process of solving the algebraic equation in Galois field, are simply implemented.
A detailed theory for automorphism group G of BCH codes obtained by adding cyclotomic substitution to the group Г develops in the article. The authors held a detailed study of structure of G-orbit of errors as union of orbits Г of error vectors; one-to-one mapping of this structure on the norm structure of group Г. These norms being interconnected by Frobenius automorphism in the Galois field -field of BCH code constitute the complete set of roots of the only irreducible polynomial. It is a polynomial invariant of its orbit G. The main focus of the work is on the description of properties and specific features of groups G of double errors and its polynomial invariants.
Keywords: BCH code, norm of syndrome theory, BCH code automorphism, norm of syndrome, syndrome, polynomial invariants of norm of syndrome.
Липницкий Валерий Антонович - кандидат физико-математических наук (1980), доктор технических наук (2003), профессор по кафедре математики (2004), заведующий кафедрой высшей математики УО «Военная академия Республики Беларусь». Ученик академика В. П. Платонова и профессора В. К. Конопелько. Совместно с последним разработал теорию норм синдромов - новое направление в теории и практике помехоустойчивого кодирования, развивающее эффективное применение автоморфизмов кодов для коррекции ими ошибок в телекоммуникационных системах. Автор более 300 научных работ, четырёх монографий, ряда патентов на изобретения. Область научных интересов - алгебра и ее приложения, защита информации от помех и несанкционированного доступа.
Lipnitski Valery - PhD of Physico-Mathematical Sciences (1980), Grand PhD of Engineering Sciences (2003), Full Professor (2004), Head of the Department of Higher Mathematics of the Military Academy of the Republic of Belarus, the apprentice of academician V. P. Platonov and professor V. K. Ko-nopelko. Together with the latter was developed norm of syndrome theory - a new direction in the theory and practice of noise-immune coding, which develops an effective application of code automorphisms for correcting errors in telecommunication systems. The author of more than 300 scientific works, four monographs, a number of patents for inventions. The field of scientific interests is algebra and its applications, information security from interference and unauthorized access. valipnitski@yandex.ru
Середа Елена Владимировна - магистр технических наук (2013), аспирант кафедры защиты информации УО «Белорусский государственный университет информатики и радиоэлектроники». Область научных интересов - исследование групп автоморфизмов линейных кодов и применение автоморфизмов кодов к разработке перестановочный алгоритмов декодирования этих кодов.
Serada Alena - Master of Engineering sciences (2013), PhD student at the Department of Information Security of the Belarusian State University of Informatics and Radioelectronics. The field of scientific interests is the investigation of automorphism groups of linear codes and the application of automorphisms of codes to the development of permutational algorithms for decoding these codes. elen.vt@gmail.com
