Доказать, что если Н – собственная подгруппа конечной группы G, то объединение сопряженных с Н подгрупп не содержит всех элементов группы. задан 16 Май '17 13:51 Asifer |
Рассмотрим действие группы $%G$% сопряжениями на множестве подгрупп. Длина орбиты подгруппы $%H$% при таком действии равна индексу стабилизатора подгруппы, который содержит $%H$%, и потому его индекс не превосходит индекса $%H$%, равного $%m > 1$%. Это значит, что число подгрупп, сопряжённых $%H$%, не превосходит $%m$%. Значит, общее число элементов объединения сопряжённых подгрупп не больше $%m|H|=|G|$%. При этом единичный элемент входит в каждую из таких подгрупп, а их больше одной. Поэтому он учитывается более одного раза, откуда следует, что число элементов объединения строго меньше $%|G|$%. Конечность групп здесь существенна. Для бесконечных групп это утверждение верным уже не будет. отвечен 16 Май '17 14:38 falcao |