Самолет холла - Википедия - Hall plane

В математике Плоскость холла это недезаргова проективная плоскость построенный Маршалл Холл мл. (1943).^[1] Есть примеры заказа ${ displaystyle p ^ {2n}}$ для каждого прайма п и каждое положительное целое число п при условии ${ displaystyle p ^ {2n}> 4}$ .^[2]

Алгебраическое построение через системы Холла

Первоначальная конструкция самолетов Холла была основана на Холле. квазиполе (также называемый Система холла), ЧАС порядка ${ displaystyle p ^ {2n}}$ за п прайм. Построение плоскости - это стандартная конструкция на основе квазиполя (см. Quasifield # Проективные плоскости для подробностей.).

Чтобы построить квазиполе Холла, начните с Поле Галуа, ${ Displaystyle F = OperatorName {GF} (p ^ {n})}$ за п простое число и квадратичный неприводимый многочлен ${ Displaystyle е (х) = х ^ {2} -rx-s}$ над F. Продлевать ${ Displaystyle H = F раз F}$ , двумерное векторное пространство над F, в квазиполе, задав умножение векторов на ${ displaystyle (a, b) circ (c, d) = (ac-bd ^ {- 1} f (c), ad-bc + br)}$ когда ${ displaystyle d neq 0}$ и ${ displaystyle (a, b) circ (c, 0) = (ac, bc)}$ иначе.

Написание элементов ЧАС в терминах базиса <1, λ>, т. е. отождествляя (Икс,у) с Икс + λу в качестве Икс и у варьироваться F, мы можем идентифицировать элементы F как упорядоченные пары (Икс, 0), т.е. Икс + λ0. Свойства заданного умножения, которые поворачивают правое векторное пространство ЧАС в квазиполе:

каждый элемент α из ЧАС не в F удовлетворяет квадратному уравнению f (α) = 0;
F находится в ядре ЧАС (означает, что (α + β) c = αc + βc и (αβ) c = α (βc) для всех α, β в ЧАС и все с в F); и
каждый элемент F коммутирует (мультипликативно) со всеми элементами ЧАС.^[3]

Вывод

Другая конструкция, которая производит плоскости Холла, получается путем применения вывода к Дезарговские самолеты.

Процесс, созданный Т. Г. Остромом, который заменяет определенные наборы прямых в проективной плоскости альтернативными наборами таким образом, чтобы новая структура оставалась проективной плоскостью, называется происхождение. Приведем подробности этого процесса.^[4] Начните с проективная плоскость ${ displaystyle pi}$ порядка ${ Displaystyle п ^ {2}}$ и обозначьте одну строку ${ displaystyle ell}$ как его линия на бесконечности. Позволять А быть аффинная плоскость ${ displaystyle pi setminus ell}$ . Множество D из ${ displaystyle n + 1}$ точки ${ displaystyle ell}$ называется производное множество если для каждой пары различных точек Икс и Y из А которые определяют линейное собрание ${ displaystyle ell}$ в точке D, Существует Подплан Бэра содержащий Икс, Y и D (мы говорим, что такие подплоскости Бэра принадлежать к D.) Определите новую аффинную плоскость ${ displaystyle operatorname {D} (A)}$ следующим образом: точки ${ displaystyle operatorname {D} (A)}$ точки А. Линии ${ displaystyle operatorname {D} (A)}$ линии ${ displaystyle pi}$ которые не встречаются ${ displaystyle ell}$ в точке D (ограниченный А) и подплоскости Бэра, принадлежащие D (ограниченный А). Набор ${ displaystyle operatorname {D} (A)}$ аффинная плоскость порядка ${ Displaystyle п ^ {2}}$ и это, или его проективное завершение, называется производная плоскость.^[5]

Характеристики

Плоскости зала самолеты перевода.
Плоскость Холла порядка 9 - единственная проективная плоскость Тип Ленца-Барлотти IVa.3, конечный или бесконечный.^[6] Все остальные самолеты Холла относятся к типу Ленца-Барлотти IVa.1.
Все конечные холловские плоскости одного порядка изоморфны.
Самолеты холла не самодвойственный.
Все конечные плоскости Холла содержат подплоскости порядка 2 (Подпланы Fano ).
Все конечные плоскости Холла содержат подплоскости порядка, отличного от 2.
Плоскости зала Самолеты Андре.

Самая маленькая плоскость Холла (заказ 9)

Плоскость Холла порядка 9 действительно была обнаружена ранее Освальд Веблен и Джозеф Уэддерберн в 1907 г.^[7] Есть четыре квазитела девятого порядка, которые можно использовать для построения плоскости Холла девятого порядка. Три из них - системы Холла, порожденные неприводимыми многочленами ${ Displaystyle е (х) = х ^ {2} +1}$ , ${ Displaystyle г (х) = х ^ {2} -x-1}$ или же ${ Displaystyle ч (х) = х ^ {2} + х-1}$ . ^[8] Первый из них дает ассоциативное квазиполе,^[9] это ближнее поле, и именно в этом контексте самолет был обнаружен Вебленом и Веддерберном. Эту плоскость часто называют плоскостью ближнего поля девятого порядка.

Примечания

^ Холл младший (1943)
^ Хотя конструкции обеспечат проективную плоскость порядка 4, единственной такой плоскостью является Дезарговский и обычно не считается плоскостью Холла.
^ Хьюз и Пайпер (1973), стр. 183)
^ Хьюз и Пайпер (1973), pp. 202–218, Chapter X. Derivation).
^ Хьюз и Пайпер (1973), стр. 203, теорема 10.2)
^ Дембовский, Питер (1968), Конечная геометрия, Ergebnisse der Mathematik и ихрер Гренцгебиете, Band 44, Берлин, Нью-Йорк: Springer-Verlag, ISBN 3-540-61786-8, МИСТЕР 0233275, стр. 126.
^ Веблен и Веддерберн (1907)
^ Стивенсон (1972 г., стр. 333–334).
^ Хьюз и Пайпер (1973), стр. 186)