Wielandt 拉链引理

Wielandt 拉链引理把“次正规性只在最顶层失败”转化为极大子群的唯一性。它是证明可置换子群次正规和次正规子群生成闭包的关键归纳工具。 ^{[1, thm. 2.9]}

定义

“唯一极大上界”指恰有一个 \(G\) 的极大子群 \(M\) 满足 \(S\leq M\)，不是指 \(S\) 自身极大。

核心结论

反设有两个不同极大上界 \(M,N\)。在二者内的次正规链和交定理允许把 \(S\) 的正规闭包逐步推入 \(M\cap N\)；有限性与极大性最终迫使 \(\langle M,N\rangle\) 仍是真子群或迫使 \(S\) 在 \(G\) 中次正规，均矛盾。完整双归纳见原书定理 2.9。

结构性质

• 引理只需要控制所有真上界，不需要预先构造通往 \(G\) 的次正规链。
• 唯一极大上界在共轭下必须固定，常因此成为正规子群并导致矛盾。
• 若 \(S\) 与每个共轭 \(S^g\) 可置换，则拉链引理可用于证明 \(S\) 次正规。
• Wielandt 生成定理的归纳中，拉链引理排除两个次正规子群没有共同真上界的困难情形。
• 对无限群需额外升链条件；有限性保证极大上界存在且归纳终止。

它像拉链一样把每个局部次正规链向上闭合；若最后一齿无法闭合，所有真上界被压缩成唯一极大上界。

例子与边界

知识网络

次正规主干词条给出生成定理，可置换子群是主要应用，正规闭包解释归纳中共轭生成的对象。

• 次正规子群
• 可置换子群
• 正规闭包

证明与来源

精确定理和完整有限双归纳见原书定理 2.9；这里保留用途、逻辑形态和有限性边界。 ^{[1, thm. 2.9]}