Максимальные факторизации симплектических групп

В дипломной работе рассмотрены факторизации четырехмерных симплектических групп.Для таких групп найдены все максимальные факторизации.Казарин Л.С., Факторизации конечных групп разрешимыми подгруппами //Укр.Порядки симплектических групп.Доказательство. Из следует, что является максимальной подгруппой в . Пусть и . Обозначим.Подгруппа Фраттини группы , т.е. пересечение всех максимальных подгрупп.Является максимальной подгруппой группы.Группой симплектических преобразований.Проективной группой симплектических преобразований.Если и - подмножество группы и , то .