Научная статья на тему 'Квазигруппы и их приложения'

Квазигруппы и их приложения Текст научной статьи по специальности «Математика»

CC BY
394
103
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Чебышевский сборник
Scopus
ВАК
RSCI
Область наук
Ключевые слова
КВАЗИГРУППЫ / ЛАТИНСКИЕ КВАДРАТЫ / ГРУППЫ ПЕРЕСТАНОВОК / ТРАНЗИТИВНОСТЬ / QUASIGROUPS / LATIN SQURES / PERMUTATION GROUPS / TRANSITIVITY

Аннотация научной статьи по математике, автор научной работы — Артамонов Вячеслав Александрович

В работе приводится обзор результатов, полученных в ходе работы по теме ОАААА-А16-116070810025-5 и по завершившемуся совместному проекту с индийскими алгебраистами С. Чакрабарти, С. Гангопапдуем, С. Палом. В работе приняли участие российские алгебраисты В.Т. Марков и А.Е. Панкратьев. Цель работы состоит в изучении алгебраических свойств конечных полиномиально полных квазигрупп, проблемы их расознавания по латинскому квадрату и в построении полиномиально полных квазигрупп квазигрупп достаточно большого порядка. Кроме того, нас интересуют полиномиально полные квазигруппы без подквазигрупп. Приведены достаточные условия полиномиально полноты квазигруппы Q в терминах группы G(Q). Например, достаточно, чтобы G(Q) действовала дважды транзитивно на Q. Отмечено поведение G(Q) при изотопиях. Показано что любую конечную квазигруппу можно вложить в полиномиально полную. Рассмотрена конструкция бипроизведения квазигрупп. Результаты применяются для защиты информации.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Quasigroups and their applications

A survey of results obtained within the project 0AAAA-A16-116070810025-5 and the recent joint project with Indian algebraists S.Chakrabarti, S. Gangopahyay, S. Pal and also with Russian participants V.T. Markov, A.E. Pankratiev. The aim of projects is a study of algebraic properties of finite polynomially complete quasigroups, the problem of their recognition from its Latin square and constructions of polynomially complete quasigroups of sufficiently large order. We are also interested in poly normally complete quasigroups with no subquasigroups. There are found sufficient conditions of polynomial completeness of a quasigroups Q in terms of a group G(Q). For example it suffices if G(Q) acts doubly transitive in Q. There is found a behaviour of G(Q) under isotopies. It is shown that any finite quasigroup can be embedded into a polynomial complete one. The results are applied for securing an information.

Текст научной работы на тему «Квазигруппы и их приложения»

ЧЕБЫШЕВСКИИ СБОРНИК

Том 19. Выпуск 2

УДК 512.57, 512.54

DOI 10.22405/2226-8383-2018-19-2-111-122

Квазигруппы и их приложения

1

Артамонов Вячеслав Александрович — доктор физико-математических наук, профессор, заведующий кафедрой высшей алгебры механико-математического факультета Московского государственного университета имени М. В. Ломоносова; заведующий кафедрой информатики и математики, Всероссийская академия внешней торговли; профессор, Российская академия народного хозяйства и государственной службы при Президенте РФ. e-mail: viacheslav.artamonov@gmail.com

В работе приводится обзор результатов, полученных в ходе работы по теме ОАААА-А16-116070810025-5 и по завершившемуся совместному проекту с индийскими алгебраистами С. Чакрабарти, С. Гангопапдуем, С. Палом. В работе приняли участие российские алгебраисты В.Т. Марков и А.Е. Панкратьев.

Цель работы состоит в изучении алгебраических свойств конечных полиномиально полных квазигрупп, проблемы их расознавания по латинскому квадрату и в построении полиномиально полных квазигрупп квазигрупп достаточно большого порядка. Кроме того, нас интересуют полиномиально полные квазигруппы без подквазигрупп. Приведены достаточные условия полиномиально полноты квазигруппы ^ в терминах группы С^). Например, достаточно, чтобы С(^) действовала дважды транзитивно на Q. Отмечено поведение С(^) при изотопиях. Показано что любую конечную квазигруппу можно вложить в полиномиально полную. Рассмотрена конструкция бипроизведения квазигрупп. Результаты применяются для защиты информации.

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

