PSL (2,7) - PSL(2,7)

В математика, то проективная специальная линейная группа PSL (2, 7), изоморфный GL (3, 2), это конечный простая группа который имеет важные приложения в алгебра, геометрия, и теория чисел. Это группа автоморфизмов из Кляйн квартика так же хорошо как группа симметрии из Самолет Фано. С 168 элементами PSL (2, 7) - самый маленький неабелевский простая группа после переменная группа А₅ с 60 элементами, изоморфная PSL (2, 5).

Определение

В общая линейная группа GL (2, 7) состоит из всех обратимых 2 × 2 матрицы над F₇, то конечное поле с 7 элементами. У них ненулевой определитель. В подгруппа SL (2, 7) состоит из всех таких матриц с единицей детерминант. Тогда PSL (2, 7) определяется как факторгруппа

SL (2, 7) / {I, −I}

полученный отождествлением I и −I, где я это единичная матрица. В этой статье мы позволяем г обозначим любую группу, изоморфную PSL (2, 7).

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

г = PSL (2, 7) имеет 168 элементов. Это можно увидеть, посчитав возможные столбцы; есть 7²−1 = 48 вариантов для первого столбца, затем 7²−7 = 42 возможности для второго столбца. Мы должны разделить на 7−1 = 6, чтобы детерминант был равен единице, а затем мы должны разделить на 2, когда мы отождествляем I и −I. Результат: (48 × 42) / (6 × 2) = 168.

Общий результат PSL (п, q) является просто для п, q ≥ 2 (q некоторая степень простого числа), если (п, q) = (2, 2) или (2, 3). PSL (2, 2) есть изоморфный к симметричная группа S₃, а PSL (2, 3) изоморфен переменная группа А₄. Фактически, PSL (2, 7) - вторая по величине неабелевский простая группа, после переменная группа А₅ = PSL (2, 5) = PSL (2, 4).

Номер классы сопряженности и неприводимые представления равно 6. Размеры классов сопряженности: 1, 21, 42, 56, 24, 24. Размерности неприводимых представлений 1, 3, 3, 6, 7, 8.

Таблица символов

${\displaystyle {\begin{array}{r|cccccc}&1A_{1}&2A_{21}&4A_{42}&3A_{56}&7A_{24}&7B_{24}\\\hline \chi _{1}&1&1&1&1&1&1\\\chi _{2}&3&-1&1&0&\sigma &{\bar {\sigma }}\\\chi _{3}&3&-1&1&0&{\bar {\sigma }}&\sigma \\\chi _{4}&6&2&0&0&-1&-1\\\chi _{5}&7&-1&-1&1&0&0\\\chi _{6}&8&0&0&-1&1&1\\\end{array}},}$

где:

${\displaystyle \sigma ={\frac {-1+i{\sqrt {7}}}{2}}.}$

В следующей таблице описаны классы сопряженности с точки зрения порядка элемента в классе, размера класса, минимального многочлена каждого представителя в GL (3, 2) и обозначения функции для представителя в PSL (2 , 7). Обратите внимание, что классы 7A и 7B меняются автоморфизмом, поэтому представители из GL (3, 2) и PSL (2, 7) могут переключаться произвольно.

порядок	Размер	Мин Поли	Функция
1	1	Икс+1	Икс
2	21	Икс^2+1	−1/Икс
3	56	Икс^3+1	2Икс
4	42	Икс^3+Икс^2+Икс+1	1/(3−Икс)
7	24	Икс^3+Икс+1	Икс + 1
7	24	Икс^3+Икс^2+1	Икс + 3

Порядок группы 168 = 3 × 7 × 8, это означает существование Подгруппы Силова порядков 3, 7 и 8. Первые два легко описать, они циклические, так как любая группа простого порядка циклическая. Любой элемент класса сопряженности 3А₅₆ порождает силовскую 3-подгруппу. Любой элемент из классов сопряженности 7А₂₄, 7B₂₄ порождает силовскую 7-подгруппу. Силовская 2-подгруппа является диэдральная группа порядка 8. Его можно описать как централизатор любого элемента из класса сопряженности 2А₂₁. В представлении GL (3, 2) силовская 2-подгруппа состоит из верхнетреугольных матриц.

Эта группа и ее силовская 2-подгруппа служат контрпримером для различных нормальный p-дополнение теоремы для п = 2.

Действия на проективных пространствах

г = PSL (2, 7) действует через дробно-линейное преобразование на проективная линия п¹(7) над полем из 7 элементов:

