Wreath 积

Wreath 积把一个群的多个坐标副本与另一个群对坐标的置换结合起来。它是群扩张的通用容器，也是置换群迭代结构和 Yoshida 转移障碍的自然模型。 ^{[1, sec. 3C and ch. 10A]}

定义

若 \(B\) 正则作用于自身，写 \(A\wr B\)，称正则 wreath 积。基群 \(A^X\) 正规，顶部群 \(B\) 是补。

核心结论

选择 \(N\) 在 \(G\) 中的横截，对 \(g\in G\) 记录其在各陪集上的核分量，形成函数 \(Q\to N\)；同时记录右乘诱导的 \(Q\)-置换。乘法恰与 wreath 半直积公式一致，且记录可恢复 \(g\)。

结构性质

• 若 \(A,B\) 有限且 \(|X|=n\)，则 \(|A\wr_X B|=|A|^n|B|\)。
• 置换 wreath 积自然作用于分块集合，给出非本原置换群的标准模型。
• 迭代 wreath 积描述 rooted tree 自同构群和 Sylow 子群的递归结构。
• \(C_p\wr C_p\) 的基群为 \(C_p^p\)、阶为 \(p^{p+1}\)、幂零类为 \(p\)。
• Yoshida 定理中 \(C_p\wr C_p\) 是 Sylow 正规化子不控制转移的唯一商障碍。

wreath 积并非单一群：它依赖顶部群的具体置换作用。正则、乘积作用和非本原作用版本必须区分。

例子与边界

知识网络

分裂扩张提供半直积公式，置换群解释坐标块，Yoshida 定理展示正则 \(p\)-wreath 积的局部障碍作用。

• 分裂扩张与半直积
• 置换群
• Yoshida 转移定理

证明与来源

构造与扩张嵌入见原书第 3C 节；\(C_p\wr C_p\) 的结构及转移意义见第 10A 节。 ^{[1, sec. 3C and ch. 10A]}