称西洛定理）为一系列定理的总称。这些定理关于给定的有限群包含的固定阶子群的数目给出了详细的信息。这些定理在有限群论中起到了基础的作用，并且在有限单群分类中有重要应用。西罗定理假设了拉格朗日定理部份反面的情况。拉格朗日定理叙述了若"H"是一个有限群"G"的子群，则"H"的阶会整除"G"的阶。西洛定理则保证，对于"G"之目的某些因数，会有对应此些因数的子群存在着，且会给出有关此类子群之数目的相关讯息。
定义.设"p"是一个质数；则可定义"G"的西罗"p"-子群（或者称为"p"-西罗子群