正则 p-群

正则 \(p\)-群是 Philip Hall 引入的一类乘方行为接近阿贝尔群的 \(p\)-群。其收集公式使元素阶、幂子群和转移更易控制。 ^{[1, remarks after thm. 10.2 and problems 10A]}

定义

此处“正则”与正则置换作用无关，是 \(p\)-群乘方性质。

核心结论

正则性传到商，而 \(C_p\wr C_p\) 违反正则乘方公式并含关键阶 \(p^2\) 元素。因此排除障碍商后应用 Yoshida。

结构性质

• 阿贝尔 \(p\)-群正则。
• 幂零类小于 \(p\) 的有限 \(p\)-群正则。
• 正则性对取子群与商具有良好闭包。
• 正则群中由低阶元素生成的集合常形成子群。
• \(p=2\) 时正则类非常受限。

正则性将非阿贝尔乘方误差压入更高交换子幂，使许多阿贝尔式计数仍成立。

例子与边界

知识网络

Yoshida 定理说明转移意义，wreath 积是障碍，强力 p-群是另一类良好乘方群。

• Yoshida 转移定理
• 强力 p-群
• Wreath 积

证明与来源

正则性与 Hall–Wielandt/Yoshida 的关系见定理 10.2 后讨论及 10A 习题。 ^{[1, remarks after thm. 10.2 and problems 10A]}