Проводимые уже более века исследования квазиполей тесно
связаны с исследованиями проективных плоскостей, [1, 2, 3]. Эти
исследования используют с середины прошлого века компьютерные вычисления. Их отражает обзор [4] 2007 года показывающий,
что строение даже известных собственных (или не являющихся
полем) конечных полуполей и квазиполей и их луп ненулевых
элементов изучено мало.
Построение квазиполей тесно связано с построением проективных плоскостей трансляций. В § 2 приводятся основные определения, связанные с проективными плоскостями трансляций, в
том числе определение регулярного множества плоскости, позволяющее сопоставить координатизирующее квазипле. В § 3 детально рассматривается схема построения квазиполей из работы
Оямы [5] и представление регулярного множества.
В § 1 приводятся основные определения, связанные с полуполями и квазиполями. Доказано существование в любом конечном квазиполе Q простого подполя (лемма 1.2). Показано, что
квазиполе Q над ним всегда является односторонним модулем,
а двусторонним — не всегда. На примере почти-поля порядка 25
показывается также, что простое подполе не обязано лежать в
центре квазиполя (§ 4).
В §§ 4 и 5 рассматриваются конечные квазиполя с ассоциативными степенями, а именно ассоциативные квазиполя, называемые почти-полями, и квазиполя Муфанг. Приводятся аналоги
теорем Лагранжа и Силова для конечных луп Муфанг из работ
[6, 7, 8]. С их помощью Чейн [9] перечислил собственные лупы Муфанг порядка < 32. Аналогично, в § 5 мы перечисляем возможные порядки собственных квазиполей Муфанг порядков ≤ 100.
В магистерской диссертации получены следующие результаты.
1. Доказано, что в любом конечном квазиполе существует простое подполе, и над ним правое квазиполе есть левый модуль.
2. Показано, что простое подполе не обязано лежать в центре квазиполя.
3. Доказано, что простое подполе всякого конечного полуполя содержится в центре этого полуполя.
4. Построен пример почти-поля, являющегося односторонним, но
не двусторонним модулем над своим простым подполем.
5. Рассмотрена схема Оямы [5] построения регулярного множества плоскости и координатизирующего ее квазиполя.
6. С помощью известных аналогов теорем Лагранжа и Силова
для луп Муфанг, перечислены возможные порядки собственных
квазиполей Муфанг порядков ≤ 100.
Полученные результаты имеют теоретическое значение и могут быть использованы при разработке криптографических методов.
Апробация работы. Основные результаты исследования
докладывались в СФУ в 2014 и 2016 годах на научно-технических
конференциях студентов, аспирантов и молодых ученых «МОЛОДЕЖЬ И НАУКА».
Холл, М. Теория групп / М. Холл. — Москва : Издательство
иностранной литературы, 1962. — 468 p.
2 Luneburg, H. Translation planes / H. Luneburg. — Berlin–
Heidelberg–New York : Springer, 1980.
3 Hughes, D. R. Projective planes / D. R. Hughes, F. C. Piper. —
New-York Inc : Springer–Verlag, 1973. — 291 p.
4 Johnson, N. L. Handbook of finite translation planes /
N. L. Johnson, V. Jha, M. Biliotti. — London New York: Chapman
Hall/CRC, 2007. — 861 p.
5 Oyama, T. On quasifields / T. Oyama // Osaka Journal of
Mathematics. — 1985. — № 22(1). — P. 35–54.
6 Grishkov, A. N. Lagrange’s theorem for Moufang Loops /
A. N. Grishkov, A. V. Zavarnitsine // Math. Proc. Camb. Phil.
Soc. — 2005. — № 1(139). — P. 41—57.
7 Gagola, S. M. The conjugacy of triality subgroups of Sylow
subloops of Moufang loops / S. M. Gagola // Journal of Group
Theory. — 2010.
8 Grishkov, A. N. Sylow’s theorem for Moufang loops /
A. N. Grishkov, A. V. Zavarnitsine // J. Algebra 321. —
2009 (7). — P. 1813–1825.
9 Chein, O. Moufang loops of small order / O. Chein //
Transactions of the American mathematical society. — Vol.188,
issue 2. —1974.
10 Курош, А. Г. Лекции по общей алгебре / А. Г. Курош. —
Санкт-Петербург : Лань, 2007. — 560 с.
11 Veblen, O. Non-Desarguesian and Non-Pascalian Geometries /
O. Veblen, J. H. Maclagan-Wedderburn // Trans. Amer. Math.
Soc. — 1907. — Vol. 8, №3. — P. 307–388.
2212 Kallaher, M. Affine planes with transitive collineation groups /
M. Kallaher. — North-Holland. — 1982.
13 Albert, A. A. Finite division algebras and finite planes /
A. A. Albert // Proc. Sympos. Appl. Math. AMS, Provid. R.I —
1960. — Vol.10. — P. 53-70.
14 Zassenhaus, H. Uber endliche Fastkorper / H. Zassenhaus // Abh.
Math. Sem. Hamburg. — 1936. — 11. — P. 187–220.
15 Bruck, R. H. A survey of binary systems / R. H. Bruck. —
Springer-Verlag, 1971. — 188 p.
16 Kallaher, M. J. Right Bol quasi-fields / M. J. Kallaher //
Canadian journal of mathematics. — 1969. —P. 1409–1420.
17 Moufang, R. Zur Struktur von Alternativkorpern / R. Moufang
// Math. Ann. — 1935. — 110. — P. 416–430.
18 Gagola, S. M. Hall’s Theorem for Moufang loops / S. M. Gagola
// J. Algebra 323. — 2010. — P. 3252–3262.
19 Левчук, В. М. Строение квазиполей малых четных порядков
/ В. М. Левчук, П. К. Штуккерт // Труды ИММ УрО РАН. —
2015. — Т. 21, № 3. — С. 197–212.