シローの定理

シローの定理は、有限群の位数を割り切る与えられた素数の最大べき乗を位数とする部分群について記述し、その存在、共役性、および厳密な数を保証するものである。

Definition

素数pと有限群Gについて、その位数がp^kとpに互いに素な整数との積である場合、シローp-部分群とは位数p^kの部分群のことである。シローの定理は、そのような部分群が存在すること、すべてが共役であること、およびその数がpを法として1に合同であり、かつ指数を割り切ることを主張する。

Scope

このトピックでは、シローp-部分群の定義、存在、共役性、シロー部分群の数に関する3つのシローの定理、およびそれらの標準的な応用として、小さな有限群の非単純性の証明と分類について扱う。

Core questions

• 有限群には、最大素数べき乗位数の部分群が常に存在するのか？
• 任意の2つのシローp-部分群はどのように関連しているのか？
• シローp-部分群の数は、群の構造にどのような制約を課すのか？
• シローの定理は、特定の位数の群が単純ではないことを証明するためにどのように使用されるのか？

Key theories

第一シローの定理（存在）

有限群の位数を割り切る素数pの最大べき乗がp^kであるならば、その群は位数p^kの部分群を少なくとも1つ含む。

第二シローの定理（共役性）

有限群のすべてのシローp-部分群は互いに共役であり、すべてのp-部分群は何らかのシローp-部分群に含まれる。

第三シローの定理（数）

シローp-部分群の数はpを法として1に合同であり、かつシロー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-部分群の数をちょうど1つに強制する場合、その部分群は正規部分群であるため、群は真の非自明な正規部分群を持ち、単純ではないことになる。