Теоремы Силова

Теоремы Силова описывают подгруппы конечной группы, порядок которых является наибольшей степенью заданного простого числа, делящей порядок группы, гарантируя их существование, сопряженность и точное количество.

Definition

Для простого числа p и конечной группы G, порядок которой равен p^k, умноженному на целое число, взаимно простое с p, силовская p-подгруппа — это подгруппа порядка p^k. Теоремы Силова утверждают, что такие подгруппы существуют, что все они сопряжены, и что их количество сравнимо с 1 по модулю p и делит индекс.

Scope

Эта тема охватывает определение силовской p-подгруппы, три теоремы Силова о существовании, сопряженности и количестве силовских подгрупп, а также их стандартные применения для доказательства непростоты и классификации малых конечных групп.

Core questions

• Всегда ли существуют подгруппы максимального простого порядка в конечной группе?
• Как связаны любые две силовские p-подгруппы?
• Какие ограничения накладывает количество силовских p-подгрупп на структуру группы?
• Как теоремы Силова используются для доказательства того, что группы определенных порядков не являются простыми?

Key theories

Первая теорема Силова (существование)

Если p^k — наибольшая степень простого числа p, делящая порядок конечной группы, то группа содержит по крайней мере одну подгруппу порядка p^k.

Вторая теорема Силова (сопряженность)

Все силовские p-подгруппы конечной группы сопряжены друг с другом, и каждая p-подгруппа содержится в некоторой силовской p-подгруппе.

Третья теорема Силова (количество)

Количество силовских p-подгрупп сравнимо с 1 по модулю p и делит индекс силовской p-подгруппы, что строго ограничивает их возможное количество.

Clinical relevance

Теоремы Силова являются основным инструментом для анализа структуры конечных групп: подсчитывая силовские подгруппы, часто показывают, что должна существовать нормальная подгруппа, доказывая, что группы многих порядков не могут быть простыми, что является ключевым шагом к классификации конечных простых групп.

History

Людвиг Силов доказал эти теоремы в 1872 году, расширив более ранний результат Коши о том, что простое число, делящее порядок группы, влечет за собой существование элемента такого порядка. Фробениус позднее представил доказательства, применимые к абстрактным группам, и эти теоремы стали основополагающими для теории конечных групп.

Key figures

• Ludwig Sylow
• Augustin-Louis Cauchy
• Georg Frobenius

Seminal works

• dummit2004
• rotman1995
• isaacs2008

Frequently asked questions

Что такое силовская p-подгруппа интуитивно?

Это подгруппа, которая включает в себя все простое число p, содержащееся в порядке группы: ее размер равен полной степени p, делящей порядок группы. Теоремы утверждают, что такие максимальные p-подгруппы всегда существуют и по существу уникальны с точностью до сопряженности.

Как теоремы показывают, что группа не является простой?

Если условия сравнимости и делимости вынуждают количество силовских p-подгрупп быть равным ровно одной, то эта подгруппа является нормальной, следовательно, группа имеет собственную нетривиальную нормальную подгруппу и не может быть простой.