Общая линейная группа

Общая линейная группа — это множество всех обратимых линейных преобразований конечномерного векторного пространства над некоторым полем, образующих группу относительно операции композиции. В матричной интерпретации общая линейная группа степени \(n\) над полем \(F\) состоит из всех квадратных матриц размера \(n \times n\) с элементами из \(F\), определитель которых отличен от нуля. Обозначается как \(\mathrm{GL}(n, F)\) или \(\mathrm{GL}_n(F)\). Эта группа является фундаментальным объектом в теории групп, линейной алгебре и геометрии, служа основой для изучения других классических групп (ортогональной, симплектической, унитарной) и широко применяется в физике, криптографии и теории представлений.

Определение и основные свойства

Пусть \(V\) — конечномерное векторное пространство размерности \(n\) над полем \(F\). Общая линейная группа \(\mathrm{GL}(V)\) определяется как множество всех биективных линейных отображений \(T: V \to V\) (автоморфизмов), замкнутое относительно композиции. В координатной записи, после выбора базиса, каждому такому отображению соответствует невырожденная матрица \(A\) размера \(n \times n\) с элементами из \(F\), то есть \(\det A \neq 0\). Умножение матриц соответствует композиции преобразований, а обратная матрица — обратному преобразованию.

Группа \(\mathrm{GL}(n, F)\) является:

• Неабелевой при \(n \ge 2\) (коммутативность нарушается, за исключением случая \(n=1\), когда \(\mathrm{GL}(1, F) \cong F^\times\) — мультипликативная группа поля).
• Бесконечной, если поле \(F\) бесконечно (например, \(\mathbb{R}\) или \(\mathbb{C}\)), и конечной, если \(F\) — конечное поле (например, \(\mathbb{F}_q\)).
• Топологической группой (над \(\mathbb{R}\) или \(\mathbb{C}\)) с естественной топологией, индуцированной пространством матриц.
• Алгебраической группой — аффинным алгебраическим многообразием, заданным условием \(\det \neq 0\).

История

Понятие общей линейной группы возникло в середине XIX века в работах по теории групп преобразований. В 1870-х годах Камиль Жордан и Феликс Клейн систематически изучали группы матриц, связанные с геометрическими симметриями. Термин «общая линейная группа» ввёл немецкий математик Гельмут Хассе в 1920-х годах в контексте теории алгебраических чисел. Дальнейшее развитие связано с работами Германа Вейля, Клода Шевалле и Армана Бореля, которые заложили основы теории алгебраических групп и классических групп.

Структура и подгруппы

Специальная линейная группа

Важнейшей подгруппой \(\mathrm{GL}(n, F)\) является специальная линейная группа \(\mathrm{SL}(n, F)\), состоящая из матриц с определителем, равным единице. Она является нормальной подгруппой, а факторгруппа \(\mathrm{GL}(n, F) / \mathrm{SL}(n, F)\) изоморфна мультипликативной группе поля \(F^\times\) (для полей характеристики, не равной 2, или при \(n \ge 2\)).

Центр

Центр \(\mathrm{GL}(n, F)\) состоит из скалярных матриц \(\lambda I\), где \(\lambda \in F^\times\). Факторгруппа по центру называется проективной общей линейной группой \(\mathrm{PGL}(n, F) = \mathrm{GL}(n, F) / Z(\mathrm{GL}(n, F))\). Она играет ключевую роль в проективной геометрии и теории представлений.

Другие подгруппы

• Верхнетреугольные матрицы (боровская подгруппа) — подгруппа всех невырожденных верхнетреугольных матриц.
• Диагональные матрицы — максимальный тор (подгруппа, изоморфная \((F^\times)^n\)).
• Унипотентные матрицы — матрицы с единицами на диагонали (например, верхнетреугольные с единичной диагональю).
• Ортогональная группа \(\mathrm{O}(n, F)\) — подгруппа, сохраняющая квадратичную форму (например, стандартное скалярное произведение).
• Симплектическая группа \(\mathrm{Sp}(2n, F)\) — подгруппа, сохраняющая невырожденную кососимметрическую билинейную форму.

