西洛 p-子群

如果 是 素数 整除 有限群 的 阶 的最高 幂，则 的一个 阶 为 的 子群 称为 -西洛子群。