LINUX.ORG.RU
ФорумTalks

Разрешимость группы


0

0

Недавно встретил такое задание: доказать разрешимость группы порядка (p^2)*q, где p, q -- взаимно простые числа. Может кто-нибудь ткнуть в теоремы, из которых это может следовать (перерыл все подручные книги по алгебре) ?

anonymous
Ответ на: комментарий от dilmah

ну смотри.. по теореме Силова, всё, что мы можем сказать что группа имеет две подгруппы: первая будет порядка p^2, другая -- конечная циклическая порядка q. А вот какой шаг сделать следующий? Ведь мы даже не можем утверждать, что хотя бы одна из них нормальна.

anonymous
()
Ответ на: комментарий от anonymous

нужно использовать еще факт что число силовских подгрупп будет сравнимо с единицей по соотв. модулю. Потом понять как эти силовские подгруппы могут пересекаться и располагаться.

dilmah ★★★★★
()

> p, q -- взаимно простые числа
            ^^^^^^^
Наверное, просто простые, так? Тогда это теорема Бернсайда, а
именно: каждая группа порядка paqb, где p,q - простые, разрешима.
Доказательство непростое, найти можно в какой-нибудь книге по теории
представлений и характерам. А чисто теоретико-групповое доказательство
по-моему, только в 70-x придумали.

grob ★★★★★
()

А может быть кто-нибудь может доказать, что пересечение силовской p-подгруппы с нормальной подгруппой есть силовская p-подгруппа?

anonymous
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.