Библиография: 10 названий.

Для цитирования:

В. А. Артамонов. Квазигруппы и их приложения // Чебышевский сборник, 2018, т. 19, вып. 2,

Аннотация

с. 111-122.

1Работа выполнена в рамках темы 0АААА-А16-116070810025-5 "Алгебраические системы: группы, кольца, универсальные алгебры; алгебраическая геометрия; группы Ли и теория инвариантов; компьютерная алгебра, теория кодирования"

112

B. A. ApiaMOHOB

CHEBYSHEVSKII SBORNIK Vol. 19. No. 2

UDC 512.57, 512.54 DOI 10.22405/2226-8383-2018-19-2-111-122

Quasigroups and their applications

Artamonov Vyacheslav Alexandrovich — doctor of physical and mathematical sciences, professor, head of the department higher algebra's of the mechanics and mathematics faculty of the M. V. Lomonosov Moscow State University; head of the department of informatics and mathematics, Russian foreign trade academy; professor, The Russian Presidential Academy of National Economy and Public Administration. e-mail: viacheslav.artamonov@gmail.com

Abstract

A survey of results obtained within the project 0AAAA-A16-116070810025-5 and the recent joint project with Indian algebraists S.Chakrabarti, S. Gangopahyay, S. Pal and also with Russian participants V.T. Markov, A.E. Pankratiev.

The aim of projects is a study of algebraic properties of finite polynomially complete quasigroups, the problem of their recognition from its Latin square and constructions of polynomially complete quasigroups of sufficiently large order. We are also interested in polynomially complete quasigroups with no sub quasigroups. There are found sufficient conditions of polynomial completeness of a quasigroups Q in terms of a group G(Q). For example it suffices if G(Q) acts doubly transitive in Q. There is found a behaviour of G(Q) under isotopies.

It is shown that any finite quasigroup can be embedded into a polynomial complete one. The results are applied for securing an information.

Keywords: quasigroups, Latin squres, permutation groups, transitivity

Bibliography: 10 titles.

For citation:

V. A. Artamonov, 2018, "Quasigroups and their applications" , Chebyshevskii sbornik, vol. 19, no. 2, pp. 111-122.

1. Введение

В работе исследуется вопрос о выборе класса конечных квазигрупп, применимого для криптографических преобразование. В качестве такого класса предлагается выбрать класс полиномиально полных квазигрупп, в которых вопрос о разрешимости уравнение является ХР-полны.м.

В работе рассматривается вопрос о распознавании полиномиальной полноты конечным квазигрупп, заданных латинскими квадратами. Показывается, что это можно сделать с помощью группы С(О).

Далее рассматривается вопрос о построении полиномиально полных квазигрупп достаточно большого порядка. Это делается с помощью вложения любой конечной квазигруппы в полиномиально полную, а также с помощью конструкции бипроизведения.

Устанавливается свзяь с переходом к изотопу, не имеющему подквазигрупп.

2. Системы операций

Для непустого множества А через Ап, п ^ 0, обозначим п-ую декартову степень множества А В частности, при п = 0 под АР будм понимать одноэлементное множество {*}.

Под п-арной алгебраической операцией на А будет понимать произвольное отображение f : Ап ^ А В частности, нульарная операция f : {*} = АР ^ А фиксирует элемент f (*) £ А.

Через Оп(А) обозначим множество всех п-арных алгебраических операций на А. Пусть О (А) — семейство всех {Оп(А) | п ^ 0}.