Классификация над различными полями

Над конечными полями

Если \(F = \mathbb{F}_q\) — поле из \(q\) элементов, то порядок \(\mathrm{GL}(n, q)\) равен: \[ |\mathrm{GL}(n, q)| = \prod_{k=0}^{n-1} (q^n - q^k) = (q^n - 1)(q^n - q) \cdots (q^n - q^{n-1}). \] Например, \(\mathrm{GL}(2, 2)\) имеет порядок 6 (изоморфна симметрической группе \(S_3\)), а \(\mathrm{GL}(2, 3)\) — 48. Группы \(\mathrm{GL}(n, q)\) используются в криптографии (например, в протоколах на основе матриц) и в теории кодирования.

Над вещественными числами

\(\mathrm{GL}(n, \mathbb{R})\) — некомпактная группа Ли размерности \(n^2\). Она имеет две связные компоненты: матрицы с положительным определителем (\(\mathrm{GL}^+(n, \mathbb{R})\)) и с отрицательным. \(\mathrm{GL}^+(n, \mathbb{R})\) является связной компонентой единицы и содержит \(\mathrm{SL}(n, \mathbb{R})\).

Над комплексными числами

\(\mathrm{GL}(n, \mathbb{C})\) — связная комплексная группа Ли размерности \(2n^2\) (как вещественное многообразие). Она является комплексным многообразием и играет центральную роль в теории представлений и квантовой механике.

Применение

Теория групп и алгебраическая геометрия

Общая линейная группа служит прототипом для изучения редуктивных алгебраических групп. Её подгруппы (параболические, боровские) используются в классификации полупростых групп и в теории инвариантов.

Физика

В квантовой механике \(\mathrm{GL}(n, \mathbb{C})\) описывает преобразования векторов состояния в \(n\)-мерном гильбертовом пространстве. В теории относительности группа \(\mathrm{GL}(4, \mathbb{R})\) связана с общими преобразованиями координат, хотя физически значимой является подгруппа Лоренца.

Криптография

Некоторые криптосистемы (например, протоколы на основе трудности задачи дискретного логарифмирования в матричных группах) используют \(\mathrm{GL}(n, q)\) как платформу. Стойкость таких систем основана на сложности вычисления порядка матрицы или решения сопряжённости.

Теория представлений

Неприводимые представления \(\mathrm{GL}(n, F)\) классифицируются с помощью диаграмм Юнга и теории инвариантов. Они применяются в комбинаторике, теории симметрических функций и квантовых вычислениях.

Интересные факты

• Группа \(\mathrm{GL}(1, F)\) изоморфна мультипликативной группе поля \(F^\times\), что подчёркивает связь с арифметикой.
• Для конечного поля \(\mathbb{F}_2\) группа \(\mathrm{GL}(2, 2)\) изоморфна симметрической группе \(S_3\), а \(\mathrm{GL}(3, 2)\) — простой группе порядка 168, второй по величине после \(A_5\).
• Над полем \(\mathbb{R}\) группа \(\mathrm{GL}(n, \mathbb{R})\) не является связной, что отличает её от комплексного аналога.
• В теории алгебраических групп \(\mathrm{GL}(n)\) является аффинным алгебраическим многообразием, заданным полиномиальным неравенством \(\det \neq 0\).

Источники

• Бурбаки Н. Элементы математики. Группы и алгебры Ли. — М.: Мир, 1972.
• Вейль Г. Классические группы, их инварианты и представления. — М.: ИЛ, 1947.
• Хамфри Дж. Линейные алгебраические группы. — М.: Наука, 1980.
• Ленг С. Алгебра. — М.: Мир, 1968.
• Артин Э. Геометрическая алгебра. — М.: Наука, 1969.