WikiDer > Линейная группа - Википедия

Linear group - Wikipedia

В математика, а матричная группа это группа грамм состоящий из обратимый матрицы над указанным поле K, с операцией матричное умножение, а линейная группа является абстрактная группа то есть изоморфный группе матриц над полем K - другими словами, допуская верный, конечномерные представление над K.

Любой конечная группа линейна, потому что может быть реализована матрицы перестановок с помощью Теорема Кэли. Среди бесконечные группы, линейные группы образуют интересный и послушный класс. Примеры групп, которые не являются линейными, включают группы, которые являются «слишком большими» (например, группа перестановок бесконечного множества) или которые демонстрируют какое-либо патологическое поведение (например, конечно порожденный бесконечный торсионные группы).

Определение и основные примеры

Группа грамм как говорят линейный если есть поле K, целое число d и инъективный гомоморфизм из грамм к общая линейная группа GLd (K) (точный линейный представление измерения d над K): при необходимости можно указать поле и размер, сказав, что грамм является линейная степени d над K. Базовые экземпляры - это группы, которые определены как подгруппы линейной группы, например:

  1. Группа GLп(K) сам;
  2. В специальная линейная группа SLп(K) (подгруппа матриц с детерминант 1);
  3. Группа обратимых верхних (или нижних) треугольные матрицы
  4. Если граммя представляет собой набор элементов в GLп(K) индексированный набором я, то подгруппа, порожденная граммя - линейная группа.

