Extraspecial p-群

Extraspecial \(p\)-群是最接近初等阿贝尔群的非阿贝尔 \(p\)-群之一。其非交换性全部集中在一个 \(p\) 阶中心，商群则成为带非退化辛形式的向量空间。 ^{[1, sec. 4D and ch. 7]}

定义

extraspecial 群阶必为 \(p^{1+2n}\)。商 \(V=P/Z(P)\) 是 \(2n\) 维 \(\mathbf F_p\)-向量空间。

核心结论

类至多 \(2\) 使交换子在各变量上线性；若 \(xZ(P)\) 与所有向量正交，则 \(x\) 中心化 \(P\)，所以 \(x\in Z(P)\)，证明非退化。分类还需区分指数与二次型，证明引用原书第 4D 节。

结构性质

• 阶为 \(p^{1+2n}\)，中心商为初等阿贝尔群。
• 最大阿贝尔子群对应辛空间中的极大全迷向子空间，通常阶为 \(p^{n+1}\)。
• 对奇 \(p\)，每个阶有两种中心积类型，可由指数或二次数据区分。
• 对 \(p=2\)，\(D_8\) 与 \(Q_8\) 是阶 \(8\) 的两个 extraspecial 群，并通过中心积产生高阶类型。
• 自同构群在 \(P/Z(P)\) 上诱导辛群或相关正交群作用。

这种线性化使 \(p\)-群局部问题可转化为有限辛几何，并在 Thompson 替换和局部单群理论中反复出现。

例子与边界

知识网络

有限 p-群主干词条提供中心与 Frattini 基础，Thompson 子群使用最大阿贝尔子群，辛群描述中心商自同构。

• 有限 p-群
• Thompson 子群
• 辛群

证明与来源

定义、类二交换子和中心积结构见原书第 4D 节；最大阿贝尔子群应用延伸到第 7 章。 ^{[1, sec. 4D and ch. 7]}