CC BY
15
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 20. Выпуск 3.
УДК 519.145 DOI 10.22405/2226-8383-2019-20-3-316-332
О некоторых 3-примитивных полуполевых плоскостях1
О. В. Кравцова, И. В. Шевелева
Кравцова Ольга Вадимовна — кандидат физико-математических наук, доцент, кафедра высшей математики № 2, Институт математики и фундаментальной информатики Сибирского федерального университета (г. Красноярск). e-mail: [email protected]
Шевелева Ирина Викторовна — кандидат физико-математических наук, доцент, кафедра высшей математики № 2, Институт математики и фундаментальной информатики Сибирского федерального университета (г. Красноярск). e-mail: [email protected]
Аннотация
Развивается подход к построению и классификации полуполевых проективных плоскостей с использованием линейного пространства и регулярного множества. Решается задача построения проективной плоскости с фиксированными ограничениями на группу кол-линеаций (автоморфизмов).
Проективная плоскость называется полуполевой, если ее координатизируюгцее множество есть полуполе, или кольцо с делением. Это алгебраическая система с двумя бинарными операциями, удовлетворяющая всем аксиомам тела, за исключением, возможно, ассоциативности умножения. Коллинеация конечной проективной плоскости порядка р2п (р > 2 простое) называется бэровской, если она фиксирует поточечно подплоскость порядка рп. Если порядок бэровской коллинеации делит рп — 1, то те делит рг — ^и г < п, то коллинеация называется р-примитивной. Полуполевая плоскость, допускающая такую коллинеацию, также называется р-примитивной.
М. Кордеро в 1997 г. построила четыре примера 3-примитивных полуполевых плоскостей порядка 81 с ядром порядка 9, используя регулярное множество, образованное 2 х 2-матрицами. В статье рассмотрен общий случай 3-примитивных полуполевых плоскостей порядка 81с ядром порядка < 9 и регулярным множеством в кольце 4 х 4-матриц. Полученные авторами ранее независимо теоретические результаты применены для построения матричного представления регулярного множества и группы автотопизмов. Выделено восемь классов изоморфизма 3-примитивных полуполевых плоскостей порядка 81, включающих примеры М. Кордеро. Разработан алгоритм, оптимизирующий проверку попарной изоморфности полуполевых плоскостей, и его программная реализация. Показана разрешимость полной группы коллинеаций 3-примитивных полуполевых плоскостей порядка 81, вычислены порядки автотопизмов, в том числе бэровских.
Описано строение попарно неизотопных полу полей порядка 81, координатизирующих восемь попарно неизоморфных 3-примитивных полуполевых плоскостей порядка 81. Найдены спектры мультипликативных луп ненулевых элементов, лево- и правосторонние спектры, максимальные подполя и автоморфизмы. Полученные результаты иллюстрируют гипотезу Г. Венэ о лево- или правопримитивности конечного полуполя и демонстрируют некоторые аномальные свойства конечных полуполей.
Методы и алгоритмы, представленные в статье, могут быть использованы для построения и исследования полуполей и полуполевых проективных плоскостей нечетного порядка рп также для р > 3 и п > 4.
1 Исследование выполнено за счет гранта Российского фонда фундаментальных исследований (проект 1601-00707).
Ключевые слова: полуполевая плоскость, коллинеация, автотопизм, бэровская подплос-кость.
Библиография: 20 названий. Для цитирования:
О. В. Кравцова, И. В. Шевелева. О некоторых 3-примитивных полуполевых плоскостях // Чебышевский сборник, 2019, т. 20, вып. 3, с. 316-332.
CHEBYSHEVSKII SBORNIK Vol. 20. No. 3.
UDC 519.145 DOI 10.22405/2226-8383-2019-20-3-316-332
On some 3-primitive projective planes2
O. V. Kravtsova, I. V. Sheveleva
Kravtsova Olga Vadimovna — candidate of phvsico-mathematical Sciences, associate Professor, Department of mathematics № 2, Institute of mathematics and computer sciences of Siberian Federal University (Krasnoyarsk). e-mail: [email protected]
Sheveleva Irina Viktorovna — candidate of phvsico-mathematical Sciences, associate Professor, Department of mathematics № 2, Institute of mathematics and computer sciences of Siberian Federal University (Krasnoyarsk). e-mail: [email protected]
Abstract
We evolve an approach to construction and classification of semifield projective planes with the use of the linear space and spread set. This approach is applied to the problem of existance for a projective plane with the fixed restrictions on collineation group.
A projective plane is said to be semifield plane if its coordinatizing set is a semifield, or division ring. It is an algebraic structure with two binary operation which satisfies all the axioms for a skewfield except (possibly) associativity of multiplication. A collineation of a projective plane of order p2n (p > 2 be prime) is called Baer collineation if it fixes a subplane of order pn pointwise. If the order of a Baer collineation divides pn — 1 but does not divide pl — 1 for i < n then such a collineation is called p-primitive. A semifield plane that admit such collineation is a p-primitive plane.
M. Cordero in 1997 construct 4 examples of 3-primitive semifield planes of order 81 with the nucleus of order 9, using a spread set formed by 2 x 2-matrices. In the paper we consider the general case of 3-primitive semifield plane of order 81 with the nucleus of order < 9 and a spread set in the ring of 4 x 4-matrices. We use the earlier theoretical results obtained independently to construct the matrix representation of the spread set and autotopism group. We determine 8 isomorphism classes of 3-primitive semifield planes of order 81 including M. Cordero examples.
We obtain the algorithm to optimize the identification of pair-isomorphic semifield planes, and computer realization of this algorithm. It is proved that full collineation group of any semifield plane of order 81 is solvable, the orders of all autotopisms are calculated.
We describe the structure of 8 non-isotopic semifields of order 81 that coordinatize 8 non-isomorphic 3-primitive semifield planes of order 81. The spectra of its multiplicative loops of non-zero elements are calculated, the left-, right-ordered spectra, the maximal subfields and
2The study was carried out with a grant from the Russian Foundation for Basic Research (project 16-01-00707).
automorphisms are found. The results obtained illustrate G. Wene hypothesis on left or right primitivity for any finite semifield and demonstrate some anomalous properties.
The methods and algorithsm demonstrated can be used for construction and investigation of semifield planes of odd order pn for p > ^d n > 4.
Keywords: semifield plane, collineation, autotopism, Baer subplane.
Bibliography: 20 titles.
For citation:
0. V. Kravtsova, I. V. Sheveleva, 2019, "On some 3-primitive projective planes" , Chebyshevskii sbornik, vol. 20, no. 3, pp. 316-332.
1. Введение
Геометрические свойства конечной проективной плоскости существенно зависят от свойств алгебраических операций, задаваемых на координатизирующем множестве. Дезарговы плоскости, имеющие наиболее богатую группу коллинеаций, координатизируются полем. Если плоскость координатизируется квазиполем, то она является плоскостью трансляций. Плоскости, координатизируемые полуполем (полуполевые плоскости), являются плоскостями трансляций и дуальные к ним плоскости также - плоскости трансляций.
Связь геометрических свойств плоскости и алгебраических свойств координатизирующего множества настолько тесная, что даже на первый взгляд незначительные различия свойств координатизирующих множеств дают существенные различия геометрических свойств плоскостей. Известно, что группа коллинеаций дезарговой плоскости неразрешима, однако все существующие примеры полуполевых плоскостей имеют разрешимую группу коллинеаций. Более того, существует гипотеза, что группа коллинеаций всякой конечной недезарговой полуполевой плоскости разрешима (см. [1], вопрос 11.76, 1990 г.). В ряде работ (см. [2, 3]) устанавливается справедливость данной гипотезы для отдельных классов плоскостей.
Известен способ построения и исследования полуполевых плоскостей, как и других плоскостей трансляций, с использованием линейного пространства четной размерности и специального семейства линейных преобразований, называемого регулярным множеством. Матричное представление регулярного множества тесно связано с геометрическими свойствами плоскости. Так, в работах [4, 5, 6] изучены полуполевые плоскости ранга 2 над своим ядром, группа автоморфизмов которых содержит бэровские коллинеации определенного порядка. Результаты были обобщены для произвольного ранга авторами настоящей статьи в [7, 8, 9].
Целью представленного исследования является применение полученных теоретических результатов для построения р-примитивных полуполевых плоскостей ранга более 2. Пакет разработанных авторами компьютерных программ протестирован на примере 3-примитивных полуполевых плоскостей порядка 81 - минимальном недезарговом примере. Построено матричное представление регулярного множества и группы автотопизмов, выделены все попарно неизоморфные плоскости, описано строение координатизирующих полуполей. Основным результатом работы является следующая теорема.
Теорема 1. Существует ровно восемь, с точностью до изоморфизма, 3-примитивных недезарговых полуполевых плоскостей порядка 81. Каждая из них имеет 2-ранг группы автотопизмов, равный трем, и разрешимую полную группу коллинеаций.
2. Основные определения и обозначения
Приведем некоторые основные определения и обозначения, в соответствии с [2, 10].
Полуполем (semifield) называют множество S, на котором определены две бинарные алгебраические операции + и *, при выполнении условий:
1) (S, +) - абелева группа с нейтральным элементом 0;
2) (S*, *) -лупa (S* = S \ {0});
3) выполняются дистрибутивные законы а * (b + с) = а * b + а * с, (b + с) * а = b * а + с * а для любых a,b,c е S.
Ослабление двусторонней дистрибутивности до односторонней приводит к понятию квазиполя - правого либо левого.
Полуполе S содержит подмножества Nr, Nm, Ni, называемые правым, средним, и левым ядрам,и соответственно:
Nr = {п е S | (а * b) * п = а * (Ь * п) Уа,Ь е 5},
Nm = {п е S | (а * п) * b = а * (п * Ь) Уа,Ь е S}, (1)
Ni = {п е S |( п * а) * b = п * (а * Ь) Уа,Ь е 5}.
Пересечение N = Ni П Nm П Nr назвают ядром, полуполя, множество
Z = {z е N | z * а = а * z У а е 5}
- центром, полуполя. Ядра и центр конечного полуполя являются подполями, и полуполе можно рассматривать как линейное пространство над каждым из них. Следовательно, порядок конечного полуполя равен степени простого числа рп.
Рассмотрим линейное пространство ^размерности п над полем GF (ps) и подмножество линейных преобразований
R С GLn(ps) U {0},
удовлетворяющее условиям:
1) R состоит из pns квадратных (п х п)-матриц над GF(ps);
2) Д содержит нулевую и единичную матрицы (0 и £);
3) для любых двух различных матриц А, В е R, А = В, разность А — В является невырожденной матрицей.
Такое множество R называют регулярным множеством (spread set, [2]).
Из перечисленных условий следует, что матрица регулярного множества однозначно определяется выбором любой своей строки (или столбца). Будем считать, что элементы матрицы определяются выбором, для определенности, последней строки. Введем биективное отображение в из W на R и запишем регулярное множество в виде:
R = {в(у) | у е W},
тогда последняя строка матрицы в(у) совпадает с вектором у,
9(0, 0,... 0) = 0, 9(0, 0,..., 1) = Е.
Введем умножение на множестве W правилом
х * у = х ■ 9(у), х,у е W.
Тогда (W, +, *) - правое квазиполе [10, 3], и при дополнительном уеловии замкнутости R по сложению - полуполе.
Отметим, что для построения и исследования конечных полуполей в качестве основного поля GF(ps) используют обычно центр Z полуполя, регулярное множество является тогда п-мерным линейным пространством над Z. Однако удобнее рассматривать векторное пространство W и матрицы регулярного множества над полем простого порядка Zp. В этом случае
отображение в записывается с использованием только линейных функций, что значительно упрощает рассуждения и вычисления (в том числе компьютерные). Пусть Ш - линейное пространство размерности п над Ър,
К = {%) | у е W} с СЬп(р) и {0}
- регулярное множество, замкнутое по сложению, {Ш, +, *) - полуполе с умножением х * у = хв(у). Рассмотрим внешнюю прямую сумму V = Ш ® Ш и определим проективную плоскость ■к порядка рп следующим образом:
1) элементы (х,у), х,у е Ш пространства V назовем аффинными точками плоскости
2) аффинными прямыми назовем смежные классы по подгруппам
V(т) = {(х,хв(т)) | х е Ш}, т е Ш, V(ж) = {(0,у) | у е W};
3) множество всех смежных классов по одной подгруппе V(т) или V(ж) назовем особой точкой (т) или (ж) соответственно;
4) множество особых точек назовем особой прямой [ж];
5) инцидентность определим теоретико-множественным способом.
Построенная так проективная плоскость является полуполевой плоскостью, ее полная группа коллинеаций (автоморфизмов) имеет вид АиЬп = Т X С, где Т = {та,ь1а,Ь е Ш} -группа трансляций,
Та,ь :(х,у) ^ (х + а, у + Ь), х,у е
С - трансляционное дополнение, стабили затор точки (0, 0). Автоморфизм ы из С задаются линейными преобразованиями пространства V:
а :(х,у) ^ (х,у)(^^
Здесь А, В, С, И - матрицы над Ър размерности п х п (можно показать, что для любой полуполевой плоскости С = 0). Заметим, что запись коллинеаций из С при помощи только линейных преобразований становится возможной за счет матричного представления регулярного множества над полем простого порядка. Если в качестве основного поля используется ядро полуполя СР(рв), то такие коллинеации задаются полулинейными преобразованиями, что ведет к усложнению расчетов и рассуждений.
Подгруппа Л < С, образованная коллинеациями, фиксирующими треугольник (0, 0) (0), (ж) [0, 0] [0] [ж]
автотопизмам - блочно-диагональные,
Л :(х,у) ^ (х,у)(^ ф ^ .
Особыми свойствами обладают коллинеации, фиксирующие замкнутую конфигурацию. Так, известно [2], что всякая коллинеация порядка два является либо центральной, либо бэ-ровской коллинеацией.
Коллинеация проективной плоскости называется центральной, если она фиксирует поточечно некоторую прямую (ось), некоторую точку (центр) и все прямые, проходящие через центр (не поточечно). Если центр инцидентен оси, то коллинеация называется элацией, в противном случае - гомологией.
В частности, трансляции та,ь - это элации с осью [ж]. Трансляционное дополнение С представимо как С = О X Л, гДе О _ группа элаций с осью [0] и центром (ж). Эта группа
элементарная абелева, ее порядок равен порядку плоскости. Следовательно, изучение полной группы коллинеаций полуполевой плоскости сводится к описанию ее автотопизмов.
Центральные коллинеации образуют в группе автотопизмов следующие циклические подгруппы [11]:
1) Hr ~ N* - группа гомологий с осью [0, 0] и центром (те);
2) Hi ~ N* - группа гомологий с осью [те] и центром (0, 0);
3) Нт ~ Ni*^ - группа гомологий с осью [0] и центром (0).
Коллинеация проективной плоскости ■к порядка т называется бэровской, если она фиксирует поточечно максимальную подплоскость порядка л/\п\ = ^рт (бэровскую подплоскость).
Пусть ж — полуполевая плоскость порядка р2п с (левым) ядром К ~ GF(ps), где р - простое число. Коллинеация [3 плоскости ж называется р-примитивной бэровской коллинеацией, если она фиксирует бэровскую подплоскость поточечно и ее порядок есть р-примитивный делитель рп — 1 (то ееть \ \ (рп — 1), но \ (рг — г <п). Полуполевая плоскость порядка
2п с с
р называется р-пр^митивнои пмутлевои москостъю, если она допускает р-примитивную бэровскую коллинеацию.
3. Теоретические результаты
Первая работа, посвященная изучению р-примитивных полуполевых плоскостей, была опубликована в 1987 году. В этой работе И. Хирамин, М. Мацумото и Т. Ойама начали изучение плоскостей ранга 2. Они предложили идею построения регулярного множества и получили некоторые свойства группы коллинеаций таких плоскостей [12]. Изучение р-примитивных полуполевых плоскостей было продолжено И. Л. Джонсоном в статьях [13, 14]. В частности, в [14] он доказал, что порядок р-примитивной полуполевой плоскости ж ранга 2 равен q4 (q = pr) и определил вид регулярного множества плоскости. В работах [15, 16] М. Кордеро изучила и выписала вид всех автотопизмов и доказала разрешимость группы автотопизмов в частном случае при q = р. М. Кордеро построила [6] матричное представление регулярного множества р-примитивной полуполевой плоскости порядка р2п с ядром порядка рп и привела примеры четырех попарно неизоморфных 3-примитивных полуполевых плоскостей порядка 81с ядром GF(9). Если ж — ^примитивная полуполевая плоскость порядка q4 = р2п с ядром GF(q2), то базис 4-мерного линейного пространства над GF(q2) может быть выбран так, что регулярное множество плоскости ж в GL2(q2) U {0} имеет вид
Здесь и далее при ссылках на разные источники выбраны единообразные обозначения.
В работе [8] автором настоящей статьи описан общий случай р-примитивной полуполевой плоскости с ядром произвольного порядка ря: построено матричное представление регулярного множества, доказана разрешимость группы коллинеаций, описано ее строение. Перечислим некоторые из результатов.
Теорема 2. Пусть ж - полуполевая плоскость порядка, с^ с ядром К ~ СР(ря) ^ = рг, q4 = (ря)2п, р > 2 - простое число), допускающая линейную бэровскую коллинеацию а порядка q + 1. Тогда ж может быть представлена 4п-мерным векторным пространством над К так, что ее регулярное множество £ с СЬ2п(К) и {0} имеет вид
(2)
где Р С СЬп(К) и {0} Р ~ СР(о2), f - аддитивная взаимно однозначная, функция из Р в СЬп(К) и {0}. Подгруппа, бэровских коллинеаций {а) в этом случае записывается как
Q = {*) =
(f о о о
о С т о 0
о о С т 0
о о о f)
С eF, 1С | = 9 + 1, т = 1, 2,...,q + 1
(4)
Элементы матриц здесь и всюду далее представляют собой квадратные блоки-подматрицы одинаковой размерности, Е - единичная матрица.
Далее, в [9] рассмотрен следующий частный случай.
Пусть ^ - полуполевая плоскость порядка д4 с ядром К ~ СР(ря) (ц = рг, о4 = (ря)2п, р > 2 - простое число), регулярное множество которой в СР2П(К) и {0} имеет вид
£ =
Uq Ttf{V)\ V U )
U, V e F
(5)
где р - аддитивная взаимно однозначная функция из Р в Р, т е Р нормализует Р.
Теорема 3. 2-ранг группы линейных автотопизмов Л0 плоскости ж с регулярным множеством £1 равен трем или четырем.
Теорема 4. Нормализатор подгруппы, ( (4) в группе линейных а,вт,отопизмов Ло содержит ровно 7 инволюций:
hi =
(о Л) , h2 = ( (f е) , h3 = (f -е)
h4 =
(о L) , h5 = (0 -l), h6 = (oL L) , h7 =(oL -l),
(-f f)
где L = люции.
Теорема 5. Пусть к
e GL2n(K), причем h1,h2,h3 - гомологuu, h4,h5,h6,h7 - бэровские инво-
4
£1. Тогда полная группа коллинеаций плоскости ж разрешима.
Далее, в [7] автором рассмотрен случай, когда группа автотопизмов полуполевой плоскости нечетного порядка содержит бэровскую инволюцию.
Теорема 6. Пусть к - полуполевая плоскость порядка, рм, р > 2 - простое число, допускающая бэровскую инволюцию Р в трансляционном дополнении. Тогда, N = 2п и плоскость ж может быть задана, 4п-мерным векторным пространством над Ър так, что Р определяется (4п х 4п)-матрицей
Р =(Ь
(L L).
,0 L
Плоскость к имеет регулярное множество £2 С GL2n(p) U |0};
£2 = {í?( V,U) = (
m(U) f(V)\
V
U
U eKi, V e K2
} ■
(6)
где К1 и К2 - регулярные множества в СЬп(р) и {0} К1 - регулярное множество бэровской подплоскости ж0, фиксируемой инволюцией Р, т, $ - инъективные линейные отображения из К1 и К2 соответственно в СЬп(р) и {0} причем т(Е) = Е, /(Е) = Е.
Заметим, что для плоскости ранга 4 множества матриц К1 и К2 состоят из р2 элементов
К1 = К2
4. Построение попарно неизоморфных полуполевых плоскостей порядка 81
Если полуполевая плоскость является ^примитивной, то некоторая степень р-примитив-ной бэровской коллинеации является бэровской инволюцией.
В работе [7] описан алгоритм построения полуполевой плоскости, допускающей бэровскую инволюцию, на примере ^ = 81. Применим его для построения 3-примитивных полуполевых плоскостей порядка 81.
Применяя теорему 6, зададим плоскость ■к 8-мерным линейным пространством над полем Ъз и регулярным множеством £2 С С£4(3)и{0}. Тогда регулярное множество Р С СД2(3)и{0} бэровской подплоскости по является 2-мерным линейным пространством,
Р = {и = щБ + щЕ I иг, и2 е Ъ3},
(7)
{Б, Е} - базис Р. Очевидно, подплоскость жо — дезаргова, Р - поле порядка 9. В качестве
1 1 1. Линейные функции т и /
Б можно выбрать, без потери общности, матрицу Б = представимы в виде
10
т(игБ + и2Е) = игМ + и2Е, ¡(игБ + и2Е) = игРг + и2Р2
для каждого и = игБ + и2Е е Р. Здесь М,Рг,Р2 е ОЬ2(3), т(Е) = Е, Р2 = ¡(Е) = Е. Регулярное множество £2 является 4-мерным линейным пространством над Ъз с базисом, например,
0(Б, 0)=(Б , в(Е, 0)=[0
(Е р0) • = (М Б) •
ч0.е)==(е Е)
Если матрицы М, Р\, Р2 выбраны так, что для всех х, е Ъз матрица
'г М + г Е хР\ + уР2
в(х Б + у Е, г Б + Ь Е) =
(
= х
хБ + уЕ 0
Б 0
г б + ге 0
(0 Рг\ (0 (М 0\.(Е 0\
[Б 0 ) + У{Е 0) +г{0 Б)+г{0 Е)
х = у = = = 0
М, Рг, Р2 задает полуполевую плоскость ж, удовлетворяющую указанным условиям.
С использованием компьютера получено 106 наборов матриц М,Р\,Р2, т.е. построено 106 полуполевых плоскостей порядка 81, допускающих бэровскую инволюцию в трансляционном дополнении. Для каждой из построенных плоскостей были найдены левое, правое и среднее ядра (1) координатизирующих полуполей. Выделены следующие случаи:
1) I№ I = 1Мт1 =3, 1МГI =9
2) №I = №I =3, 1Мт1 =9
3) ^ = ^г I =3, № I =9
4) №1 = ^ = I =9;
5) №1 = ^ = I =81.
В случае 5, очевидно, построенная плоскость является дезарговой.
Каждому из ядер полуполя соответствует множество матриц [11], определяющее подгруппу гомологий плоскости с регулярным множеством К, обозначим эти множества соответственно К1, Кт, Кг, все они являются подполями в ОЬп(р) и {0}:
К = {М е СЬп(р) и {0} | МТ = ТМ УТ е К}, Кт = {М е К I МТ е К УТ е К}, Кг = {М е К I ТМ е К УТ е К}.
Тогда подгруппы гомологий в группе автотопизмов представимы как:
м е к*| М е - , м е к;| - щ*.
Разобьем построенные плоскости на классы изоморфизма, используя замену базиса 8-мерного линейного пространства, сохраняющую бэровскую инволюцию р. Замена базиса с матрицей перехода
(о р2)
К К
ко в том случае, когда для всех матриц Т е К произведение Р-1ТР2 принадлежит множеству К
ре матриц Р1 и Р2. Использование такой матрицы перехода выделило 16 классов попарно изоморфных плоскостей порядка 81, считая дезаргову.
Следующий этап расчетов должен установить наличие изоморфизма между плоскостями из разных выделенных классов, без требования сохранения бэровской инволюции р. Непосредственный перебор всех возможных матриц перехода требует расчетов для
|№(3)|2 = ((81 - 1)(81 - 3)(81 - 9)(81 - 27))2 = 242611202
Р Р2
24261120 ■ 80 за счет следующих рассуждений.
Т = Е е К Р-1ТР2 = Р-1Р2 = Т е К', тогда Р2 = Р1Т'. Таким образом,
достаточно рассматривать все возможные матрицы Р1 е СЬ4 (3) и все ненулевые матрицы Т' из регулярного множества второй плоскости.
Поскольку количество вариантов все равно представляется малообозримым, продолжим рассуждения. Учитывая нормальность подгрупп гомологий Щ, Нт, Нг в группе автотопизмов, получаем условия:
Р-1МР1 е К'т УМ е К*т,
Р-1МР2 еК'г УМ е К*;
Р-1МРг = Р-1МР2 е К[ УМ еК*.
Рассмотрим, например, плоскости с большим средним ядром (порядка 9). Выберем матрицы М и М' так, что {М) = К*^ и {М') = К'*т и перепишем условие Р-1МР1 е К'т как равенство ХМ = М'X, где X = Р-1 - искомая матрица. Это равенство представляет систему из 16 линейных однородных уравнений на 16 неизвестных. Написана программа для
Нг =
Нт =
Н =
Е 0
0 М
М 0
0 Е
М 0
0 М
отыскания общего решения такой системы. Ранг основной матрицы равен 8, получаем множество из 5760 вариантов матрицы X = Р- . Далее вычисляем для каждого варианта матрицы Р1 все матрицы Р2 = Р\Т' и проверяем основное условие изоморфизма только для базисных элементов регулярного множества К:
Р—вф, 0)Р2 е я', Р{10(Е, 0)Р2 е Я', Р-10(0, Б)Р2 е Я', Р— 0(0, Е)Р2 е Я'.
Таким образом, количество вариантов сокращается с 24261120 ■ 80 до 5760 ■ 80 = 460800, т.е. в 4212 раз.
Для случаев большого правого либо большого левого ядра рассуждения аналогичные. С помощью компьютерных программ в каждом из случаев найдены все матрицы, задающие изоморфизмы построенных плоскостей, и, для Д' = К автотопизмы каждой плоскости. Окончательно имеем восемь попарно неизоморфных недезарговых плоскостей порядка 81, т.е. восемь классов изоморфизма.
Эти расчеты показали, что группа автотопизмов Л в каждом случае является 2-группой порядка 2т, 8 ^ т ^ 11, откуда немедленно следует ее разрешимость и, следовательно, разрешимость полной группы коллинеаций.
Матрицы, задающие регулярные множества неизоморфных плоскостей, приведены ниже в Табл. 2. Перечислять элементы групп автотопизмов не представляется целесообразным.
5. 3-примитивные плоскости порядка 81
Вычисление порядков автотопизмов для каждой из восьми неизоморфных плоскостей показывает, что каждая плоскость допускает ровно 7 автотопизмов порядка 2, в соответствии со списком теоремы 4. Кроме того, порядок любого автотопизма не превышает 16. Из общего
Л
в табл.1.
Таблица 1
Плоскость 1Щ, 1МГ| |Л| П2 В2 п4 В4 щ П16
А1 3,3,9 256 7 4 88 4 32 128
А2 3,3,9 512 7 4 216 4 160 128
В1 3,9,3 256 7 4 88 4 32 128
В2 3,9,3 512 7 4 216 4 160 128
С1 9,3,3 256 7 4 88 4 32 128
С2 9,3,3 512 7 4 216 4 160 128
Б1 9,9,9 1024 7 4 56 8 192 768
Б2 9,9,9 2048 103 100 600 8 576 768
Здесь Пк - число автотопизмов порядка к\ В^ - число бэровских коллинеаций порядка к, причем В к = 0 для к > 4, пк = 0 для к > 16. Так к ак В 4 = 0 для каждой из восьми плоскостей, то все они являются 3-примитивными, причем случай N1 ~ Ъ-3 представляет четыре новых примера, в сравнении с работой [6] М. Кордеро.
Так как плоскости 3-примитивны, перепишем их регулярное множество в виде £. Для этого должно выполняться условие т(и) = и3 для всех и е Р, поэтому отберем в каждом
классе изоморфизма плоскость с М = Б3 = ^0 • Табл. 2 представляет матрицы и Р2,
задающие функцию /(V) для выбранных плоскостей.
Выделим далее в общем списке полуполевые плоскости с регулярным множеством вида £1. Для этого перепишем аддитивную функцию /(V) в другом виде.
Теорема 7. Пусть р - простое число, Р ~ СР(рп), ^ - ассоциативное кольцо с единицей, содержащее подполе Р. Произвольную аддитивную функцию f : Р ^ ^ можно представить, причем однозначно, в виде
/(х) = Аох + А1хр + А2хр +-----+ Ап-гхрП
где Ао,А1,.. .,Ап-1 е П.
х Р,
(8)
Доказательство. Пусть и - порождающий элемент мультипликативной группы поля Р, тогда минимальный многочлен и над Ър является неприводимым многочленом степени п. Поэтому 1,и,и2,..., ип-1 линейно независимы как элементы п-мерного линейного пространства Р над Zр.
пространства Р над Zр в Следовательно, f однозначно определяется образами базисных элементов 1,и,и2,..., ип-1. Используя (8), составим систему линейных уравнений относительно неизвестных А,:
' Ао + А1 + А2 + ■ ■ ■ + Ап-1 = /(1), Аои + А1иР + А2и^2 + ■ ■ ■ + Ап-1ир"~1 = / (и), Аои2 + А1и2^ + А2и2^2 + ■ ■ ■ + Ап-1и2Рг"1 = ¡(и2),
Аоип-1 + А1и(п-1)р + А2и(п-1)р2 + ■ ■ ■ + Ап-1и(п-1)р" 1 = /(ип-1). Основной определитель этой системы
(9)
1 1 1. . 1
и ир ир . . иР"-1
А= и2 и2Р и2Р2 . . и2Р^1
ип-1 и(п-1)р и(п-1)р . и(п-1)рп-1
является определителем Вандермонда и равен А = Л (ирг — ир3). По выбору и, определитель отличен от нуля, поэтому система имеет единственное решение в Теорема доказана.
Замечание. В частности, утверждение справедливо для кольца (п х п)-матриц над Ър и его подпол я Р С СЬп(р) и {0}.
Запишем для построенных полуполевых плоскостей функцию /( V) в виде (8). Для наших построений
/( V) = /(ж И + у Е) = хР1 + УР2 = АоV + АlV3.
Система (9) в этом случае имеет вид
{Ао + А1 = Р2, [АоБ + А1И3 = Р1,
откуда имеем
Ао = ^ — Р^2 0),А1 =Р2 — Ао.Вь™„я по этим формулам
приводят к результатам, приведенным в табл. 2.
Таблица 2
Плоскость Р2 ((V) Тип
А1 (и) (2 2) з £
А2 (10) (2 ?) з з 22 £1
В1 (1?) (? ?) (2 +2"3 £
В2 (11) (0 0) (0 0)" £1
С1 (1?) (10) (2 2)^3 £о
С2 (1?) (0 2) (0 £о
Б1 (11) (2 2) 3 з 22 £о
Б2 (1?) (12) 22 00 £о
Если коэффициенты Ао, А\ принадлежат полю Р (плоскости С1, С2, Б1, Б2), то плоскость имеет регулярное множество вида £о (2), т.е. относится к типу Кордеро. Для плоскостей А2 и В2 ненулевой коэффициент функции /(V) нормализует поле Р (7), поэтому плоскости имеют регулярное множество вида £1 (5). Плоскости А1 и В1 не допускают представления регулярного множества в виде £1, они относятся к существенно новому типу.
Обозначим С = И + Е й выпишем подгруппы бэровских коллинеаций, порожденные 3-примитивными элементами. Каждая из плоскостей Л1 I )2 допускает подгруппу
Я =
<
/Е 0 0 0\
0 С 0 0
0 0 С 0
\0 0 0 е)
порядка 4 вида (4). Кроме Я, плоскости А1 и А2 допускают подгруппу
Я1 =
<
плоскости В1 и В2 - подгруппу
(Е 0 0 0
0 С 0 0
0 0 Е 0
0 0 0 с)
>
Я2 =
плоскости С1 и С2 - подгруппу
Яз =
(С 0 0 0
0 Е 0 0
0 0 С 0
0 0 0 е)
(С 0 0 0 \
0 Е 0 0
0 0 Е 0
0 0 0 с)
>
плоскости и Б2 - подгруппы Ql, Q2, Qз■
Таким образом, заключаем, что построены все попарно неизоморфные собственно полуполевые плоскости порядка 81, допускающие бэровскую инволюцию. Все они являются 3-примитивными, только четыре из построенных восьми плоскостей имеют левое ядро порядка 9 и изоморфны примерам М. Кордеро. Из оставшихся четырех новых плоскостей две плоскости обладают регулярным множеством вида £1, две другие демонстрируют существование
группы автотопизмов согласуются с доказанными в [8, 9, 7, 19] теоретическими результатами. Программное обеспечение, разработанное для построения представленных примеров, несложно адаптировать для другого основного поля Zр или другой размерности пространства.
6. О строении координатизирующих полуполей
Дополним перечень результатов информацией о строении полуполей Д1-Р2 порядка 81, координатизирующих плоскости А1 1)2.
Напомним, что изоморфные полуполевые плоскости координатизируются изотопными полуполями (теорема Алберта, [20]). Некоторые свойства полуполей (подполя, порядки элементов) не являются инвариантами относительно изотопизмов, поэтому будут упомянуты кратко.
В работе [19] доказаны результаты о строении полуполей нечетного порядка, допускающих автоморфизм порядка 2. Эти свойства являются общими для полуполей Д1-Р2. Свойство 1. Каждое полуполе содержит подполе порядка 3:
К = {(0, 0, 0, 0), (0, 0, 0,1), (0, 0, 0, 2)},
подполе порядка 9:
5*о = {(0,0, х, у) | х,у е Ы. Свойство 2. Мультипликативная лупа каждого полуполя содержит подгруппу порядка 2
К * = {(0, 0, 0,1), (0, 0, 0, 2)},
циклическую подгруппу порядка 4:
Но = {(0, 0, 0,1), (0, 0, 0, 2), (0, 0,1,1), (0, 0, 2, 2)},
подлупу порядка 16:
Ь = 5*о* и {(х, у, 0,0) 1х,у е ^з, (х, у) = (0,0)}.
Для дальнейших исследований разработаны компьютерные программы, вычисляющие степ
п
п
V(1 = V, у^1 = V ■ 1 = 1, 2,....
Левым порядком, |г>|| элемент а V = 1 называется наименьшее число п с условие м = 1, множество всех левых порядков называется левым, спектром, лупы. Правоупорядоченная степень, правый порядок и правый спектр определяются аналогично. Г. Венэ выдвинул в 1992 г. гипотезу: всякое конечное полуполе является левопримитивным либо правопримитивным, т.е. мультипликативная лупа ненулевых элементов является множеством всех левоупорядоченных
(правоупорядоченных) степеней одного элемента. Эта гипотеза опровергнута И. Руа, предложившим два примера непримитивных полуполей порядков 32 и 64, однако все полуполя порядка 81 лево- и правопримитивны (подробнее см. [17]).
Свойство 3. Полуполя Д1-Р2 не являются коммутативными, но для всякого ненулевого элемента левый порядок равен правому порядку.
Табл. 3 содержит информацию о спектре, левом (правом) спектре и группе автоморфизмов. Отметим, что левый спектр содержит число 80, что говорит о левопримитивности полуполя.
Таблица 3
Полуполе Левый спектр Спектр Порядок группы автоморфизмов
{1,2,4,8,16,40,80} {1,2,4,5,6,7,8} 2
Д2 {1,2,4,8,16,40,80} {1,2,4,6,7,8} 4 (циклическая)
В1 {1,2,4,8,16,40,80} {1,2,4,6,7,8} 4 (циклическая)
Б2 {1,2,4,8,16,80} {1,2,4,5,6,7,8} 4 (циклическая)
С1 {1,2,4,8,16,40,80} {1,2,4,5,6,7,8} 2
С 2 {1,2,4,8,16,80} {1,2,4,6,7,8} 4 (циклическая)
£>1 {1,2,4,8,16,40,80} {1,2,4,6,8,9,13} 4 (циклическая)
Р2 {1,2,4,8,16,40,80} {1,2,4,6,7,8} 8 (группа кватернионов)
Полуполе Р2, в отличие от остальных семи полуполей, содержит три подполя порядка 9: 5о, 51, 52)
5*1 = {(0, 0, 0, 0),(0, 0, 0,1), (0, 0, 0, 2), (1,1,1, 0), (1,1,1,1), (1,1,1, 2), (2, 2, 2, 0), (2, 2, 2,1), (2, 2, 2, 2)}, 5*2 = {(0, 0, 0, 0),(0, 0, 0,1), (0, 0, 0, 2), (1,1, 2, 0), (1,1, 2,1), (1,1, 2, 2), (2, 2,1, 0), (2, 2,1,1), (2, 2,1, 2)},
причем левое, правое и среднее ядра полуполя совпадают с 5о, мультипликативная лупа этого
Но Н1 Н2
Н1 = {(0, 0, 0,1), (0, 0, 0, 2), (1,1,1, 0), (2, 2, 2, 0)},
Н2 = {(0, 0, 0,1), (0, 0, 0, 2), (1,1, 2, 0), (2, 2,1, 0)}.
Группа автоморфизмов полуполя Р2 некоммутативна: группа кватернионов Q8. Отметим, что эти свойства не сохраняются при изотопизме: для одной из плоскостей, изоморфных Р2, координатизирующее полуполе имеет только одно подполе порядка 9 и допускает только один нетривиальный автоморфизм порядка 2.
7. Заключение
На основе результатов [9] и [7] мы доказали, что существует ровно 8, с точностью до изоморфизма, недезарговых 3-примитивных полуполевых плоскостей порядка 81 (включая примеры М. Кордеро). Вычислены порядки левого, среднего и правого ядер построенных плоскостей, порядок группы автотопизмов, количество 3-примитивных коллинеаций. Для координатизи-рующих полуполей найдены подполя и спектры мультипликативных луп. Разработан алгоритм проверки изоморфизма двух полуполевых плоскостей и пакет компьютерных программ, реализующий этот алгоритм. Расчетные согласуются с доказанными ранее теоретическими результатами.
Представленные результаты частично анонсированы в докладе на XV Международной конференции «Алгебра, теория чисел и дискретная геометрия», посвященной столетию со дня рождения профессора Н.М. Коробова, проходившей в г. Тула 28-31 мая 2018 г.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Мазуров В. Д., Хухро Е.И. Нерешенные вопросы теории групп. Коуровская тетрадь // Российская академия наук. Сибирское отделение. Институт математики. Новосибирск. 2006.
2. Hughes D.R., Piper F.C. Projective planes // Springer-Verlag, New-York. 1973.
3. Luneburg H. Translation planes // Springer-Verlag, New-York. 1980.
4. Biliotti M., Jha V., Johnson N.L., Menichetti G. A structure theory for two-dimensional translation planes of order q2 that admit collineation group of order q2 // Geom. Dedicata. 1989. Vol. 29, P. 7-43.
5. Huang H., Johnson N. L. 8 semifield planes of order 82 // Discrete Math. 1990. Vol. 80, № 1, P. 69-79.
6. Cordero M. Matrix spread sets of p-primitive semifield planes // Internat. J. Math, k, Math. Sci. 1997. Vol. 20, № 2, P. 293-298.
7. Кравцова О. В. Полуполевые плоскости нечетного порядка, допускающие подгруппу ав-тотопизмов, изоморфную А4 // Известия вузов. Математика. 2016. № 9, с. 10-25.
8. Подуфалов Н. Д., Бусаркина И. В. Группа автотопизмов полуполевой р-иримитивной плоскости порядка q4// Алгебра и логика. 1996. Т. 35, Л*8 3, с. 334-344.
9. Подуфалов Н.Д., Бусаркина И. В., Дураков Б. К. О группе автотопизмов полуполевой р-примитивной плоскости // в сб. Материалы межрегиональной научной конференции "Исследования по анализу и алгебре" ТГУ, Томск. 1998. с. 190-195.
10. Podufalov N.D. On spread sets and collineations of projective planes // Contem. Math. 1992. Vol. 131, № 1, P. 697-705.
11. Подуфалов H. Д., Дураков Б. К., Кравцова О. В., Дураков Е. Б. О полуполевых плоскостях порядка 162 // Сиб. Мат. Журн. 1996. Том 37, № 3, с. 616-623.
12. Hiramine Y., Matsumoto М., Ovama Т. On some extension of 1-sread sets // Osaka J. Math. 1987. Vol. 24, P. 123-137.
13. Johnson N. L. Sequences of derivable translation plans // Osaka J. Math. 1988. Vol. 25. P. 519530.
Osaka J. Math. 1989. Vol. 26. P. 281-285.
4
Osaka J. Math. 1991. Vol. 28. P. 305-321.
16. Cordero-Vourtsanis M. The autotopizm group of p-primitive semifield plans of order p4 // ARS Combinatoria. 1991. Vol. 32. P. 57-64.
17. Levchuk V. M., Kravtsova O.V. Problems on structure of finite quasifelds and projective translation planes // Lobachevskii Journal of Mathematics. 2017. Vol. 38, № 4, P. 688-698.
18. Кравцова О. В., Куршакова П. К. К вопросу об изоморфизме полуполевых плоскостей // Вестник КГТУ. Математические методы и моделирование. 2006. № 42, с. 13-19.
19. Kravtsova O.V. On automorphisms of semifields and semifield planes // Siberian Electronic Mathematical Reports. 2016. Vol. 13, P. 1300-1313.
20. Albert A. A. Finite division algebras and finite planes // Proc. Svmpos. Appl. Math., AMS, Provid. R.I. 1960. Vol. 10, P. 53-70.
REFERENCES
1. Mazurov V. D. k Khukhro E. I. 2006, Unsolved problems in group theory: the Kourovka notebook, Russian Academy of Sciences, Siberian Branch, Institute of Mathematics.
2. Hughes D.R. k Piper F.C. 1973, Projective planes, Springer-Verlag, New-York.
3. Luneburg H. 1980, Translation planes, Springer-Verlag, New-York.
4. Biliotti M., Jha V., Johnson N. L. k Menichetti G. 1989, "A structure theory for two-dimensional translation planes of order q2 that admit collineation group of order q2", Geom. Dedicata, vol. 29, pp. 7-43.
5. Huang H. k Johnson N. L. 1990, "8 semifield planes of order 82", Discrete Math., vol. 80, no. 1, pp. 69-79.
Math. Sci., vol. 20, no 2, pp. 293-298.
7. Kravtsova O.V. 2016. "Semifield planes of odd order that admit the autotopism subgroup isomorphic to A4", Russian Mathematics (Iz. VUZ), no. 9, pp.10-25.
8. Podufalov N. D. k Busarkina I. V. 1996. "The autotopism groups of a p-primitive plane of order q4", Algebra and Logic, vol. 35, is. 3, pp. 188-195.
9. Podufalov N.D., Busarkina I. V. k Durakov B.K. 1998, "On the autotopism group of a
and Algebra", TSU, Tomsk, pp. 190-195.
10. Podufalov N.D. 1992, "On spread sets and collineations of projective planes", Contem. Math., vol. 131, no 1, pp. 697-705.
11. Podufalov N.D., Durakov B.K., Kravtsova O.V. k Durakov E.B. 1996, "On the semifield planes of order 162", Siberian Mathematical Journal, vol. 37, no. 3, pp. 616-623.
12. Hiramine Y., Matsumoto M. k Ovama T. 1987, "On some extension of 1-sread sets", Osaka J. Math., vol. 24, pp. 123-137.'
13. Johnson N. L. 1988, "Sequences of derivable translation plans", Osaka J. Math., vol. 25, pp. 519530.
Osaka J. Math., vol. 26, pp. 281-285.
15. Cordero M. 1991, "Semifield plans of order p4 that admit a p-primitive Baer collineation", Osaka J. Math., vol. 28, pp. 305-321.
p p4
ARS Combinatoria, vol. 32, pp. 57-64.
17. Levchuk V. M. k Kravtsova O. V. 2017, "Problems on structure of finite quasifelds and projective translation planes", Lobachevskii Journal of Mathematics, vol. 38, no 4, pp. 688-698.
18. Kravtsova O. V. k Kurshakova P. K. 2006, "On the problem of isomorphism of semifield planes", Vestnik Krasnoyarskogo Gos. Techn. Univ., Krasnoyarsk, vol. 42, pp. 13-19.
19. Kravtsova O.V. 2016, "On automorphisms of semifields and semifield planes", Siberian Electronic Mathematical Reports, vol. 13, pp. 1300-1313.
20. Albert A. A. 1960, "Finite division algebras and finite planes", Proc. Sympos. Appl. Math., AMS, Provid. R.I., vol. 10, pp. 53-70.
nojivHeno 14.06.2018 r. IlpHHaTO B nenaib 12.11.2019 r.