Рассмотрим семейство множеств Р = {Рп | п ^ 0}, которое будет называть сигнатурой. Непустье множество А называется алгеброй сигнатуры ^или Р-алгеброй, если задано такое отображение а : Р ^ О (А), что а(Рп) С Оп(А). Это одначает, что каждый элемент / £ Рп реализуется с помощью а как п-арная операция в А.

Например, квазигруппой называется непустое множество ф с умножением ху, причем для любых а,Ь £ ^ каждое из уравнений ах = Ь, уа = Ь имеет и притом единственное решение а\Ь, и а/Ь, соответственно.

Если f £ Оп(А) и д\,...,дп £ От(А), то можно определить суперпозицию (композицию) f (д1,... ,дп) £ От(А) по правилу

[/(91,.. .,9п)\ (Х\, ...,хт) = / (д\(хх,..., хт),... ,дп(х\,.. .,хт)) (1)

для всех х1,..., хт £ А.

Композиция удовлетворяет закону суперассоциативности

[/(дг,...,дп)} (к\,...,кт) = f (д\(к\,... ,Нт),... ,дп (к\,...,кт)) (2)

для любых / £Оп(А), д\,...,дп £От(А), }ц,...,}1т £ Ог(А).

Заметим, что если операции д\,... дп из (1) нульарны, и д^(*) = а^ £ А, то

[/(91,...,9п)}(*) = / (а1,...,ап)

значение / в точке (а1,..., ап).

Семейство содержит операции проекции Рт(х1,... ,хп) = х^.

Легко видеть, что если f £ Оп(А), то f = f (р1п,... ,'Рпп).

Семейство С = {Сп С Оп(А) | п ^ 0} называется клоном опера,ций на Д если С содержит все проекции и замкнуто относительно суперпозиций.

Предложение 1. Если f £ Сп и операция д получена из / с помощью перерстановки или отодждествлепия некоторых аргументов, то д £ С.

Если Р = {Рп | п ^ 0} — сигнатур а и А является ^-алгеброй. Без ограничения общности можно считать, что Рп С 0га(А) для любого индекса п ^ 0.

Обозначим через Т(Р) наименьший мое операций на А содержащий Р. Операции из Т(Р) называются термовыми относительно Р. Операции из Т (Р) получаются шГс помощью композиции, отождествления или перестановки аргументов, а также присоединением всех проекций.

Определение 1. Пусть задана сигнатура Р. Операция f € Оп(А) называется полиномиальной, ели существует такая термовая операция д € Оп+т(А) и элементы аг,..., ат € А тлкие, что

/ (хг, ...,хп)= д(х\, ...,хп,ах,.. .,ат).

для всех хг,... ,хп € А.

Клон Ро1(Р) всех полиномиальных операций является наименьшим клоном, содержащим Р и все нульарные операции.

Определение 2. Алгебра, А сигнатуры Р г,з полиномиально (функционально) полна, если 0(А) = Ро1(Р).

Основным примпером полиномиально полных коммутативных ассоциативных колец является конечное поле.

Отображение ж из ^-алгебры А в ^-алгебру В называется гомоморфизмом, для любого п ^ 0, любого / € Рп и любых элементов а,г,..., йп € А выполнено равенство

ж (/(аг,..., ап)) = / (п(аг),.. .,к(ап)).

.Р-адгебра А проста,, если лююой гомоморфизм из А в любюую ^-алгебру либо инъективен, либо имеет одноэлементный образ.

3. Мальцевские операции

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

т(х,х,у) = т(у,х,х) = у (3)

Например, на любой группе существует тернарная мальцевская операция т(х,у,г) = ху-гх. Обобщая эту ситуацию можно показать, что любая квазигруппа обладает тернарной мальцевской операцией.

^-алгебра А аффинна,, если в А можно так ввести структуру аддитивной абелевой группы, что любая термовая операция f € Рп имеет в ид f (хг,... ,хп) = а0 + агхг + ■ ■ ■ + апхп, где ао € А и аг,... ,ап — эндоморфизмы этой абелевой группы.

Теорема 1 ([11). Пусть А — конечная неодноэлементная алгебра. Следующие утверждения эквивалентны:

(¿) А полиномиально полна,;

(и) существует полиномиальная мальцевская операция в А и алгебра А проста и неафиин-на.

Теорема 2 ([2]). Пусть — полиномиально полная, конечная неодноэлементная алгебра. Тогда, проблема, существования решения систем полиномиальных уравнение в является ЫР-полной.

4. Полиномиально полные квазигруппы

Наша цель использовать квазигруппы для защиты информации см, например, [7]. Пусть задан алфавит Q, на котором мы ввели структуру квазигруппы. Будем преобразовывать слова в этом алфавите, используя квазигрупповвые операции. Для восстановления исходного сообщения необходимо решать системы полиномиальных уравнений. Теорема 2 показывает, что полиномиально полные квазигруппы подходят для наших целей.

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

Нетрудно видеть, что аффинность квазигруппы ^ означает, что на Q можно така задать структуру аддитивной абелевой группы с автоморфизмами а, @ и элементом с € Q, что умножение в Q имеет вид

ху = а(х) + Р(у) + с.

В теории квазигрупп такие квазигруппыв называются Т-квазигруппами, [10].

Рассмотрим способ задание квазигруппы с помощью латинских квадратов. Пусть имеется квазигруппа Q = {х\,..., хп} порядка п. Рассмотрим ее таблицу Кэли

Х\ .

Х\ г . . аы

а.п1 .

(4)

размера п, где у а^ = х%х^ ъ Из определения квазигруппы следует, что для всех 1,3 = 1,...,п

(Х\ . . . Хп\ I Х\ . . . Хп \

п п , Ъ = и п I (5)

йц ... 0>гп) \а! 3 ... ап])

