西罗定理
西罗定理描述了有限群的子群，其阶是给定素数除以群阶的最大幂次，保证了它们的存在性、共轭性以及精确的计数。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
对于素数p和有限群G，如果其阶是p^k乘以一个与p互素的整数，那么西罗p-子群是阶为p^k的子群。西罗定理断言这些子群存在，所有这些子群都是共轭的，并且它们的数量模p同余于1，并能整除指数。
Scope
本主题涵盖了西罗p-子群的定义、关于存在性、共轭性和西罗子群数量的三个西罗定理，以及它们在证明小有限群的非单性和分类方面的标准应用。
Core questions
- 最大素数幂阶的子群是否总存在于有限群中？
- 任意两个西罗p-子群之间有什么关系？
- 西罗p-子群的数量对群的结构施加了哪些限制？
- 西罗定理如何用于证明某些阶的群不是单群？
Key theories
- 第一西罗定理（存在性）
- 如果p^k是素数p除以有限群阶的最大幂次，那么该群至少包含一个阶为p^k的子群。
- 第二西罗定理（共轭性）
- 有限群的所有西罗p-子群彼此共轭，并且每个p-子群都包含在某个西罗p-子群中。
- 第三西罗定理（数量）
- 西罗p-子群的数量模p同余于1，并能整除西罗p-子群的指数，从而严格限制了它们的可能数量。
Clinical relevance
西罗定理是分析有限群结构的主要工具：通过计算西罗子群，人们经常可以证明正规子群的存在，从而证明许多阶的群不能是单群，这是有限单群分类的关键一步。
History
路德维希·西罗于1872年证明了这些定理，扩展了柯西早期的结果，即一个素数如果能整除群的阶，则群中存在该素数阶的元素。弗罗贝尼乌斯后来给出了适用于抽象群的证明，这些定理成为有限群论的基础。
Key figures
- Ludwig Sylow
- Augustin-Louis Cauchy
- Georg Frobenius
Related topics
Seminal works
- dummit2004
- rotman1995
- isaacs2008
Frequently asked questions
- 直观上，什么是西罗p-子群？
- 它是一个子群，包含了群阶中所有素数p的因子：它的大小是整除群阶的p的完整幂次。这些定理表明，这种最大的p-子群总是存在的，并且在共轭意义上是基本唯一的。
- 这些定理如何证明一个群不是单群？
- 如果同余和可除性条件强制西罗p-子群的数量恰好为1，那么该子群是正规的，因此该群有一个非平凡的真正规子群，不能是单群。