西罗定理

西罗定理
image
设p是一个质数；则可定义一个G的西罗p-子群（有时称为p-西罗子群），其为G的最大p-子群（即一个其为p-群且不为其他G之p-子群的纯子群之子群）。所有给定一质数p之西罗p-子群所组成之集合有时会写成Sylp(G)。在一种或另一种意思下皆为最大之子群的集合在群论中并没有不一样。这里很不可思议的为在Sylp(G)内的例子，每个元素都会实际地共轭于另一个元素；且此一性质可以被用来决定G的其他性质。

定理定义

第一Sylow定理：设
是以阶为
的有限群，
，
是素数，
，对每个
(
)，
中含有
阶的子群，并且
中每个
阶的子群是某个
阶子群的正规子群。
第二Sylow定理：设
是有限群
的一个
子群，
是
的一个Sylow
子群，则存在
属于
，使得
包含于
，特别地，
的任意两个Sylow
子群共轭。
第三Sylow定理：设
是一个有限群，
是一个素数，则
的Sylow
子群的个数
是
的一个因子，且
。