§ 5. Число неприводимых представлений группы
Лемма. Пусть центральная функция, определенная на группе порядка и Г — неприводимое представление группы в пространстве размерности с характером Тогда линейный оператор
действующий в пространстве является гомотетией с коэффициентом гомотетии, равным
Доказательство. Для любого элемента группы имеем
(так как -центральная функция, то Но произведение где — фиксированный элемент группы а а пробегает все элементы группы, тоже пробегает (по одному разу) все элементы группы (произвольный элемент х группы, равен здесь Следовательно, последняя сумма равна
т. е. для любого
Из равенства вытекает, что Но тогда из второй части леммы Шура следует, что является гомотетией, т. е. что для некоторого
Для того чтобы найти X, вычислим след обеих частей этого равенства. В правой части получим
то и
Аналогичное утверждение верно и для любого числа слагаемых, т. е. для любого представления Г группы и любой центральной функции ортогональной ко всем характерам неприводимых представлений этой группы, имеем
Пусть теперь — регулярное представление группы — все ее элементы — единичный элемент), — базисные векторы пространства представления Применим оператор (являющийся, по доказанному выше, нулевым оператором) к вектору Мы получим
Но так как векторы линейно независимы, то для всех и значит, для всех т. е. функция на группе тождественно равна нулю.
Теорема 4. Каждая центральная функция на группе является линейной комбинацией характеров неприводимых представлений этой группы.
Доказательство. Пусть У — пространство всех центральных функций, определенных на группе и — его подпространство, порожденное характерами всех неприводимых представлений, Тогда