Характер представления группы
— функция на группе, возвращающая
след
(сумму диагональных элементов) матрицы, соответствующей данному элементу в представлении
.
Обычно обозначаются буквой
.
Изучением представлений через их характеры занимается
теория характеров
.
Содержание
Определение
Если
— конечномерное
представление
группы
, то характер этого представления — это функция из
во множество комплексных чисел, заданная
следом
линейного преобразования, соответствующего элементу
. Вообще говоря, след не является гомоморфизмом, а множество следов не образует группы.
Свойства
Характеры эквивалентных представлений совпадают
.
Изоморфные представления имеют одинаковые характеры
.
Характеры неприводимых не изоморфных между собой представлений конечной группы образуют ортонормированную систему функций
.
Скалярный квадрат характера неприводимого представления равен единице
.
Характер приводимого представления равен сумме характеров всех неприводимых представлений, которые в нем встречаются
.
Два представления, имеющие одинаковые характеры, эквивалентны
.
Если представление приводимо, то скалярный квадрат его характера больше единицы
.
У взаимно-сопряжённых элементов группы
и
характеры равны
.
Совокупность характеров всех неприводимых представлений является полной в линейном пространстве функций, определённых на классах сопряжённых элементов
.
Для любого элемента группы
.
Для того, чтобы представление было неприводимым, необходимо и достаточно, чтобы скалярный квадрат его характера был равен
.
Примечания
, с. 62.
↑
, с. 56.
, с. 366.
↑
, с. 367.
, с. 369.
, с. 64.
↑
, с. 57.
, с. 368.
, с. 372.
Литература
Теория групп и её применение в физике. —
М.
: Наука, 1958. — 354 с.
Ван дер Варден Б. Л.
Метод теории групп в квантовой механике. —
М.
: Едиториал УРСС, 2004. — 200 с.
Линейная алгебра и некоторые её приложения. —
М.
: Наука, 1975. — 407 с.