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

попарно неизоморфных квазигрупп

Выполнил: Цыбин И. А.
Научный руководитель: канд. физ.-мат. наук, доцент к. ФАА Титов Г. Н.
Изучение квазигрупп и латинских квадратов является развивающимся разделом
современной алгебры. Вопросы, связанные с зависимостью количества квазигрупп
от цикленного типа автоморфизма обсуждаются в статьях Б.Маккэя (Small Latin
Squares, 2007) и Б. Керби (Quasigroup automorphisms and the Norton-Stein complex,
2010).
Перед описанием алгоритма для, введём некоторые определения:
• Латинским квадратом порядка называется таблица размера , заполненная
элементами множества таким образом, что в каждой строке и
каждом столбце таблицы каждый элемент из встречается ровно один раз.
• Непустое множество с заданной на нём замкнутой бинарной операцией «»
называется квазигруппой, если для любых двух элементов уравнения
и имеют единственное решение. Таблица Кэли любой
квазигруппы будет латинским квадратом.
• Две квазигруппы и называются изоморфными, если существует
такая биекция , что
Пусть - множество всех матриц размера элементами
которых являются элементы множества . Для каждой матрицы из
и каждой подстановки из определим матрицу по правилу:

Ясно, что группа действует на множестве .

Определим как множество всех латинских квадратов размера .
Для определения количества попарно неизоморфных квазигрупп порядка
необходимо найти количество орбит при действии симметрической группы
на множестве . Пусть . Используя лемму Бернсайда,
количество попарно неизоморфных квазигрупп порядка находится по формуле:
Для нахождения необходимо перебрать все матрицы из и выбрать те,
которые удовлетворяют двум условиям:
• Матрица является латинским квадратом.
• является автоморфизмом для матрицы.
Важным наблюдением является то, что количество элементов в фиксаторе зависит
только от типа перестановки. Таким образом, вместо подсчёта мощности
фиксатора для каждой подстановки из , можно подсчитать мощность фиксатора
для подстановки конкретного типа и умножить на

где - количество циклов длины .

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

Рассмотрим работу программы

на примере подстановки пятой степени:
(1,2,4,5,3). После ввода перестановки
на экране выводится её цикленный вид.
Далее выводится матрица,
заполненная номерами орбит. Также
выводятся элементы каждой орбиты.
Это необходимо для нахождения
тех элементов из , которыми можно
заполнить какую-то орбиту. Орбита
заполняется с её начала: самого верхнего,
а затем самого левого элемента.
Множество элементов, подходящих
для заполнения i-й орбиты обозначим .
Множество состоит из тех элементов,
которые находятся в цикле, длина
которого делит нацело мощность орбиты.
Далее выводятся допустимые символы для
каждой из орбит и количество группоидов,
для которых заданная перестановка будет
автоморфизмом. Количество вычисляется
по формуле:

где – количество орбит.

Далее идёт перебор всех возможных
группоидов и подсчёт тех, которые
удовлетворяют двум условиям,
которые были описаны ранее.

Результат работы программы:

количество латинских квадратов,
для которых заданная перестановка
будет являться автоморфизмом.
Ниже приведены результаты работы программы и количество попарно неизоморфных
квазигрупп порядка 3,4,5,6.
Количество попарно неизоморфных квазигрупп порядка 3:

Количество попарно неизоморфных квазигрупп порядка 4: 35

Количество попарно неизоморфных квазигрупп порядка 5: 1411
Количество попарно неизоморфных квазигрупп порядка 6: 1130531
Спасибо за внимание!