西洛定理

令 為素數， 為有限群， 為 的階。

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

2. 在有限群中，對於固定的 ，所有的 西洛 p-子群 都是共軛的。

3. 對於固定的 ，西洛 p-子群的數量同餘於 1 (mod )。