Силона подгруппа

силовская подгруппа,- максимальная p-подгруппа группы, где p - нек-рое множество простых чисел, т. е. периодич. подгруппа, порядки элементов к-рой делятся только на простые числа из p, и не содержащаяся ни в какой большей подгруппе с таким свойством (силовская p-подгруппа). Основное значение для теории групп имеют с и л о в с к и е р-подгруппы, то есть С. п., множество p у к-рых состоит из единственного простого числа р. Название дано в честь Л. Силова (L. Sylow), доказавшего ряд теорем о таких подгруппах в конечной группе (см. Силова теоремы). С. п. играют важную роль в теории конечных групп. Так, вопрос о дополняемости нормальной абелевой подгруппы сводится к такому же вопросу для силовских подгрупп; существование нетривиальной р-факторгруппы связано с существованием нетривиальной р-факторгруппы у нормализатора силовской р-подгруппы; строение конечной простой группы во многом определяется строением ее силовской 2-подгруппы. В теории бесконечных групп, исключая теорию локально конечных групп, роль С. п. меньше, поскольку уже основной вопрос о сопряженности силовских р-подгрупп решается положительно только в отдельных классах бесконечных групп.