${\displaystyle {\mbox{For }}\gamma ={\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in {\mbox{PSL}}(2,7){\mbox{ and }}x\in \mathbb {P} ^{1}\!(7),\ \gamma \cdot x={\frac {ax+b}{cx+d}}}$

Каждый сохраняющий ориентацию автоморфизм п¹(7) возникает таким образом, поэтому г = PSL (2, 7) геометрически можно рассматривать как группу симметрий проективной прямой п¹(7); полная группа проективных линейных автоморфизмов, возможно обращающих ориентацию, - это расширение PGL (2, 7) порядка 2, а группа коллинеации проективной линии является полным симметричная группа точек.

Однако PSL (2, 7) также изоморфный в PSL (3, 2) (= SL (3, 2) = GL (3, 2)), специальную (общую) линейную группу матриц 3 × 3 над полем из 2 элементов. Аналогичным образом г = PSL (3, 2) действует на проективная плоскость п²(2) над полем с двумя элементами - также известным как Самолет Фано:

За ${\displaystyle \gamma ={\begin{pmatrix}a&b&c\\d&e&f\\g&h&i\end{pmatrix}}\in {\mbox{PSL}}(3,2)\ \ }$ и ${\displaystyle \ \ \mathbf {x} ={\begin{pmatrix}x\\y\\z\end{pmatrix}}\in \mathbb {P} ^{2}\!(2),\ \ \gamma \ \cdot \ \mathbf {x} ={\begin{pmatrix}ax+by+cz\\dx+ey+fz\\gx+hy+iz\end{pmatrix}}}$

Опять же, каждый автоморфизм п²(2) возникает таким образом, и поэтому г = PSL (3, 2) геометрически можно рассматривать как группа симметрии этой проективной плоскости. В Самолет Фано может использоваться для описания умножения октонионы, так г действует на множество таблиц умножения октонионов.

Симметрии квартики Клейна

Дальнейшая информация: Кляйн квартика

В Кляйн квартика может быть реализовано как частное от семиугольная черепица порядка 3.

Вдвойне Кляйн квартика может быть реализовано как частное от Треугольная мозаика порядка 7.

В Кляйн квартика проективное многообразие над сложные числа C определяемый полиномом четвертой степени

Икс³у + у³z + z³Икс = 0.

Это компактный Риманова поверхность рода g = 3, и является единственной такой поверхностью, для которой размер группы конформных автоморфизмов достигает максимума 84 (г−1). Эта граница связана с Теорема Гурвица об автоморфизмах, что справедливо для всех г> 1. Такой "Поверхности Гурвица "редки; следующий род, для которого таковые существуют, - г = 7, а следующее после него г = 14.

Как и все Поверхности Гурвица, квартике Клейна можно дать метрику постоянная отрицательная кривизна а затем выложен плиткой регулярный (гиперболический) семиугольники, как частное от семиугольная черепица порядка 3, с симметриями поверхности как римановой поверхности или алгебраической кривой, точно такими же, как симметрии мозаики. Для квартики Клейна это дает разбиение на 24 семиугольника и порядок г таким образом, связано с тем фактом, что 24 × 7 = 168. Двойным образом его можно разбить на 56 равносторонних треугольников с 24 вершинами, каждая из степени 7, как частное от Треугольная мозаика порядка 7.

Квартика Клейна возникает во многих областях математики, включая теорию представлений, теорию гомологий, умножение октонионов, Последняя теорема Ферма, и Теорема Старка на мнимых квадратичных числовых полях класса номер 1.

Группа Матье

PSL (2, 7) - максимальная подгруппа группы Группа Матье M₂₁; группы M₂₁ И м₂₄ могут быть построены как расширения PSL (2, 7). Эти расширения можно интерпретировать в терминах мозаики квартики Клейна, но они не реализованы геометрическими симметриями мозаики.^[1]

Действия перестановки

Группа PSL (2, 7) действует на различных конечных множествах:

• В своей первоначальной интерпретации как PSL (2, 7) сохраняющие ориентацию линейные автоморфизмы проективной прямой P¹(F₇), он действует транзитивно на 8 точек со стабилизатором порядка 21, фиксирующим данную точку. Он также действует 2-транзитивно со стабилизатором порядка 3 на каждую пару точек; и он имеет две орбиты на тройках точек с тривиальным стабилизатором на каждой тройке. (Большая группа PGL (2,7) действует точно 3-транзитивно.)
• Интерпретируемые как PGL (3,2), линейные автоморфизмы плоскости Фано P²(F₂), он действует 2-транзитивно на 7 точек, причем стабилизатор порядка 24 фиксирует каждую точку, а стабилизатор порядка 4 фиксирует каждую пару точек.
• Интерпретируемый как автоморфизмы мозаики квартики Клейна, он действует транзитивно на 24 вершины (или двойственно на 24 семиугольника) со стабилизатором порядка 7 (соответствует повороту вокруг вершины / семиугольника).
• Интерпретируется как подгруппа группы Матье M₂₁, подгруппа действует нетранзитивно в 21 точке.

использованная литература

1. (Рихтер )

• Рихтер, Дэвид А., Как сделать Mathieu Group M₂₄, получено 2010-04-15

дальнейшее чтение

• Браун, Эзра; Лоер, Николас (2009). "Почему PSL (2,7) ≅ GL (3,2)?" (PDF). Am. Математика. Пн. 116 (8): 727–732. Дои:10.4169 / 193009709X460859. Zbl  1229.20046. Архивировано из оригинал (PDF) на 2016-10-09. Получено 2014-09-27.

внешние ссылки

• Восьмеричный путь: красота четвертой кривой Кляйна (Сильвио Леви, ред.)
• Результаты этой недели по математической физике - неделя 214 (Джон Баэз)
• Клейн квартик в теории чисел (Ноам Элкис)
• Проективная специальная линейная группа: PSL (3,2)