При изучении Группы Ли, иногда с педагогической точки зрения удобно ограничить внимание группами Ли, которые могут быть точно представлены в поле сложные числа. (Некоторые авторы требуют, чтобы группа была представлена ​​как закрыто подгруппа GLп(CКниги, которые следуют этому подходу, включают Холла (2015) и Россмана (2002).

Классы линейных групп

Классические группы и родственные примеры

Так называемой классические группы обобщите примеры 1 и 2 выше. Они возникают как линейные алгебраические группы, то есть как подгруппы GLп определяется конечным числом уравнений. Основные примеры: ортогональный, унитарный и симплектический группы, но можно построить больше, используя алгебры с делением (например, группа единиц из кватернионная алгебра классическая группа). Обратите внимание, что проективные группы связанные с этими группами, также линейны, хотя и менее очевидно. Например, группа PSL2(р) не является группой матриц 2 × 2, но имеет точное представление в виде матриц 3 × 3 ( присоединенное представительство), который можно использовать в общем случае.

Много Группы Ли линейны, но не все. В универсальная крышка SL2(р) не является линейным, как и многие разрешимые группы, например частное из Группа Гейзенберга по центральный циклическая подгруппа.

Дискретные подгруппы классических групп Ли (например, решетки или же тонкие группы) также являются примерами интересных линейных групп.

Конечные группы

Конечная группа грамм из порядок п линейна степени не выше п над любым полем K. Это утверждение иногда называют теоремой Кэли, и оно просто вытекает из того факта, что действие грамм на групповое кольцо K[грамм] умножением слева (или справа) линейно и точно. В конечные группы лиева типа (классические группы над конечными полями) являются важным семейством конечных простые группы, так как они занимают большую часть слотов в классификация конечных простых групп.

Конечно порожденные матричные группы

Хотя пример 4 выше слишком общий, чтобы определить особый класс (он включает все линейные группы), ограничиваясь набором конечных индексов я, то есть конечно порожденные группы позволяет построить много интересных примеров. Например:

  • В лемма о пинг-понге можно использовать для построения многих примеров линейных групп, которые бесплатные группы (например, группа, созданная бесплатно).
  • Арифметические группы как известно, конечно порождены. С другой стороны, найти явный набор образующих для данной арифметической группы - сложная задача.
  • Группы кос (которые определяются как конечно представленная группа) имеют точное линейное представление на конечномерный комплексное векторное пространство, в котором генераторы действуют явными матрицами.[1]

Примеры из геометрии

В некоторых случаях фундаментальная группа из многообразие можно показать линейность, используя представления, исходящие из геометрической структуры. Например, все закрытые поверхности из род как минимум 2 гиперболические Римановы поверхности. Через теорема об униформизации это приводит к представлению его фундаментальной группы в группа изометрии из гиперболическая плоскость, который изоморфен PSL2(р) и это реализует фундаментальную группу как Фуксова группа. Обобщение этой конструкции дается понятием (грамм,Икс)-структура на коллекторе.

Другой пример - фундаментальная группа Многообразия Зейферта. С другой стороны, неизвестно, все ли фундаментальные группы трехмерных многообразий линейны.[2]

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

Хотя линейные группы представляют собой обширный класс примеров, среди всех бесконечных групп они выделяются многими замечательными свойствами. Конечно порожденные линейные группы обладают следующими свойствами:

В Альтернатива сисек утверждает, что линейная группа либо содержит неабелеву свободную группу, либо является практически разрешима (т. е. содержит разрешимая группа конечного индекса). Это имеет множество других последствий, например:

Примеры нелинейных групп

Нетрудно привести бесконечно порожденные примеры нелинейных групп: например, бесконечная абелева 2-группа (Z/2Z)N не может быть линейным, поскольку в этом случае он был бы диагонализуемым и конечным. Поскольку симметричная группа на бесконечном множестве содержит эту группу, она также не является линейной. Поиск конечно сгенерированных примеров сложнее и обычно требует использования одного из свойств, перечисленных выше.

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

После того, как группа была установлена ​​как линейная, интересно попытаться найти для нее "оптимальные" точные линейные представления, например, с наименьшей возможной размерностью, или даже попытаться классифицировать все ее линейные представления (включая те, которые не являются точными. ). Эти вопросы являются предметом теория представлений. Важнейшие части теории включают:

Теория представлений бесконечных конечно порожденных групп вообще таинственна; объектом интереса в данном случае являются разновидности персонажей группы, которые хорошо изучены лишь в очень немногих случаях, например свободные группы, поверхностные группы и в более общем смысле решетки в группах Ли (например, через Маргулиса) сверхжесткость теорема и другие результаты о жесткости).

Примечания

  1. ^ Стивен Дж. Бигелоу (13 декабря 2000 г.), «Группы кос линейны» (PDF), Журнал Американского математического общества, 14 (2): 471–486
  2. ^ Ашенбреннер, Матиас; Фридл, Стефан; Уилтон, Генри (2015). Группы 3-многообразий. Серия лекций по математике EMS. Европейская математика. Soc. Раздел 9.6.
  3. ^ Верфриц 1973, п. 15.
  4. ^ Вефриц 1973, п. 57.
  5. ^ Альперин, Роджер С. (1987). «Элементарное изложение леммы Сельберга». L'Enseignement Mathématique. 33.CS1 maint: ref = harv (связь)
  6. ^ Бествина, Младен (2004). «Вопросы геометрической теории групп» (PDF). Вопрос 1.15. Получено 17 августа 2016.
  7. ^ Formanek, E .; Procesi, C. (1992). «Группа автоморфизмов свободной группы не линейна». J. Алгебра. 149: 494–499. Дои:10.1016 / 0021-8693 (92) 90029-л.CS1 maint: ref = harv (связь)

Рекомендации

  • Холл, Брайан К. (2015), Группы Ли, алгебры Ли и представления: элементарное введение, Тексты для выпускников по математике, 222 (2-е изд.), Springer, ISBN 978-3319134666.
  • Россманн, Вульф (2002), Группы Ли: введение через линейные группы, Oxford Graduate Texts in Mathematics, Oxford University Press, ISBN 9780198596837.
  • Супрненко, Д.А. (1976). Матричные группы. Переводы математических монографий. 45. Американское математическое общество. ISBN 0-8218-1595-4.
  • Верфриц, Б.А.Ф. (1973). Бесконечные линейные группы. Ergebnisse der Mathematik und ihrer Grenzgebiete. 76. Springer-Verlag.CS1 maint: ref = harv (связь)