广义四元数群

广义四元数群是具有唯一 involution 的非循环有限 \(2\)-群。它们是 Frobenius 补 Sylow 子群结构中循环群之外的唯一例外。 ^{[1, thm. 6.11-6.17]}

定义

\(Q_8\) 是最小例。元素 \(x^{2^{n-2}}\) 是唯一 involution，并等于 \(y^2\)。

核心结论

唯一阶 \(p\) 子群迫使中心循环；对极大循环子群及其指数作归纳。非循环情形只能在 \(p=2\) 出现，生成关系由共轭取逆和唯一 involution 确定。见定理 6.11-6.17。

结构性质

• 含唯一 involution，且每个非平凡子群都含它。
• 有循环指数 \(2\) 子群 \(\langle x\rangle\)。
• 中心与导出结构由 \(x\) 的幂控制。
• \(Q_8\) 是 extraspecial 2-群；更高阶广义四元数群通常不是 extraspecial。
• 其周期上同调和自由球面作用使它在拓扑中也重要。

广义四元数结构是“唯一素数阶子群”在 \(p=2\) 的非循环实现，与二面体、半二面体群形成对照。

例子与边界

知识网络

Frobenius 补说明分类用途，二面体群提供反型对照，extraspecial 词条解释 \(Q_8\) 的特殊位置。

• Frobenius 补
• 二面体群
• Extraspecial p-群

证明与来源

唯一阶 p 子群分类与 Frobenius 补推论见原书定理 6.11-6.17。 ^{[1, thm. 6.11-6.17]}