Характер представления группы — функция на группе, возвращающая след (сумму диагональных элементов) матрицы, соответствующей данному элементу в представлении[1][2].
Если — конечномерное представлениегруппы, то характер этого представления — это функция из во множество комплексных чисел, заданная следом линейного преобразования, соответствующего элементу . Вообще говоря, след не является гомоморфизмом, а множество следов не образует группы.
Свойства
Характеры эквивалентных представлений совпадают[2].
Изоморфные представления имеют одинаковые характеры[4].
Характеры неприводимых не изоморфных между собой представлений конечной группы образуют ортонормированную систему функций[2][5].
Скалярный квадрат характера неприводимого представления равен единице[2].
Характер приводимого представления равен сумме характеров всех неприводимых представлений, которые в нем встречаются[2][4].
Два представления, имеющие одинаковые характеры, эквивалентны[2][6].
Если представление приводимо, то скалярный квадрат его характера больше единицы[7].
У взаимно-сопряжённых элементов группы и характеры равны[7].
Совокупность характеров всех неприводимых представлений является полной в линейном пространстве функций, определённых на классах сопряжённых элементов[7].