Group homomorphism into the general linear group over a vector space
Представление группы « воздействует» на объект. Простой пример — как симметрии правильного многоугольника , состоящие из отражений и вращений, преобразуют многоугольник.
Термин « представление группы» также используется в более общем смысле для обозначения любого «описания» группы как группы преобразований некоторого математического объекта. Более формально, «представление» означает гомоморфизм группы в группу автоморфизмов объекта. Если объект является векторным пространством, у нас есть линейное представление . Некоторые люди используют реализацию в качестве общего понятия и оставляют термин « представление» для частного случая линейных представлений. Основная часть этой статьи описывает теорию линейного представления; см. последний раздел для обобщений.
Разделы теории представлений групп
Теория представлений групп делится на подтеории в зависимости от типа представляемой группы. Различные теории сильно различаются в деталях, хотя некоторые основные определения и концепции схожи. Наиболее важными подразделениями являются:
Компактные группы или локально компактные группы . Многие результаты теории представлений конечных групп доказываются путем усреднения по группе. Эти доказательства могут быть перенесены на бесконечные группы путем замены среднего интегралом при условии, что можно определить приемлемое понятие интеграла. Это можно сделать для локально компактных групп, используя меру Хаара . Полученная теория является центральной частью гармонического анализа . Двойственность Понтрягина описываеттеорию коммутативных групп как обобщенное преобразование Фурье . См. также: Теорема Питера–Вейля .
Группы Ли . Многие важные группы Ли компактны, поэтому к ним применимы результаты теории компактных представлений. Используются и другие методы, специфичные для групп Ли. Большинство групп, важных в физике и химии, являются группами Ли, и их теория представлений имеет решающее значение для применения теории групп в этих областях. См. «Представления групп Ли» и «Представления алгебр Ли» .
Линейные алгебраические группы (или, в более общем смысле, схемы аффинных групп ) . Это аналоги групп Ли, но над более общими полями, чем просто R или C. Хотя линейные алгебраические группы имеют классификацию, очень похожую на классификацию групп Ли, и порождают одни и те же семейства алгебр Ли, их представления весьма различны (и гораздо менее понятны). Аналитические методы, используемые для изучения групп Ли, должны быть заменены методами алгебраической геометрии , где относительно слабая топология Зарисского вызывает множество технических сложностей.
Некомпактные топологические группы . Класс некомпактных групп слишком широк, чтобы построить какую-либо общую теорию представлений, но конкретные частные случаи изучались, иногда с использованием специальных методов. Полупростые группы Ли имеют глубокую теорию, основанную на компактном случае. Дополнительные разрешимые группы Ли не могут быть классифицированы таким же образом. Общая теория групп Ли имеет дело с полупрямыми произведениями двух типов посредством общих результатов, называемых теорией Макки , которые являются обобщением методов классификации Вигнера .
Теория представлений также сильно зависит от типа векторного пространства , в котором действует группа. Различают конечномерные представления и бесконечномерные. В бесконечномерном случае важны дополнительные структуры (например, является ли пространство гильбертовым , банаховым и т. д.).
Необходимо также учитывать тип поля , над которым определяется векторное пространство. Наиболее важным случаем является поле комплексных чисел . Другими важными случаями являются поля действительных чисел , конечные поля и поля p-адических чисел . В общем, с алгебраически замкнутыми полями работать легче, чем с неалгебраически замкнутыми. Характеристика поля также имеет значение; многие теоремы для конечных групп зависят от характеристики поля, не делящего порядок группы .
Здесь V называется пространством представления , а размерность V называется размерностью или степенью представления. Обычно V сам по себе называют представлением, когда гомоморфизм ясен из контекста.
В случае, когда V имеет конечную размерность n, обычно выбирают базис для V и отождествляют GL( V ) с GL( n , K ) , группой обратимых матриц в поле K .
Ядро представления ρ группы G определяется как нормальная подгруппа группы G , образ которой под действием ρ является тождественным преобразованием:
Точным представлением является представление , в котором гомоморфизм G → GL( V ) инъективен ; другими словами, тот, ядром которого является тривиальная подгруппа { e }, состоящая только из единичного элемента группы.
Для двух K векторных пространств V и W два представления ρ : G → GL( V ) и π : G → GL( W ) называются эквивалентными или изоморфными , если существует изоморфизм векторного пространства α : V → W , так что для все г в г ,
Примеры
Рассмотрим комплексное число u = e 2πi/3 , обладающее свойством u 3 = 1. Множество C 3 = {1, u , u 2 } образует циклическую группу при умножении. Эта группа имеет представление ρ в виде:
Другое представление C 3 на , изоморфное предыдущему, — это σ, заданное формулой:
Группу C 3 также можно точно представить с помощью τ, заданного следующим образом:
где
Другой пример:
Пусть – пространство однородных многочленов степени 3 над комплексными числами от переменных
Затем действует перестановкой трех переменных.
Например, отправляет в .
сводимость
Подпространство W в V , инвариантное относительно действия группы, называется подпредставлением . Если V имеет ровно два подпредставления, а именно нульмерное подпространство и само V , то представление называется неприводимым ; если оно имеет собственное подпредставление ненулевой размерности, то представление называется приводимым . Представление нулевой размерности не считается ни приводимым, ни неприводимым [1] , так же как число 1 не считается ни составным , ни простым .
В предположении, что характеристика поля К не делит размер группы, представления конечных групп можно разложить в прямую сумму неприводимых подпредставлений (см. теорему Машке ). Это справедливо, в частности, для любого представления конечной группы над комплексными числами , поскольку характеристика комплексных чисел равна нулю, что никогда не делит размер группы.
В приведенном выше примере первые два заданных представления (ρ и σ) оба можно разложить на два одномерных подпредставления (задаваемые span{(1,0)} и span{(0,1)}), а третье представление (τ) неприводим.
Обобщения
Теоретико-множественные представления
Теоретико -множественное представление (также известное как групповое действие или представление перестановок ) группы G на множестве X задается функцией ρ : G → X X , набором функций от X до X , такой, что для всех g 1 , g 2 в G и все x в X :
где - единичный элемент G . Из этого условия и аксиом группы следует, что ρ( g ) является биекцией (или перестановкой ) для всех g в G. Таким образом, мы можем эквивалентно определить представление перестановки как гомоморфизм группы из G в симметрическую группу S X группы X .
Более подробную информацию по этой теме можно найти в статье о групповых действиях .
Представительства в других категориях
Каждую группу G можно рассматривать как категорию с одним объектом; морфизмы в этой категории — это просто элементы G . Для произвольной категории C представление G в C является функтором из G в C. _ Такой функтор выбирает объект X в C и групповой гомоморфизм из G в Aut( X ) , группу автоморфизмов X.
В случае, когда C — это Vect K , категория векторных пространств над полем K , это определение эквивалентно линейному представлению. Аналогично, теоретико-множественное представление — это просто представление G в категории множеств .
Юрий Иванович Любич. Введение в теорию банаховых представлений групп . Перевод русскоязычного издания 1985 года (Харьков, Украина). Биркхойзер Верлаг. 1988.