У математиці матрична група — група, утворена невиродженими матрицями, що задані над полем з операцією матричного множення. Лінійна група є групою, яка ізоморфна матричній групі (тобто допускає , скінченновимірне представлення над полем ).

Будь-яка скінченна група є лінійною, оскільки її можна реалізувати за допомогою матриць перестановок, використовуючи теорему Келі. Серед нескінченних груп лінійні групи утворюють цікавий та «слухняний» клас. Прикладами нелінійних груп є «занадто великі» групи (наприклад, група перестановок нескінченної множини) або групи, які виявляють певну патологічну поведінку (наприклад, нескінченна періодична група).

Означення та основні приклади Група називається лінійною, якщо існує поле , натуральне та ін'єктивний гомеоморфізм з групи в загальну лінійну групу (точне лінійне представлення розмірності над полем ): при необхідності можна вказувати поле і розмірність, кажучи, що група є лінійною порядку над полем . Основні приклади — це групи, які визначаються, як підгрупи лінійної групи, наприклад: Сама група ; Спеціальна лінійна група (підгрупа матриць з визначником рівним 1); Група невироджених верхньо- або нижньотрикутних матриць; Якщо  — це сукупність елементів у , що індексована множиною , то підгрупа породжена є лінійною групою.

При вивченні груп Лі, іноді зручно обмежувати увагу групам Лі, які можуть бути точно представлені над полем комплексних чисел. (Деякі автори вимагають, щоб група була представлена як замкнена підгрупа групи .) Прикладами книжок, які дотримуються цього підходу, є книги Hall (2015) and Rossmann (2002).

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

Класичні групи та пов'язані приклади

Так звані узагальнюють наведені вище приклади 1 і 2. Вони виникають як лінійні алгебраїчні групи, тобто як підгрупи , що визначаються скінченною кількістю рівнянь. Основними прикладами є ортогональні, унітарні та групи, але можна побудувати більше прикладів, використовуючи алгебру з діленням (наприклад, одинична група алгебри кватерніонів є класичною групою). Зауважимо, що проєктивні групи, пов'язані з цими групами, також є лінійними, хоча це і менш очевидно. Наприклад, група не є групою матриць , але вона має точне представлення матрицями (приєднане представлення групи Лі), яке можна використовувати в загальному випадку.

Багато груп Лі є лінійними, але не всі з них. Універсальне накриття не є лінійною групою, як і багато розв'язних груп, наприклад, фактор-група групи Гейзенберга за циклічною підгрупою.

Дискретні підгрупи класичних груп Лі (наприклад, або ) також є прикладами цікавих лінійних груп.

Скінченні групи

Скінченна група порядку є лінійною порядку щонайбільше над будь-яким полем . Це твердження іноді називають теоремою Келі, і воно є простим результатом того, що дія групи над груповим кільцем шляхом лівого (або правого) множення є лінійною і точною. Скінченна група ліївського типу (класичні групи над скінченними полями) є важливою сім'єю скінченних простих груп, оскільки вони займають більшість випадків у класифікації скінченних простих груп.

Скінченно породженні матричні групи

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

Арифметичні групи, як відомо, є скінченно породженими. З іншого боку, важко знайти явну множину генераторів для даної арифметичної групи.

Група кіс (визначається як скінченно представлена група) має точне лінійне представлення на скінченновимірному комплексному векторному просторі, де дія генераторів визначається за допомогою явних матриць.

Геометричні приклади У деяких випадках можна показати, що фундаментальна група на многовиді є лінійною групою за допомогою представлень, що мають геометричне походження. Наприклад, усі замкнені поверхні щонайменше 2 роду є гіперболічними поверхнями Рімана. За допомогою теореми про уніформізацію це приводить до представлення її фундаментальної групи в гіперболічної площини, яка ізоморфна групі і це реалізує фундаментальну групу як групу Фукса. Узагальнення цієї конструкції дається за допомогою поняття на многовиді.

Інший приклад — фундаментальна група многовидів Зейферта. З іншого боку, невідомо, чи є всі фундаментальні групи 3-вимірних многовидів лінійними.

Властивості Хоча лінійні групи — це величезний клас прикладів, серед усіх нескінченних груп вони відрізняються багатьма чудовими властивостями. Скінченно породжені лінійні групи мають такі властивості: Вони скінченно апроксимовні групи; Теорема Бернсайда:група з закрутом скінченної експоненти, яка є лінійною над полем характеристики 0, має бути скінченною. Теорема Шура: лінійна група з закрутом є локально скінченною групою. Зокрема, якщо група скінченно породжена, то вона скінченна. Лема Сельберга: будь-яка скінченно породжена лінійна група містить беззакрутову підгрупу скінченного індексу.

Альтернатива Тітса стверджує, що лінійна група або містить неабелеву вільну групу, або є розв'язною (тобто містить розв'язну групу скінченного індексу). Це має багато подальших наслідків, наприклад: скінченно породженої лінійної групи може бути лише поліном або експонентою. лінійна група є фактично розв'язною, зокрема . Гіпотеза фон Неймана справедлива для лінійних груп.

Приклади нелінійних груп Неважко навести приклади нескінченно породжених нелінійних груп: наприклад, нескінченна абелева 2-група не може бути лінійною, оскільки, якби це було так, то вона була б діагоналізованою і скінченною. Оскільки симетрична група на нескінченній множині містить цю групу, то вона також не є лінійною. Пошук прикладів скінченно породжених груп є більш тонким і зазвичай вимагає використання однієї із властивостей, перерахованих вище. Оскільки будь-яка скінченна лінійна група є фініто апроксимовною, то вона не може бути одночасно простою і нескінченною. Таким чином, скінченно породженні нескінченні прості групи, наприклад групи Томпсона та є нелінійними групами. За наслідком вищезазначеної альтернативи Тітса, групи проміжного зростання, такі як , не є лінійними. Знову ж таки за альтернативою Тітса, як уже згадувалося вище, усі контрприклади до гіпотези фон Неймана не є лінійними. Зокрема, група Томпсона та групи монстри Тарського. За теоремою Бернсайда, нескінченні скінченно породжені групи з закрутом, такі як групи монстри Тарського не можуть бути лінійними. Існують приклади гіперболічних груп, які не є лінійними, отримані як фактор-групи граток на групах Лі . вільної групи не є лінійною принаймні для . На відміну від випадку груп кіс чи є лінійною роду .

Теорія представлень Після того як встановлено, що група є лінійною, цікаво спробувати знайти «оптимальне» точне лінійне представлення для неї, наприклад, представлення найнижчої можливої розмірності, або навіть спробувати прокласифікувати всі її лінійні представлення (включаючи ті, які не є точними). Ці питання є об'єктом дослідження в теорії представлень. Найважливіші частини цієї теорії включають: . та більш загальних лінійних алгебраїчних груп.

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

Див. також Спеціальна лінійна група ; Група Лі; Лінійна алгебрична група; Ортогональна група; Унітарна група; Симплектична група; Одинична група алгебри кватерніонів; Дискретна підгрупа; Група Лієвого типу; Пінг-понг лема; Група кіс; Група Фукса; Розшарування Зейферта; Теорема уніформізації; Задача Бернсайда; Група з закрутом;

Гіпотеза фон Неймана; Група Томпсона ;

Монстр Тарського; Група чорної скриньки.

Примітки

Джерела

. .