Лінійна група

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

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

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

Означення та основні приклади

[ред. | ред. код]

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

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

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

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

[ред. | ред. код]

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

[ред. | ред. код]

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

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

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

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

[ред. | ред. код]

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

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

[ред. | ред. код]

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

  • Пінг-понг лему можна використовувати для побудови багатьох прикладів лінійних груп, які є вільними групами (наприклад, група породжена матрицями , є вільною).
  • Арифметичні групи, як відомо, є скінченно породженими. З іншого боку, важко знайти явну множину генераторів для даної арифметичної групи.
  • Група кіс (визначається як скінченно представлена група) має точне лінійне представлення на скінченновимірному комплексному векторному просторі, де дія генераторів визначається за допомогою явних матриць.[3]

Геометричні приклади

[ред. | ред. код]

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

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

Властивості

[ред. | ред. код]

Хоча лінійні групи — це величезний клас прикладів, серед усіх нескінченних груп вони відрізняються багатьма чудовими властивостями. Скінченно породжені лінійні групи мають такі властивості:

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

Приклади нелінійних груп

[ред. | ред. код]

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

  • Оскільки будь-яка скінченна лінійна група є фініто апроксимовною, то вона не може бути одночасно простою і нескінченною.

Таким чином, скінченно породженні нескінченні прості групи, наприклад групи Томпсона та група Хігмана[en] є нелінійними групами.

Теорія представлень

[ред. | ред. код]

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

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

Див. також

[ред. | ред. код]

Примітки

[ред. | ред. код]
  1. Hall, (2015)
  2. Rossmann, (2002)
  3. а б Aschenbrenner, Matthias; Friedl, Stefan; Wilton, Henry (2015). 3–manifolds groups. EMS Series of Lectures in Mathematics. European Math. Soc. Section 9.6. Архів оригіналу за 6 травня 2021. Процитовано 20 травня 2021.
  4. Wehrfritz, 1973, с. 15.
  5. Wehfritz, 1973, с. 57.
  6. Alperin, Roger C. (1987). An Elementary Account Of Selberg's Lemma. L'Enseignement Mathématique. 33.
  7. а б Bestvina, Mladen (2004). Questions in Geometric Group Theory (PDF). Question 1.15. Архів оригіналу (PDF) за 1 жовтня 2016. Процитовано 17 серпня 2016.
  8. Formanek, E.; Procesi, C. (1992). The automorphism group of a free group is not linear. J. Algebra. 149 (2): 494—499. doi:10.1016/0021-8693(92)90029-l.

Джерела

[ред. | ред. код]
  • Джозеф Ротман[en]. An Introduction to the Theory of Groups. — 4th. — Springer (Graduate Texts in Mathematics), 1994. — 532 с. — ISBN 978-0387942858.(англ.)
  • Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, т. 222 (вид. 2nd), Springer, ISBN 978-3319134666.
  • Rossmann, Wulf (2002), Lie Groups: An Introduction through Linear Groups, Oxford Graduate Texts in Mathematics, Oxford University Press, ISBN 9780198596837.
  • Suprnenko, D.A. (1976). Matrix groups. Translations of mathematical monographs. Т. 45. American Mathematical Society. ISBN 0-8218-1595-4.
  • Wehrfritz, B.A.F. (1973). Infinite linear groups. Ergebnisse der Mathematik und ihrer Grenzgebiete. Т. 76. Springer-Verlag.