Пусть
– степень представления , т.е. . Мы можем считать, что . Покажем, что . Пусть , т.е. . Обозначим через циклическую группу, порожденную элементом . По теореме 3.3 эквивалентно прямой сумме представлений степени 1. Значит, для некоторой невырожденной матрицыПусть
– порядок элемента . Тогда . Взяв след в равенстве (6.3), получаем . Это означает, что , т.е. . Плскольку точно, . Поэтому и . Полученное противоречие доказывает теорему.Таблицы характеров. Пусть
– группа и – классы сопряженных элементов в . Пусть – нерпиводимые характеры группы , а – представители ее классов сопряженных элементов. Отметим, что в силу теоремы 4.10 число неприводимых характеров совпадает с числом классов сопряженности. Упорядочим значения таким образом, чтобы получить таблицу характеров группы , в которой строки помечены различными неприводимыми характерами, начиная с , а столбцы – классами сопряженности группы , начиная с класса .Различные строки таблицы характеров ортогональны между собой в смысле теоремы
, а в силу теоремы 4.9 столбцы ортогональны между собой в обычном смысле как векторы комплексного унитарного пространства.Заключение
Таким образом, в данной работе мы показали, что каждое представление конечной группы эквивалентно некоторому ее унитарному представлению и является мполне приводимым.
Путем прямых вычислений доказали лемму:
для произвольной квадратной матрицы и теорему: Пусть – группа и – ее подгруппа. Пусть – представление степени , а – его характер. Тогда индуцированное представление имеет степень , где , и характерНепосредственными вычислениями была устанавлена следующая лемма:
,(2) если имеют степень , a – степень , то
Список использованных источников
Сыскин С.А. Абстрактные свойства простых спорадических групп. – Усп. мат. наук, 1980, т. 35, №5, (215), с. 181–212.
Монахов В.С. О трижды факторизуемых группах. – Изв. АН БССР. Сер. физ.-мат. наук, 1981, №6, с. 18–23.
Монахов В.С. Произведение разрешимой и циклической групп // Сб. VI всес. симпозиум по теории групп.-Киев: Наукова думка, 1980-с. 189–195
Монахов В.С. О произведении двух групп с циклическими подгруппами индекса 2 // Весцi АН Беларусi. сер. фiз.-мат. навук. – 1996, №3-с. 21–24