Недавно встретил такое задание: доказать разрешимость группы порядка (p^2)*q, где p, q -- взаимно простые числа. Может кто-нибудь ткнуть в теоремы, из которых это может следовать (перерыл все подручные книги по алгебре) ?
ну смотри.. по теореме Силова, всё, что мы можем сказать что группа имеет две подгруппы: первая будет порядка p^2, другая -- конечная циклическая порядка q. А вот какой шаг сделать следующий? Ведь мы даже не можем утверждать, что хотя бы одна из них нормальна.
нужно использовать еще факт что число силовских подгрупп будет сравнимо с единицей по соотв. модулю. Потом понять как эти силовские подгруппы могут пересекаться и располагаться.
> p, q -- взаимно простые числа
^^^^^^^
Наверное, просто простые, так? Тогда это теорема Бернсайда, а
именно: каждая группа порядка paqb, где p,q - простые, разрешима.
Доказательство непростое, найти можно в какой-нибудь книге по теории
представлений и характерам. А чисто теоретико-групповое доказательство
по-моему, только в 70-x придумали.