WikiDer > Самолет перевода - Википедия
В математика, а самолет перевода это проективная плоскость который допускает определенную группу симметрий (описанную ниже). Вместе с Самолеты Хьюза и Самолеты Фигероа, плоскости трансляции являются одними из наиболее хорошо изученных из известных недезарговские планы, и подавляющее большинство известных недезарговских плоскостей либо являются плоскостями трансляции, либо могут быть получены из плоскости трансляции посредством последовательных итераций дуализация и / или происхождение.[1]
В проективной плоскости пусть п представляют точку, а л представляют собой линию. А центральная коллинеация с центром п и ось л это коллинеация фиксируя каждую точку на л и каждую строчку через п. Это называется приподнятостью, если п на л, иначе это называется гомологией. Центральные коллинеации с центром п и ось л сформировать группу.[2] Линия л в проективной плоскости Π является линией перевода, если группа всех отношений с осью л действует переходно по пунктам аффинная плоскость полученный путем удаления л с самолета Π, Πл (в аффинный производная от Π). Проективная плоскость с линией трансляции называется плоскостью трансляции.
В аффинная плоскость полученная путем удаления линии трансляции, называется аффинной плоскостью трансляции. Хотя часто проще работать с проективными плоскостями, в этом контексте несколько авторов используют термин «плоскость трансляции» для обозначения аффинной плоскости трансляции.[3][4]
Алгебраическая конструкция с координатами
Каждая проективная плоскость может быть скоординирована хотя бы одним плоское тройное кольцо.[5] Для плоскостей перевода всегда можно согласовать с помощью квазиполе.[6] Однако некоторые квазитела удовлетворяют дополнительным алгебраическим свойствам, и соответствующие плоские тернарные кольца координируют плоскости трансляции, допускающие дополнительные симметрии. Вот некоторые из этих специальных классов:
- Самолеты ближнего поля - координируются ближние поля.
- Полуполевые самолеты - координирует полутела, полуполевые плоскости обладают тем свойством, что их двойной тоже плоскость перевода.
- Самолеты Муфанг - координировал альтернативные делительные кольца, Самолеты Муфанг - это как раз те плоскости трансляции, которые имеют как минимум две линии трансляции. Каждая конечная плоскость Муфанг Дезарговский и каждый десарговский план является планом Муфанг, но есть бесконечные планы Муфанга, которые не являются дезарговскими (например, Самолет Кэли).
Дано квазиполе с операциями + (сложение) и (умножение), можно определить плоское тройное кольцо для создания координат плоскости трансляции. Однако более типично создание аффинной плоскости непосредственно из квазиполя, определяя точки как пары куда и - элементы квазиполя, а линии - множества точек удовлетворяющее уравнению вида , так как и изменяются по элементам квазиполя вместе с множествами точек удовлетворяющее уравнению вида , так как меняется по элементам квазиполя.[7]
Геометрическая конструкция с разворотами
Плоскости трансляции связаны с расширениями нечетномерных проективных пространств конструкцией Андре / Брука-Бозе.[8][9] А распространять из PG (2п+1, K), куда целое число и K тело, представляет собой разбиение пространства на попарно непересекающиеся п-мерные подпространства. В конечном случае разброс PG (2п+1, q) это набор qп+1 + 1 п-мерные подпространства, не имеющие двух пересекающихся.
Учитывая распространение S из PG (2п +1, K), конструкция Андре / Брука-Бозе создает плоскость перевода следующим образом: Вставить PG (2п+1, K) как гиперплоскость из PG (2п+2, K). Определите структуру заболеваемости А(S) с "точками" точки PG (2п+2, K) не на и "линии" (п+1)-мерные подпространства PG (2п+2, K) встреча в элементе S. потом А(S) - аффинная плоскость трансляции. В конечном случае эта процедура создает плоскость трансляции порядка qп+1.
Обратное утверждение почти всегда верно.[10] Любая плоскость трансляции, координированная квазиполем, конечномерным над своим ядром K (K обязательно делительное кольцо) могут быть получены из распространения PG (2п+1, K) используя конструкцию Андре / Брука-Бозе, где (п+1) - размерность квазиполя, рассматриваемого как модуль над его ядром. Мгновенным следствием этого результата является то, что любая конечная плоскость трансляции может быть получена из этой конструкции.
Регули и регулярные спреды
Позволять быть проективным пространством PG (2п+1, K) за целое число и K делительное кольцо. А Regulus[11] р в является набором попарно непересекающихся п-мерные подпространства со следующими свойствами:
- р содержит минимум 3 элемента
- Каждая линия встречает три элемента р, называется поперечный, встречает каждый элемент р
- Каждая точка перехода к р лежит на каком-то элементе р
Любые три попарно непересекающиеся п-мерные подпространства в лежат в единственном регулусе.[12] Распространение S из является правильным, если для любых трех различных п-мерные подпространства S, все определяемые ими члены уникального регула содержатся в S. Для любого делительного кольца K с более чем 2 элементами, если спред S из PG (2п+1, K) регулярна, то плоскость трансляции, созданная этим распространением с помощью конструкции Андре / Брука-Бозе, является Самолет Муфанг. Верно и несколько более слабое обратное: если плоскость трансляции Папский, то его можно сгенерировать с помощью конструкции Андре / Брука-Бозе из обычного спреда.[13]
В конечном случае K должно быть поле заказа , а классы плоскостей Муфанг, Дезарга и Паппа идентичны, поэтому эту теорему можно уточнить, чтобы утверждать, что распространение S из PG (2п+1, q) является регулярным тогда и только тогда, когда плоскость трансляции, созданная этим разворотом с помощью конструкции Андре / Брука-Бозе, равна Дезарговский.
Все развороты PG (2п+1, 2) тривиально регулярны, так как регулятор содержит только три элемента. Хотя единственная плоскость перевода порядка 8 - дезарговская, известны и недезарговские плоскости перевода порядка 2е для каждого целого числа .[14]
Семейства недезарговских переводческих плоскостей
Конечные переводные плоскости малого порядка
Хорошо известно, что единственные проективные плоскости порядка 8 или меньше являются дезарговыми, и не существует известных недезарговых плоскостей простого порядка.[15] Плоскости конечных трансляций должны иметь порядок мощности. Существует четыре проективных плоскости 9-го порядка, две из которых являются плоскостями трансляции: дезарговская плоскость и плоскость трансляции. Плоскость холла. В следующей таблице подробно описано текущее состояние знаний:
Заказ | Число недезарговских Самолеты перевода |
---|---|
9 | 1 |
16 | 7[16][17] |
25 | 20[18][19][20] |
27 | 6[21][22] |
32 | ≥8[23] |
49 | 1346[24][25] |
64 | ≥2833[26] |
Алгебраическое представление
Алгебраическое представление (аффинных) плоскостей трансляции может быть получено следующим образом: Пусть V быть 2п-размерный векторное пространство через поле F. Распространение V это набор S из п-мерные подпространства V которые разбивают ненулевые векторы V. Члены S называются компонентами спреда, и если Vя и Vj отдельные компоненты, то Vя ⊕ Vj = V. Позволять А быть структура заболеваемости чьи точки являются векторами V и чьи линии являются смежными классами компонентов, т. е. множествами вида v + U куда v вектор V и U является составной частью спреда S. Потом:[27]
- А является аффинной плоскостью, а группа переводы Икс → Икс + ш за ш в V - группа автоморфизмов, регулярно действующая в точках этой плоскости.
Конечная конструкция
Позволять F = GF (q) = Fq, конечное поле порядка q и V то 2п-мерное векторное пространство над F представлен как:
Позволять M0, M1, ..., Mqп - 1 быть п × п матрицы над F со свойством, что Mя – Mj неособый всякий раз, когда я ≠ j. За я = 0, 1, ...,qп – 1 определять,
обычно называемые подпространствами "у = xMя". Также определите:
подпространство "Икс = 0".
- Набор {V0, V1, ..., Vqп} - это распространение V.
Матрицы Mя используемые в этой конструкции, называются матрицами расширения или матрицы наклона.
Примеры обычных спредов
Регулярный спред можно построить следующим образом. Позволять F быть полем и E ан п-размерный поле расширения из F. Позволять V = E2 рассматривается как 2п-мерное векторное пространство над F. Множество всех одномерных подпространств V над E (и поэтому, п-размерный сверх F) является регулярным распространением V.
В конечном случае поле E = GF (qп) можно представить как подкольцо п × п матрицы над F = GF (q). Что касается фиксированной базы E над F, карты умножения, Икс → αx за α в E, находятся F-линейные преобразования и могут быть представлены п × п матрицы над F. Эти матрицы представляют собой матрицы регулярного распространения.[28]
В качестве конкретного примера следующие девять матриц представляют GF (9) как 2 × 2 матрицы над GF (3) и предоставьте широкий набор AG (2, 9).
Изменение наборов спредов
Набор трансверсалей регуляра р также образуют регулятор, называемый противоположный регулятор из р. Если спред S из PG (3, q) содержит регулятор р, удаление р и замена его противоположным регулятором дает новый спред S∗. Этот процесс является частным случаем более общего процесса, называемого производной или чистой заменой.[29]
Начиная с регулярного распространения PG (3, q) и вывод в отношении любого регуляра дает Плоскость холла. В более общем смысле, этот процесс может применяться независимо к любому набору регуляров в регулярном спреде, что дает субрегулярный спред;[30] полученная плоскость трансляции называется субрегулярная плоскость. В Самолеты Андре образуют особый подкласс субрегулярных плоскостей, простейшими примерами которых являются плоскости Холла.
Примечания
- ^ Эрик Мурхаус провел обширный компьютерный поиск, чтобы найти проекционные плоскости. За заказ 25, Мурхаус обнаружил 193 проективных плоскости, 180 из которых могут быть получены из плоскости трансляции путем повторного вывода и / или дуализации. За заказ 49известные 1349 плоскостей трансляции дают более 309 000 плоскостей, получаемых с помощью этой процедуры.
- ^ Геометрия Плоскость перевода Проверено 13 июня, 2007 г.
- ^ Хьюз и Пайпер 1973, п. 100
- ^ Джонсон, Джа и Билиотти 2007, п. 5
- ^ Зал 1943
- ^ Есть много способов координировать плоскость трансляции, которые не дают квазиполя, поскольку плоское тройное кольцо зависит от четырехугольника, на котором выбираются базовые координаты. Однако для плоскостей трансляции всегда есть некоторая координация, которая дает квазиполе.
- ^ Дембовский 1968, п. 128. Обратите внимание, что квазитела технически являются левыми или правыми квазиполями, в зависимости от того, распределяется умножение слева или справа (полутела удовлетворяют обоим законам распределения). Определение квазиполе в Википедии - левое квазиполе, а Дембовский использует правые квазиполя. Обычно это различие опускается, так как использование хирально «неправильного» квазиполя просто создает двойственность плоскости трансляции.
- ^ Андре 1954
- ^ Bruck & Bose 1964
- ^ Bruck & Bose 1964, п. 97
- ^ Это понятие обобщает понятие классического регулуса, который является одним из двух семейств управляющих линий на гиперболоид одного листа в 3-х мерном пространстве
- ^ Bruck & Bose, п. 163
- ^ Bruck & Bose, п. 164, теорема 12.1
- ^ Кнут 1965, п. 541
- ^ «Проективные плоскости малого порядка». ericmoorhouse.org. Получено 2020-11-08.
- ^ «Проективные плоскости порядка 16». ericmoorhouse.org. Получено 2020-11-08.
- ^ Рейфарт 1984
- ^ «Проективные плоскости порядка 25». ericmoorhouse.org. Получено 2020-11-08.
- ^ Дувр 2019
- ^ Червински и Окден
- ^ «Проективные плоскости порядка 27». ericmoorhouse.org. Получено 2020-11-08.
- ^ Демпвольф 1994
- ^ «Проективные плоскости порядка 32». ericmoorhouse.org. Получено 2020-11-08.
- ^ Матон и Ройл 1995
- ^ «Проективные плоскости порядка 49». ericmoorhouse.org. Получено 2020-11-08.
- ^ McKay, Royle & 2014. Это полный список двухмерных недезарговских плоскостей трансляции; известно, что существует много многомерных плоскостей.
- ^ Мурхаус 2007, п. 13
- ^ Мурхаус 2007, п. 15
- ^ Джонсон, Джа и Билиотти 2007, п. 49
- ^ Брук 1969
Рекомендации
- Андре, Йоханнес (1954), "Über nicht-Desarguessche Ebenen mit transitiver Translationsgruppe", Mathematische Zeitschrift, 60: 156–186, Дои:10.1007 / BF01187370, ISSN 0025-5874, МИСТЕР 0063056, S2CID 123661471
- Болл, Симеон; Джон Бамберг; Мишель Лавроу; Тим Пенттила (2003-09-15), Симплектические спреды (PDF), Политехнический университет Каталонии, получено 2008-10-08
- Bruck, R.H. (1969), R.C.Bose и T.A. Доулинг (ред.), "Проблемы построения конечных проективных плоскостей", Комбинаторная математика и ее приложения, Univ. of North Carolina Press, стр. 426–514
- Брук, Р. Х.; Бозе, Р. К. (1966), «Линейные представления проективных плоскостей в проективных пространствах» (PDF), Журнал алгебры, 4: 117–172, Дои:10.1016/0021-8693(66)90054-8
- Брук, Р. Х.; Бозе, Р. К. (1964), «Построение плоскостей трансляции из проективных пространств» (PDF), Журнал алгебры, 1: 85–102, Дои:10.1016/0021-8693(64)90010-9
- Червински, Терри; Окден, Дэвид (1992). «Самолеты перевода порядка двадцати пяти». Журнал комбинаторной теории, серия А. 59 (2): 193–217. Дои:10.1016/0097-3165(92)90065-3.
- Дембовский, Питер (1968), Конечная геометрия, Ergebnisse der Mathematik и ихрер Гренцгебиете, Band 44, Берлин, Нью-Йорк: Springer-Verlag, ISBN 3-540-61786-8, МИСТЕР 0233275
- Демпволфф, У. (1994). «Самолеты перевода порядка 27». Конструкции, коды и криптография. 4 (2): 105–121. Дои:10.1007 / BF01578865. ISSN 0925-1022. S2CID 12524473.
- Довер, Джереми М. (27.02.2019). «Генеалогия плоскостей перевода порядка 25». arXiv:1902.07838 [math.CO].
- Холл, Маршалл (1943), «Проективные плоскости» (PDF), Пер. Амер. Математика. Soc., 54 (2): 229–277, Дои:10.2307/1990331, JSTOR 1990331
- Хьюз, Дэниел Р .; Пайпер, Фред К. (1973), Проективные плоскости, Springer-Verlag, ISBN 0-387-90044-6
- Джонсон, Норман Л .; Джа, Викрам; Билиотти, Мауро (2007), Справочник по конечным плоскостям трансляции, Чепмен и Холл / CRC, ISBN 978-1-58488-605-1
- Кнут, Дональд Э. (1965), «Класс проективных плоскостей» (PDF), Труды Американского математического общества, 115: 541–549, Дои:10.2307/1994285, JSTOR 1994285
- Люнебург, Хайнц (1980), Самолеты перевода, Берлин: Springer Verlag, ISBN 0-387-09614-0
- Матон, Рудольф; Ройл, Гордон Ф. (1995). «Самолеты перевода порядка 49». Конструкции, коды и криптография. 5 (1): 57–72. Дои:10.1007 / BF01388504. ISSN 0925-1022. S2CID 1925628.
- Маккей, Брендан Д .; Ройл, Гордон Ф. (2014). «Всего в PG (3,8) 2834 разворота». arXiv:1404.1643 [math.CO].
- Мурхаус, Эрик (2007), Геометрия падения (PDF), заархивировано из оригинал (PDF) в 2013-10-29
- Рейфарт, Артур (1984). «Классификация трансляционных плоскостей порядка 16, II». Geometriae Dedicata. 17 (1). Дои:10.1007 / BF00181513. ISSN 0046-5755. S2CID 121935740.
- Шерк, Ф. А .; Пабст, Гюнтер (1977), «Наборы индикаторов, регуляторы и новый класс спредов» (PDF), Канадский математический журнал, 29 (1): 132–54, Дои:10.4153 / CJM-1977-013-6
дальнейшее чтение
- Мауро Билиотти, Викрам Джа, Норман Л. Джонсон (2001) Основы плоскостей трансляции, Марсель Деккер ISBN 0-8247-0609-9 .