CC BY
65
ПОСТРОЕНИЕ И ИССЛЕДОВАНИЕ ПОЛУПОЛЕВЫХ
ПЛОСКОСТЕЙ ПОРЯДКА 2561
CONSTRUCTION AND INVESTIGATION OF SEMIFIELD PLANES OF ORDER 256
Б.К. Дураков, О.В. Кравцова B.K. Durakov, O.V. Kravtsova
Полуполевая плоскость, изоморфизм, автотопизм, бэровская инволюция,
Развивается подход к построению и классификации по-луполевых проективных плоскостей с использованием линейного пространства и регулярного множества. Показано, что существует 124 полуполевых (недезарговых) плоскости ранга 2 над <?Я(16), допускающих бэровскую инволюцию в линейном трансляционном дополнении. Построены нелинейные изоморфизмы полуполевых плоскостей порядка 256, вычислен порядок группы линейных автотопизмов. Получено еще одно подтверждение известной гипотезы о разрешимости группы колли-неаций полуполевой плоскости.
Semifield plane, isomorphism, autotopism, baer involution.
The authors extend the approach to construct and classify semifield projetive planes using linear space and spread set. They show that 124 semifield (nodesarguesian) planes of rank2overthefield of order 16, that admit baer involution in linear translation complement, do exist. Non-linear isomorphisms of semifield planes of order 256 are constructed; the order of linear autotopisms' group is calculated; another confirmation of the well-known hypothesis about the solvability of the group of collineations of semifield planes is obtained.
Среди проективных плоскостей особое место занимает класс плоскостей трансляций и подкласс полуполевых плоскостей, имеющих не только трансляционную прямую, но и трансляционную точку. Полуполевые плоскости, занимающие промежуточную ступень между плоскостями трансляций и классическими, де-зарговыми проективными плоскостями, обладают большой группой коллинеаций, строение которой изучено еще недостаточно хорошо, описано полностью лишь в некоторых частных случаях.
Существует гипотеза [Hughes, Piper, 1973] о разрешимости полной группы коллинеаций произвольной полуполевой (недезарговой) плоскости. В настоящее время эта гипотеза подтверждена для некоторых полуполевых плоскостей, и нет примеров, ее опровергающих.
Авторы решают вопрос о разрешимости полной группы коллинеаций полуполевой плоскости порядка 256 с ядром, содержащим поле порядка 16. Кроме того, изложенные результаты связаны с проблемой перечисления и классификации полуполевых плоскостей.
В статье уточняются результаты работы [Подуфалов и др., 1993], опубликованной в 1993 году. Получение новых результатов стало возможно главным образом благодаря существенному совершенствованию вычислительной техники за прошедшие годы.
Построение полуполевых плоскостей порядка 256
В 1989 году Н.Л. Джонсоном и другими [ВШоН е1а1., 1989] построено матричное представление регулярного множества полуполевой плоскости порядка ф над полем четного порядка д, допускающей бэровскую инволюцию в линейном трансляционном дополнении (коллинеацию, которая стабилизирует подплоскость порядка д).
Теорема 1. Пусть ж - полуполевая плоскость порядка д2, с] = 2к, с левым ядром, содержащим (11'(с/), которая допускает бэровскую инволюцию г е линейном трансляционном дополнении. Тогда регулярное множество к состоит из матриц вида
1 Работа выполнена при финансовой поддержке РФФИ, грант 10-01-00509-а, и гранта Минобрнауки, тема 1.34.11.
в(л\ и) = '+ V + т(у) /(у) + т(и)\ % и е '(Ш'Щ).
и )
где т (х), /(х) - аддитивные функции, / взаимно однозначна, т( 1) =0. Бэровская инволюция т задается матрицей
Г1 і 0 o'4
0 і 0 0
0 0 1 1
v0 0 0 lj
Поскольку функции т{х) и/(х) аддитивны, то они имеют вид:
т(х) = т0х + WjX2 + да,х4
nk-1
/(х) = /ох + /У + /.У +- + Л-!*2" 1 >
т,,/ еОР(д),/ = 0,1 -1.
В 1990 году X. Хуангом и Н.Л. Джонсоном [НОЙПё, ]оИп$оП, 1990] были построены первые примеры недезарговых полуполевых плоскостей описанного вида.
в классы попарно изоморфных при помощи изоморфизма (х, V) —* (х'7, у), где с - автоморфизм основного поля ОР(\6), действующий на каждую компоненту вектора.
В 1993 году авторы статьи [Подуфалов и др., 1993], пользуясь тем же методом, построили 480 полуполевых плоскостей порядка 162, допускающих линейную бэровскую инволюцию. Выбор базиса позволил свести перебор значений коэффициентов т. GF (16) к 33 случаям. Проверка условия с^б^у, и) * 0 для всех ненулевых матриц потребовала вычислений в течение 500 часов. Применение автоморфизма поля ОР (16) х° = х2 сократило список построенных плоскостей до 285.
В 2012 году полуполевые плоскости порядка 256 вновь оказались в поле нашего зрения при решении более общей задачи. Для уточнения некоторых параметров вновь были произведены все расчеты, необходимые при построении регулярного множества. Для сокращения времени написания программы рассматривалось всего лишь одно из условий на коэффициенты, сокращающее перебор.
Лемма 3. Пусть ж - полуполевая плоскость
Таблица 1
Плоскость № то т. III. щ /о А л л
1 0 0 0 0 0
2 а4 0 а4 0 0 0 0
755 аЛ 0 1 а5 а3 а14 а14 а4
Теорема 2. Существует ровно 7 попарно неизоморфных полуполевых (недезарговых) плоскостей порядка 82 с ядром порядка 8, допускающих бэровскую инволюцию в линейном трансляционном дополнении.
Такие плоскости были построены с использованием вычислительной техники путем перебора всех возможных значений коэффициентов функций т (х) и /(х) в поле GF(8). Эти коэффициенты выбирались так, чтобы все матрицы 9{v, и), кроме нулевой, были невырожденные. Для каждой из отобранных таким образом строк коэффициентов существует полуполевая плоскость, удовлетворяющая поставленным требованиям.
Построенные плоскости были объединены
ранга 2 над полем GF( 16), допускающая линейную бэровскую инволюцию вида (1). Тогда коэффициент f функции/(х) либо равен нулю, либо можно считать, что/()= а3.
Здесь а - корень многочлена х4+х+1, неприводимого над GF(2) (порождающий элемент мультипликативной группы поля GF(16)).
В результате компьютерных вычислений, которые заняли около одной минуты, был получен список из 755 наборов коэффициентов функций т{х) и fix), т. е. построены 755 полуполевых плоскостей. Укажем значения коэффициентов для некоторых из построенных плоскостей (здесь и далее нумерация плоскостей соответствует лексикографическому порядку коэффициентов).
Изоморфизмы полуполевых плоскостей порядка 256
Новые результаты об изоморфизмах [Кравцова, Куршакова, 2006] полуполевых плоскостей позволили значительно сократить полученный список. Кроме изоморфизмов, заданных линейными отображениями и автоморфизмом поля а, мы рассмотрели изоморфизмы, заданные полулинейными отображениями:
(х,уУ =(ха,уа)^А 0Л \0 2), .
Пусть к и п’ - две полуполевые плоскости с регулярными множествами Ж и Я' соответственно, построенные на основе одного линейного пространства V. Изоморфизм сохраняет отношение инцидентности, поэтому для любого вектора X и любой матрицы из регулярного множества 0 е й образ точки (х, хв) лежит на прямой, проходящей через (0,0) в ж>, тогда найдутся такие г и & е В!, что
х, хв) —> .(**» хав") [А °1 = (х"А. Х°(ГП)
и в)
а л
о V
, поэтому
га аЪ гс сс/'
А-1 = ,£> =
Ф а у 1о С )
, а, Ь, с, (Л е £1Р(1б),
т(х) т0х т х1 +Щ$/ т х3, /(л') [,._х /х1 /.л'1
т'(х) = т'0 х 1 т' х1 щ', х >п1 з?, /'(.V) х + fI х1 + /, л;’1 /\ х3
соответственно. Плоскости жиж1 изоморфны тогда и только тогда, когда существуют такие с, <3 еС^(16) и такое t = 1,2,4 или 8, что выполнены условия:
т
т
т
: т\с 1,
г -3
т2с ,
Таким образом, у = хаА и у& = хаА(? = х(Т1) для любого х. Отсюда следует, что если к = к’, то существуют такие невырожденные матрицы А и Д что для всех матриц в € Я произведение Ах1-0*I) является матрицей из регулярного множества В!. Здесь & - матрица регулярного множества Я, на каждый элемент которой действует автоморфизм о поля ОР{ 16), х'7 = х- (возведение в степень 1,2,4 или 8).
Кроме того, поскольку все построенные плоскости допускают бэровскую инволюцию (1), то матрицы А и Б коммутируют с матрицей
причем достаточно рассматривать а = 1. Умножая матрицы и сравнивая коэффициенты функций, формулируем результат.
Теорема 4. Пусть ж и ж* - полуполевые плоскости ранга 2 над О’/'(16), описанные Теоремой 1 и заданные функциями
Компьютерные расчеты позволили показать, что 755 построенных полуполевых плоскостей относятся к 125 различным классам попарно изоморфных плоскостей. Одна из этих плоскостей (№ 463) дезаргова. Остальные классы содержат от 1 до 120 плоскостей.
Теорема 5. Существуют ровно 124 неизоморфные полуполевые плоскости ранга 2 над полем Г/7'(16), допускающие бэровскую инволюцию в линейном трансляционном дополнении.
Группа линейных автотопизмов
Компьютерные вычисления позволяют найти для каждой из построенных плоскостей матрицы, образующие правое и среднее ядра. Левое ядро для недезарговых плоскостей образовано всеми скалярными матрицами, для дезарговой - совпадает с регулярным множеством. Результаты вычислений для недезарговых плоскостей следующие: плоскость № 1 имеет правое и среднее ядра порядка 16, плоскости № 2, 465, 33, 43 - порядка 4, для остальных плоскостей, по крайней мере, одно из ядер имеет порядок 2.
Отметим, что плоскость № 1 имеет правое ядро порядка 16. Это означает, что дуальная к ней полуполевая плоскость также имеет ранг 2 над полем ОЕ( 16). Так как группы автотопизмов дуальных плоскостей изоморфны, то дуальная плоскость также допускает бэровскую инволюцию, поэтому содержится в найденном перечне. В силу уникальности плоскости № 1 получаем результат.
Теорема 6. Полуполевая плоскость № 1 изоморфна своей дуальной плоскости.
Найдем централизатор бэровской инволюции тв группе линейных автотопизмовЛ(|. Его строение можно описать для каждой полуполевой плоскости, удовлетворяющей условиям теоремы 1, для поля вЩф произвольного четного порядка.
Теорема 7. Пусть ж - полуполевая (недезар-гова) плоскость ранга 2 над допускающая
бэровскую инволюцию т в линейном трансляционном дополнении. Тогда СА (г) = //У/ ( г) где Н - подгруппа ((0,0),[°° ])-гомологий, Ны -
подгруппа ((°° ),[0,0])-гомологий,
\(aE 0 4 I aE є id > Rlt и tcT 0* \\ЪЕ с Д,ЛК,
[lo aEJ \ llo ml J
Теорема 8. Полная группа коллинеаций полуполевой плоскости порядка 162 с ядром порядка 16 разрешима.
Обобщим изложенные результаты:
1) существует ровно 124 полуполевые (неде-зарговых) плоскости порядка 256 с ядром порядка 16, допускающие бэровскую инволюцию в линейном трансляционном дополнении;
2) одна из плоскостей такого вида изоморфна своей дуальной плоскости;
3) все бэровские инволюции в группе линейных автотопизмов сопряжены;
4) полная группа коллинеаций разрешима.
Таблица 2
Плоскость № H > о > О
1 25 2 • 5 і • З2
465 17 2 - 5 • 3-’- 17
68 15 2 - 52 - З2
33, 43 9 2 • 5 • З3
110 5 2 - 52 - 3
46, 47, 102, 106, 111, 143, 163, 166, 272 3 2 • 5 • З2
Остальные 1 2-5-3
Если т,
т.
=/; f. О (плоскости 1, 2, 465), Библиографический список
то,в остальных случаях .
В результате компьютерных вычислений были получены бэровские инволюции в А0 для каждой плоскости, причем показано, что все такие инволюции сопряжены и количество инволюций в А0 нечетно. Порядок группы линейных автотопизмов, таким образом, равен |Д,| = С 4 (г) • |г"" . Результаты представлены в табл. 2.
Зная порядок группы линейных автотопизмов, по теореме Бернсайда заключаем, что группа разрешима, из чего следует разрешимость полной группы коллинеаций Ай ж для всех построенных недезарговых плоскостей. Если же полуполевая плоскость не допускает бэровской инволюции в Ду то порядок А(| нечетный, поэтому АЩ л:также разрешима.
1. Кравцова О.В., Куршакова П.К. К вопросу об изоморфизме полуполевых плоскостей // Вестник КГТУ. 2006. Вып. 42: Математические методы и моделирование. С. 13-19.
2. Подуфалов Н.Д., Дураков Б.К., Кравцова О.В., Дураков Е.Б. О полуполевых плоскостях порядка 162 // Сиб. мат. журн. 1993. Т. 37, № 3. С. 616-623.
3. Biliotti М., 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. V. 29. P. 7-43.
4. Huang H., Johnson N.L. 8 semifield planes of order 82 Ц Discrete Math. 1990. V. 80, № 1. P. 69-79.
5. Hughes D.R., Piper F.C. Projective planes. Springer - Verlag New-York Inc., 1973. 324 p.
