Войти
В математике матричная группа - это группа G, состоящая из обратимых матриц по заданному полю K, с операция матричного умножения, а линейная группа - это абстрактная группа, которая изоморфна матричной группе над полем K, другими словами, допускающая точное, конечномерное представление над K.
Любая конечная группа является линейной, потому что она может быть реализована с помощью матриц перестановок с использованием теоремы Кэли. Среди бесконечных групп линейные группы образуют интересный и управляемый класс. Примеры групп, которые не являются линейными, включают группы, которые являются «слишком большими» (например, группа перестановок бесконечного множества) или которые демонстрируют некоторое патологическое поведение (например, конечно порожденные бесконечные торсионные группы).
Группа G называется быть линейным, если существует поле K, целое число d и инъективный морфизм из G в общую линейную группу GLd(K) (точный линейный представление размерности d над K): при необходимости можно упомянуть поле и измерение, сказав, что G линейна степени d над K. Базовые экземпляры - это группы, которые определены как подгруппы линейной группы, например:
В исследовании групп Ли, иногда с педагогической точки зрения удобно ограничить внимание группами Ли, которые могут быть точно представлены над полем комплексных чисел. (Некоторые авторы требуют, чтобы группа была представлена как закрытая подгруппа GL n(C.) Книги, которые следуют этому подходу, включают Hall (2015) и Rossman (2002).
Так называемые классические группы обобщают примеры 1 и 2 выше. Они возникают как линейные алгебраические группы, то есть как подгруппы GL n, определяемые конечным числом уравнений. Основными примерами являются ортогональные, унитарные и симплектические группы, но можно построить и другие группы, используя алгебры с делением (например, единичная группа алгебры кватернионов является классической группой). Обратите внимание, что проективные группы, связанные с этими группами, также линейны, хотя и менее очевидно. Например, группа PSL 2(R) не является группой матриц 2 × 2, но имеет точное представление в виде матриц 3 × 3 (присоединенное представление ), которое может использоваться в общем кейс.
Многие группы Ли линейны, но не все из них. Универсальное покрытие SL 2(R) не является линейным, как и многие разрешимые группы, например фактор-фактор группы Гейзенберга по центральной циклической подгруппе.
Дискретные подгруппы классических групп Ли (например, решетки или тонкие группы ) также являются примерами интересных линейных групп.
Конечная группа G мощности n линейна степени не выше n над любым полем K. Это утверждение иногда называют теоремой Кэли, и оно просто вытекает из того факта, что действие группы G на групповом кольце K [G] умножением слева (или справа) линейно и точно. Конечные группы лиева типа (классические группы над конечными полями) являются важным семейством конечных простых групп, так как они занимают большую часть позиций в классификации конечных простых групп.
Хотя пример 4 выше слишком общий, чтобы определять особый класс (он включает все линейные группы), он ограничивается конечным набором индексов I, то есть конечно порожденными группами позволяет построить много интересных примеров. Например:
бесплатно).В некоторых случаях фундаментальная группа многообразия можно показать линейность, используя представления, исходящие из геометрической структуры. Например, все замкнутые поверхности рода не менее 2 являются гиперболическими римановыми поверхностями. С помощью теоремы об униформизации это дает начало представлению ее фундаментальной группы в группе изометрий гиперболической плоскости , которая изоморфна PSL 2(R), и это реализует фундаментальную группу как фуксова группа. Обобщение этой конструкции дается понятием (G, X) -структуры на многообразии.
Другой пример - фундаментальная группа многообразий Зейферта. С другой стороны, неизвестно, все ли фундаментальные группы 3-многообразий линейны.
Хотя линейные группы представляют собой обширный класс примеров, среди всех бесконечных групп они выделяются многими замечательными свойствами. Конечнопорожденные линейные группы обладают следующими свойствами:
. Альтернатива Титса утверждает, что линейная группа либо содержит неабелев свободный группа, иначе виртуально разрешима (то есть содержит разрешимую группу конечного индекса). Это имеет множество дальнейших последствий, например:
Это несложно дать бесконечно порожденные примеры нелинейных групп: например, бесконечная абелева 2-группа (Z/2Z) не может быть линейной, поскольку в этом случае она была бы диагонализуемой и конечной. Поскольку симметрическая группа на бесконечном множестве содержит эту группу, она также не является линейной. Поиск конечно сгенерированных примеров сложнее и обычно требует использования одного из свойств, перечисленных выше.
После того, как установлено, что группа линейна, интересно попытаться найти "оптимальную" точные линейные представления для него, например, нижних t возможного измерения или даже попытаться классифицировать все его линейные представления (включая те, которые не соответствуют действительности). Эти вопросы являются предметом теории репрезентации. Важнейшие части теории включают:
Теория представлений бесконечных конечно порожденных групп в целом загадочна; объектом интереса в этом случае являются разновидности характеров группы, которые хорошо понятны только в очень немногих случаях, например, свободные группы, поверхностные группы и в более общем плане решетки в группах Ли (например, через Маргулиса 'теорема о сверхжесткости и другие результаты о жесткости).
