Представительство группы - Group representation

Представление группы «действует» на объект. Простым примером является то, как симметрии правильного многоугольника , состоящего из отражений и поворотов, преобразуют многоугольник.

В математической области теории представлений , представления групп описание абстрактных групп в терминах биективных линейных преобразований (т.е. автоморфизмов ) из векторных пространств ; в частности, они могут использоваться для представления групповых элементов в виде обратимых матриц, так что групповая операция может быть представлена умножением матриц . Представления групп важны, потому что они позволяют свести многие теоретико-групповые проблемы к проблемам линейной алгебры , что хорошо понятно. Они также важны в физике, потому что, например, они описывают, как группа симметрии физической системы влияет на решения уравнений, описывающих эту систему.

Термин « представление группы» также используется в более общем смысле для обозначения любого «описания» группы как группы преобразований некоторого математического объекта. Более формально «представление» означает гомоморфизм группы в группу автоморфизмов объекта. Если объект является векторным пространством, у нас есть линейное представление . Некоторые люди используют реализацию для общего понятия и резервируют термин представление для частного случая линейных представлений. Основная часть статьи посвящена теории линейных представлений; см. последний раздел для обобщений.

Разделы теории представлений групп

Теория представлений групп делится на подтеории в зависимости от типа представляемой группы. Различные теории сильно различаются в деталях, хотя некоторые основные определения и концепции схожи. Наиболее важные подразделения:

  • Конечные группы - представления групп являются очень важным инструментом в изучении конечных групп. Они также возникают в приложениях теории конечных групп к кристаллографии и геометрии. Если поле скаляров векторного пространства имеет характеристику p , и если p делит порядок группы, то это называется теорией модульных представлений ; этот частный случай имеет совсем другие свойства. См. Теорию представлений конечных групп .
  • Компактные группы или локально компактные группы. Многие результаты теории представлений конечных групп доказываются усреднением по группе. Эти доказательства могут быть перенесены на бесконечные группы путем замены среднего на интеграл при условии, что можно определить приемлемое понятие интеграла. Это можно сделать для локально компактных групп, используя меру Хаара . Полученная в результате теория является центральной частью гармонического анализа . Двойственности Понтрягина описывает теорию коммутативных групп, как обобщенное преобразование Фурье . См. Также: Теорема Питера – Вейля .
  • Группы Ли. Многие важные группы Ли компактны, поэтому к ним применимы результаты теории компактных представлений. Также используются другие методы, характерные для групп Ли. Большинство групп, важных в физике и химии, являются группами Ли, и их теория представлений имеет решающее значение для применения теории групп в этих областях. См. Представления групп Ли и Представления алгебр Ли .
  • Линейные алгебраические группы (илиболее общем случае аффинные групповые схемы ) - Они являются аналогами групп Ли, нопротяжении более общих полейчем просто R или C . Хотя линейные алгебраические группы имеют классификацию, очень похожую на классификацию групп Ли, и дают начало тем же семействам алгебр Ли, их представления довольно разные (и гораздо менее понятны). Аналитические методы, используемые для изучения групп Ли, должны быть заменены методами алгебраической геометрии , где относительно слабая топология Зарисского вызывает множество технических сложностей.
  • Некомпактные топологические группы . Класс некомпактных групп слишком широк для построения какой-либо общей теории представлений, но были изучены конкретные частные случаи, иногда с использованием специальных методов. В полупростых группах Ли имеют глубокую теорию, опираясь на компактном корпусе. Дополнительные разрешимые группы Ли нельзя классифицировать таким же образом. Общая теория групп Ли имеет дело с полупрямыми произведениями двух типов с помощью общих результатов, называемых теорией Макки , которая является обобщением методов классификации Вигнера .

Теория представлений также сильно зависит от типа векторного пространства, на котором действует группа. Различают конечномерные и бесконечномерные представления. В бесконечномерном случае важны дополнительные структуры (например, является ли пространство гильбертовым пространством , банаховым пространством и т. Д.).

Также необходимо учитывать тип поля, над которым определяется векторное пространство. Самый важный случай - это поле комплексных чисел . Другими важными случаями являются поля действительных чисел , конечные поля и поля p-адических чисел . В общем случае с алгебраически замкнутыми полями легче обращаться, чем с неалгебраически замкнутыми. Характеристика поля также является значительной; многие теоремы для конечных групп зависят от характеристики поля, не делящего порядок группы .

