Характер представления группы — функция на группе, возвращающая след (сумму диагональных элементов) матрицы, соответствующей данному элементу в представлении.
Обычно обозначаются буквой .
Изучением представлений через их характеры занимается теория характеров.
Определение
Если — конечномерное представление группы , то характер этого представления — это функция из во множество комплексных чисел, заданная следом линейного преобразования, соответствующего элементу . Вообще говоря, след не является гомоморфизмом, а множество следов не образует группы.
Свойства Характеры эквивалентных представлений совпадают. Изоморфные представления имеют одинаковые характеры. Характеры неприводимых не изоморфных между собой представлений конечной группы образуют ортонормированную систему функций. Скалярный квадрат характера неприводимого представления равен единице. Характер приводимого представления равен сумме характеров всех неприводимых представлений, которые в нем встречаются. Два представления, имеющие одинаковые характеры, эквивалентны. Если представление приводимо, то скалярный квадрат его характера больше единицы. У взаимно-сопряжённых элементов группы и характеры равны. Совокупность характеров всех неприводимых представлений является полной в линейном пространстве функций, определённых на классах сопряжённых элементов. Для любого элемента группы . Для того, чтобы представление было неприводимым, необходимо и достаточно, чтобы скалярный квадрат его характера был равен .
Примечания
Литература
Категория:Теория представлений Категория:Теория представлений групп