第二 Sylow 定理：共轭为何统一全部最大 p-结构

本课要解决的问题

多个 Sylow p-子群若同时存在，它们彼此究竟有多大差异？

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

概念建立

第二 Sylow 定理断言：G 的任意两个 Sylow p-子群互为共轭；而任意 p-子群都包含在某个 Sylow p-子群中。因此最大 p-结构在群内部只有一个共轭类型，差异来自观察位置而非抽象结构。

推导主线

令一个 p-子群 P 通过左乘作用在 G/Q 的陪集上，其中 Q 是 Sylow p-子群。轨道大小为 p 的幂，而陪集总数 [G:Q] 不被 p 整除，所以必有固定点 gQ。固定意味着 PgQ=gQ，从而 g⁻¹Pg≤Q。若 P 也为Sylow，阶相同迫使等号。

完整例题

S₃ 中三个2阶子群分别由三个换位生成，它们互为共轭，也都是Sylow 2-子群。任一2-子群已经最大；而3阶Sylow子群A₃只有一个。

严格边界

共轭不等于作为集合相同，但共轭保证同构且阶相同。‘任意p-子群包含在某个Sylow子群’不是说包含在每一个Sylow子群。

课后闭环

在S₄中找两个不同的Sylow 2-子群代表，说明如何由共轭联系；再任选一个2阶子群，找一个包含它的Sylow 2-子群。

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