являются перестановками элементов х\,..., хп.

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

(?\,...,Оп, Т1,...,Тп (6)

Через С(О) обозначим подгруппу в MultQ, порождаемую всеми перестановками

я1, тз тl-г, ЬЗ =2,...,п. (7)

Определение 3. Две квазигруппы с умножениями х ■ у, х * у, определенными на одном, множестве изотопны, если существуют тлкие перестановки ж,ж\,ж2 на, , что для любых х,у € Q выполнено равенство х * у = ж-г (ж\(х) ■ к2(у)) .

В терминах латинского квадрата (4) это означает, что с помощью переставлояются строки, с помощью ж2 переставляются столбцы, а с помощью п переставляются элементы матрицы (а^).

Например, любая аффинная квазигруппа ф изотопна абелевой группе ^, +) Непосредственно проверяеюся следующие теоремы.

Теорема 3. При изотопии группа Спереходит в сопряженную группу жО((^)ж-г.

Квазигруппа, по теореме Альберта изотопна группе . Тогда, С(О) сопряжена с группой 0((^'), которая в свою очередь сов падает, с МиИ(^'.

Теорема 4. Следующие условия эквивалентны:

любые пары перестановок очи-1, т^т-1 из (7) коммутируют между собой;

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

(и) изотопна группе.

Теорема 5. Следующие условия эквивалентны:

любая пара, перестановок из (7) перестановочна;

(и) изотопна абелевой группе;

(ш) является абелевой группой.

(¿у) изотопна абелевой группе С((^).

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

Теорема 6. Конечная квазигруппа полиномиально полна, в том и только в том случае, если она, проста и не аффинна.

Отметим, что по [3, Теорема 2] диэдральные: симметрическин, альтернативные, общие линейные, проективные общие линейные группы, группы Матье Мц, М12 как группы перестановок множества ^ ревизуются как МиИ(О) для некоторой структуры квазигруппы на

д.

В силу определения квазигруппы группа перестановок МиНдей ствует в Q транзитив-

но.

Напомним необходимое определение. Пусть группа С действует транзитивно перестановками на множестве Стабилизатор БЬх точки х £ ^ состоит из всех таких д £ С, что дх = х. Группа С действует примитивна, если ЗЬХ является максимальной подгруппой в С. Приведем известный факт.

Теорема 7. Квазигруппа, проста в том и только в том случае, если МиИ(^ действует, примитивно в

Ряд авторов выделяет еще одно свойство квазигрупп. Квазигруппа Q обладает высокой неа,ссоциа,т,ивност,ью, если МиИ((^) = Бут^), [9].

Предложение 2. Пусть квазигруппа порядка, п > 3 обладает, тем свойством,, что МиН^) действует дважды транзитивно в Тогда полиномиально полна,. В частности, квазигруппа с высокой неа,ссоциа,т,ивност,ью полиномиально полна,.

Если Сдействует дважды т,ра,нзит,ивно в то квазигруппа и все ее изотопы полиномиально полны.

Теорема 8 ([6]). Пусть конечная квазигруппа порядка, п обладает, тем свойством,, что МиИ((^) содержит группу, изоморфную Ат, где

([=]+!, О- <">

т = тах Тогда, полиномиально полна,.

Предложение 3 ([5]). Пусть квазигруппа имеет поря,док ^ 5. Пусть существует элемент из МиИ(О) с циклическим, разложением, в который входит, цикл, простой длины, р > Щ-. Тол,да, квазигруппа проста и МиИ(^ содержит Ап, если выполнено одно из следующих условий:

0) М ^ р + 3

(п) = р + 2 и — 1 не является степенью 2.

Теорема 9 ([5]). Пусть в латинском квадрате (4) группа обладает, одним, из следую-

щих свойств (п =

(1) ОД) э Ап;

(и) содержит подгруппу, изоморфную Ат, где т из (8).

Эти свойства, сохраняются при изотопии.

Тройка элементов х, у, г из квазигруппы ассоциативна, если (ху)г = х(уг).

Теорема 10 ([5]). Если имеет порядок 4, то число ассоциативных троек не меньше 16. Если полиномиально полная, квазигруппа порфдка 4, то число ассоциативных троек равно 16.

5. Криптографические преобразования

Пусть Q = [х\,... ,хп} — конечный алфавит и = [х\х2 ■ ■ ■ Хг | XI € (^,1 ^ 1} — множество слов в этом алфавите, т.е. свободная полугруппа с базой А. Предположим, что в Q введена структура квазигруппы. Тогда множеством сообщений М является С = . Зафиксируем элемент I € , который называется лидером, и определим элементарное преобразование Е1 : М ^ С по правилу:

Ег (х\х3 ■■■ хг) = У1У2 ■■■ Уь, VM = Х1Х2 ■■■ XI € М =

{I ■ Хг, г = 1 Уг-1 ■ Хг, 2 ^ I ^ г).

Приведем пример применения элементарных преобразований для полиномиально полной квазигрппы порядка 4, заданной латинским квадратом (см. [5])

1 2 3 4

1 2 1 3 4

2 4 3 1 2

3 3 2 4 1

4 1 4 2 3

Будем брать слова М, лидеры I и применять степени Е^. Получаем

М = 11111111111111111111, I = 1; к = 5; Е\(М) = Сх = 24124124124124124124; Е\(М) = С2 = 14114114114114114114; Е\(М) = С3 = 22414122414122414122; Е\{М) = СА = 11414111414111414111; Е\(М) = С5 = 24331241414124331241.

М = 22222222222222222222, I = 2; к = 5; Е1(М) = С1 = 32323232323232323232; Е\(М) = С2 = 11321132113211321132; Е%(М) = С3 = 41324132413241324132; Е\(М) = С4 = 24231211413224231211; Е§(М) = С5 = 31133241413231133241.

М = 33333333333333333333, I = 3; к = 5; Е\(М) = С1 = 42134213421342134213; Е2(М) = С2 = 11214413112144131121; Е3(М) = С3 = 3324312124414334123; Щ(М) = С4 = 42313324431221312342; Е5(М) = С5 = 11334231424441332144.

М = 44444444444444444444, I = 4; к = 5; Е\(М) = С1 = 31431431431431431431; Е\(М) = С2 = 24341424341424341424; Е1(М) = С3 = 4343311422432214144; Е44(М) = С4 = 34342414443444141434; Е\(М) = С5 = 22144331434314141422.

Видно, что происходят достаточно хорошие перемешивания элементов в преобразованном слове.

6. Конструкции полиномиально полных квазигрупп

Цель этого раздела — показать способы построения полиномиально полных квазигрупп достаточно большого размера.

Пусть заданы две квазигруппы ^ и^. Через Бх, Бд обозначи группы перестановок на К, Q, соответственно. Предположим, что заданы отображения Ф, Л, Г : К ^ Бд, Ф, О : Q ^ Бк переводящие а £ К в Фа, Ла, Га £ Бд и а £ ъ Фа, 0.а, Оа £ Бк, соответственно. Зададим в К х Q новую операцию умножения по правилу

(а, а) * (Ь, р) = (Ф„ (Па(а)ва(Ь)), Фь (Аь(а)Гь(^))), (9)

где а,Ь £ К апё а, [3 £ Непосредственно проверяется

Теорема 11. Множество К х с умножением (9) является квазигруппой. Она называется бипроизведением (бискрещенным произведением) К м квазигрупп К и

Теорема 12. Пусть группы С(К), Сдействуют 2-транзитивно па К и па соответственно. Предположим, что отображения Фи, Фа не зависят, от, и и от а, соответственно. Пусть \К| ^ (|^| — 1)! и ^ (\К\ — 1)\. Тогда, существует, (|^| — 1)! ■ (\К\ — 1)! вариантов для, отображений Л, Г, £}, <Э, для которы,х С(К м действует, 2-транзитивно на К В частности, по предложению 2 в этих случах бипроизведение К Q полиномиально полно.

Рассмотрим пример 8-элементной квазигруппы К-3 с латинским квадратом

1 2 3 4 5 6 7 8

1 1 2 3 4 5 6 7 8

2 2 3 4 5 6 7 8 1

3 3 1 5 8 7 2 4 6

4 4 5 2 1 3 8 6 7

5 5 6 7 3 8 4 1 2

6 6 7 8 2 1 3 5 4

7 7 8 1 6 4 5 2 3

8 8 4 6 7 2 1 3 5

В ней

о2о-1 = (1, 2, 3, 4, 5, 6, 7, 8), а2а-1 = (2, 3,1, 6, 7)(4, 5, 8).

Заметим, что (а3а--1)5 = (4, 5,8)2. Поэтому группа, порождаемая а2а-1 ,а3а-1 содержит (4, 5, 8)

(а2а-1)(4, 5, 8)(а2а-1)-1 = (6, 7, 2).

Кроме того, эта подгруппа содержит

(6, 7, 2)-1(2, 3,1, 6, 7) = (1, 2, 3).

Итак, рассматриваемая подгруппа содержит (1, 2, 3, 4, 5, 6>, 7, 8) и (1, 2, 3). Отсюда С(К3) = Бе-Разберем пример 16-элементной квазигруппы К4 с латинским квадратом

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

2 2 3 4 1 6 7 8 9 10 11 12 13 14 15 16 5

3 3 1 2 6 7 8 9 10 11 12 13 14 15 16 5 4

4 4 5 6 7 8 9 10 11 12 13 14 15 16 1 2 3

5 5 6 7 8 9 10 11 12 13 14 15 16 1 4 3 2

6 6 7 8 9 10 11 12 13 14 15 16 5 2 3 4 1

7 7 8 9 10 11 12 13 14 15 16 2 3 4 5 1 6

8 8 9 10 11 12 13 14 15 16 5 4 1 3 2 6 7

9 9 10 11 12 13 14 15 16 4 3 1 2 5 6 7 8

10 10 11 12 13 14 15 16 5 1 2 3 4 6 7 8 9

11 11 12 13 14 15 16 1 2 3 4 5 6 7 8 9 10

12 12 13 14 15 16 5 4 3 2 1 6 7 8 9 10 11

13 13 14 15 16 1 2 3 4 5 6 7 8 9 10 11 12

14 14 15 16 5 4 3 2 1 6 7 8 9 10 11 12 13

15 15 16 1 2 3 4 5 6 7 8 9 10 11 12 13 14

16 16 4 5 3 2 1 6 7 8 9 10 11 12 13 14 15

Как и выше можно показать, что С(К^) = Бю. Применяя итеративно конструкцию бипро-изведения м к , К4 можно построить последовательность квазигрупп Кп о£ порядка 2п для п ^ 3, п = 5, причем С(Кп) действует 2-транзитивно в Кп. Таким образом, все построенные Кп ¿полиномиально полны.

Теорема 13 ([8]). Счтеная квазигруппа порядка, не менее 3 изот,опна, квазигруппе без подк-вазигрупп.

Итак, можно построить сперию полиномиально полных квазигрупп Q любого порядка 2п, п ^ 3, п = 5 с дважды транзитивной группой С(О). Беря изотоп приходим к квазигрупп^ без подквазигрупп, но свойство 2-транзитивности сохраняется. Тем самым получаем требуюмую серию квазигрупп.

Приведем еще серии полиномиально полных полных квазигрупп.

Теорема 14. Пусть р — простое число ид = рг. Пуст ь т € {1,Р,... ,РГ-1} тоё (д — 1) и р _ полрождающий мультипликативной цикли ческой группы Предположим, что 1 < т < д — 1 взаимно просто в д — 1. Тогда найдется такой элемент с € F*, что = ¥р с умножением

х * у = (1 — Р)хт + Ру + с не имеет подквазигрупп и полиномиально полно.

Теорема 15. Пусть квазигруппа имеет простой порядок и не имеет подквазигрупп. Если ее группа автоморфизмов нетривиальна, то Q аффинна. Если полиномиально полна,, то любая операция в является термов ой относительно умножения, взятия левого и правого обратных.

Рассмотрим связь с тернарными полиномиально полными квазигруппами. Пусть Q — тернарная квазигруппа с умножением хух. Если зафиксировать одну переменную, то получается полиномиальная бинарная квазигруппа о£ Q, называемая редуктом.

Теорема 16. Пусть Ь — конечная квазигруппа порядка, п ^ 3, причем С(Ь) э Ап. Тогда существует такая тернарная квазигруппа Q, чт,о один из ее редуктов равен Ь и группа С любого редукта содержит Ап.

Теорема 17 (В.Т.Марков). Пусть а € 8га — нетождественная перестановка степени п. Тогда, сущетсвует высоко неассоциативная квазигруппа порядка, п, такая, что первая строка ее латинского квадрат,а, равна а. Эта квазигруппа проста при любом п и полиномиально полна,, если п > 5.

Теорема 18 (В.Т.Марков). Пусть — конечная квазигруппа порядка, |Q| = к > 1 и р наименьшее простое нечетное число с условием р > к (если р = 3, то к = 1, в противном случае р < 2к по теореме Чебышева). Тогда, для, любого п > 2к + р существует такая квазигруппа Я, |Д| = п, К э д и МиИ(К) = Бп.

7. Заключение

В разделе 4 приведены достаточные условия полиномиальной полноты Q в терминах дважды транзитивности действия группы С(О). В терминах этой же группы дан ответ на вопрос, когда квазигруппа изотопна (абелевой) группе.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

В разделе 5 приведены примеры криптографических преобразований на основе квазигрупп и влияние на них полиномиальной полноты.

В разделе 6 приведены способы построения полиномиально полных квазигрупп достаточно большого порядка.

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

1. Hagemann, J. and Herrmann С., Arithmetically locally equational classes and representation of partial functions, Universal algebra, Estergom (Hungary), vol.29, Colloq. Math. Soc. Janos Bolvai, 1982, 345-360

2. G. Horvath, C. L. Nehaniv, Cs. Szabo. An assertion concerning functionally complete algebras and NP-completeness. Theoret. Comput. Sci., 407:591-595, 2008.

3. Ihringer Т.: On multiplication groups of quasigroups, European J. Combin. 5, 1984, 137-141.

4. V.A. Artamonov, S. Chakrabarti, S. Gangopadhyav, S. K. Pal, On Latin squares of polynomiallv complete quasigroups and quasigroups generated by shifts, Quasigroups and related systems, 21 (2013), 201-214.

5. V.A. Artamonov, S. Chakrabarti, S. K. Pal, Characterization of Polynomiallv Complete Quasigroups based on Latin Squares for Cryptographic Transformations, Discrete Applied Mathematics (2016), pp. 5-17

6. V.A. Artamonov , S. Chakrabarti, S.K. Pal, Characterizations of highly non-associative quasigroups and associative triples, Quasigroups and related systems, 25(2017) 1-19.

7. M.M. Glukhov, On applications of quasigroups in cryptography, Appl. Discrete Math. 2(2008), 28-32.

8. Kepka T., A note on simple quasigroups. Acta Univ. Carolin. Math. Phvs., 19(2):59-60, 1978.

9. Otokar Grosek, Peter Horâk, On quasigroups with few associative triples, Des. Codes Crvptogr. (2012), 64, 221-227.

10. Belyavskava G.B., Tabarov A.H. A characterization of linear and a linear quasigroups, Discrete Math., 4(1992), N 2, 142-147.

REFERENCES

1. Hagemann, J. and Herrmann C., 1982, "Arithmetically locally equational classes and representation of partial functions Universal algebra, Estergom (Hungary), vol.29, Colloq. Math. Soc. Janos Bolvai, pp. 345-360

2. Horvath, G. Nehaniv, C.L. Szabo, Cs., 2008, "An assertion concerning functionally complete algebras and NP-completeness". Theoret. Comput. Sci., vol. 407, pp. 591-595.

3. Ihringer T., 1984, On multiplication groups of quasigroups, European J. Combin. vol 5, pp. 137-141.

4. Artamonov, V.A. Chakrabarti, S. Gangopadhyav, S. Pal, S. K., 2013, "On Latin squares of polynomiallv complete quasigroups and quasigroups generated by shifts Quasigroups and related systems, vol. 21, pp. 201-214.

5. [2016] Artamonov, V.A. Chakrabarti, S. Pal, S.K. 2016, "Characterization of Polynomiallv Complete Quasigroups based on Latin Squares for Cryptographic Transformations Discrete Applied Mathematics vol. 200, pp. 5-17

6. [2017] Artamonov, V.A. Chakrabarti, S. Pal, S.K. 2017, "Characterizations of highly non-associative quasigroups and associative triples Quasigroups and related systems, vol. 25, pp. 1-19.

7. Glukhov,M.M., 1978, "On applications of quasigroups in cryptography Appl. Discrete Math. vol. 2, pp. 28-32.

8. Kepka T., 1978, "A note on simple quasigroups". Acta Univ. Carolin. Math. Phys. vol. 19, no. 2, pp. 59-60.

9. Grosek, Otokar Peter Horâk, Peter, 2012, "On quasigroups with few associative triples Des. Codes Cryptogr., vol. 64, pp. 221-227.

10. Belvavskava G.B., Tabarov А.Н. 1992, "A characterization of linear and a linear quasigroups Discrete Math., vol. 4, no 2, pp. 142-147.

Получено 12.06.2018 Принято в печать 17.08.2018

i Надоели баннеры? Вы всегда можете отключить рекламу.