Определения

Представление о группе G на векторном пространстве V над полем K является группой гомоморфизм из G в GL ( V ), в общую линейную группу на V . То есть представление - это карта

такой, что

Здесь V называется пространством представления, а размерность V называется размерностью представления. Обычно V сам по себе является представлением, когда гомоморфизм ясен из контекста.

В случае , когда V имеет конечную размерность п он является общим , чтобы выбрать базис для V и определения GL ( V ) с GL ( п , К ) , группа п матрицу с размерностью п обратимых матриц на поле К .

  • Если G является топологической группой , и V представляет собой топологическое векторное пространство , A непрерывное представление из G на V является представлением ρ таким образом, что приложения Ф: G × VV определяется Ф ( г , v ) = ρ ( г ) ( v ) является непрерывным .
  • Ядро из представления р группы G определяется как нормальная подгруппа группы G , образ которой при р тождественное преобразование:
Точное представление является тот , в котором гомоморфизм G → GL ( V ) является инъективным ; другими словами, та, ядром которой является тривиальная подгруппа { e }, состоящая только из единичного элемента группы.
  • Для двух K векторных пространств V и W два представления ρ  : G → GL ( V ) и π  : G → GL ( W ) называются эквивалентными или изоморфными, если существует изоморфизм векторных пространств α  : VW так, что для все g в G ,

Примеры

Рассмотрим комплексное число u = e 2πi / 3, обладающее свойством u 3 = 1. Циклическая группа C 3 = {1, u , u 2 } имеет представление ρ на, задаваемое формулой:

Это представление является точным, поскольку отображение ρ взаимно однозначно .

Другое представление для C 3 on , изоморфное предыдущему, - это σ, задаваемое следующим образом:

Группа C 3 также может быть точно представлена ​​на τ, задаваемом:

куда

Другой пример:

Пусть - пространство однородных многочленов степени 3 над комплексными числами от переменных

Затем действует путем перестановки трех переменных.

Например, отправляет в .

Сводимость

Подпространство W в V , инвариантное относительно действия группы, называется подпредставлением . Если V имеет ровно два подпредставления, а именно нульмерное подпространство и само V , то представление называется неприводимым ; если у него есть собственное подпредставление ненулевой размерности, то представление называется приводимым . Представление размерности нуль не считается ни сводимым, ни неприводимым, так же как число 1 не считается ни составным, ни простым .

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

В приведенном выше примере первые два заданных представления (ρ и σ) разложимы на два одномерных подпредставления (заданных span {(1,0)} и span {(0,1)}), а третье представление (τ) неприводимо.

Обобщения

Теоретико-множественные представления

Представление теоретико-множественный (также известное как действия группы или представление перестановок ) от группы G на множестве X задается функция р: GХ Х , множество функций из X в X , такие , что для всех г 1 , g 2 в G и все x в X :

где это единичный элемент G . Это условие и аксиомы группы означают , что ρ ( г ) представляет собой взаимно однозначное соответствие (или перестановка ) для всех г в G . Таким образом , мы можем определить , что то же самое представление перестановку быть гомоморфизмом из G в симметрической группы S X в X .

Для получения дополнительной информации по этой теме см. Статью о групповых действиях .

Представительства в других категориях

Каждую группу G можно рассматривать как категорию с одним объектом; морфизмы в этой категории являются только элементами G . Для произвольной категории С , А представление о G в C является функтор из G в C . Такой функтор выбирает объект X в C и групповой гомоморфизм из G в Aut ( X ), в группу автоморфизмов из X .

В случае, когда C - это Vect K , категория векторных пространств над полем K , это определение эквивалентно линейному представлению. Точно так же теоретико-множественное представление - это просто представление группы G в категории множеств .

Когда C является Ab , категорией абелевых групп , полученные объекты называются G -модулями .

В качестве другого примера рассмотрим категорию топологических пространств , Top . Представления в Top гомоморфизмы от G до гомеоморфизма группы топологического пространства X .

С линейными представлениями тесно связаны два типа представлений:

Смотрите также

Примечания

использованная литература