p-子群与 Sylow 子群：先找群阶中的最大素数幂

本课要解决的问题

有限群阶含多个素因子时，怎样抽出由单一素数控制的最大局部结构？

这不是先背名词再找用途。我们从一个确切问题出发，逐步抽出能够重复使用的数学结构。学完本课，你应能解释“为什么要这样定义”，并独立完成一个计算或证明。

概念建立

若群 P 的阶为 p 的幂，则称 p-群。若 |G|=p^a m 且 p∤m，G 中阶为 p^a 的子群称 Sylow p-子群。这里的‘最大’指阶包含 |G| 中完整的 p 次幂，不是按集合包含随意挑一个大子群。

推导主线

先对 |G| 作素因数分解，再读出每个 p 的最高指数 a。任何 p-子群阶都必须由 Lagrange 定理整除 |G|，所以至多为 p^a；Sylow 子群若存在就达到这个上界。后续定理将保证存在并控制其数量。

完整例题

|G|=72=2³·3²。Sylow 2-子群阶为8，Sylow 3-子群阶为9。一个4阶2-子群虽然是 p-子群，却不是 Sylow 2-子群，因为还未达到2³。

严格边界

Sylow p-子群不是阶为 p 的任意子群；当 a>1 时必须达到 p^a。定义只用于素数 p，且子群个数与子群的阶是两个不同问题。

课后闭环

对60、84、200分别分解群阶，写出每个素数对应的Sylow子群阶；再列出可能的较小p-子群阶。

完成页面中的单选、多选和计算题。计算题要保留中间步骤；多选题漏选或多选均视为没有掌握定义。错误按“对象、运算、条件、推理、计算”标出第一处失误，隔一天遮住答案重做。