西洛定理

令 为素数， 为有限群， 为 的阶。

1. 如果 整除 ，则 具有 西洛 p-子群。

2. 在有限群中，对于固定的 ，所有的 西洛 p-子群 都是共轭的。

3. 对于固定的 ，西洛 p-子群的数量同余于 1 (mod )。