∑

数学知识体系

Observatory Archive of Mathematics
⌕2026/8/31
概念

八元数与范数代数

凯莱数(八元数)放弃结合律,是仅有的三种有限维实可除代数之一(弗罗贝尼乌斯定理),其结构启发李群与物理中的特殊对称。

所属主题:数系理论 ↗
阅读路径

参考可汗学院 Get ready 机制:先修概念 → 当前概念 → 进阶概念,✓ 表示已读。

当前概念

八元数与范数代数数系理论

01定义

八元数(凯莱数)O\mathbb{O} 是 8 维实可除代数:进一步放弃结合律(仅保留交错性)。弗罗贝尼乌斯定理与胡尔维茨定理共同说明:实可除范数代数只有 R,C,H,O\mathbb{R},\mathbb{C},\mathbb{H},\mathbb{O} 四种——八元数站在「数」之边界。
ℝ (1维) ℂ (2维) ℍ (4维) 𝕆 (8维) 每扩张一步: 失去一种代数性质 ℂ 失序、ℍ 失交换、𝕆 失结合——维度倍增,代价递增
四大范数代数的扩张阶梯:ℝ ⊂ ℂ ⊂ ℍ ⊂ 𝕆

02核心要点

01

构造与性质

凯莱-迪克松构造:由 H\mathbb{H} 倍增得到 O\mathbb{O};无结合律但有交错性 (xx)y=x(xy)(xx)y=x(xy),仍可定义共轭与范数、非零元可除。

02

胡尔维茨定理

带乘法范数(∣xy∣=∣x∣∣y∣|xy|=|x||y|)的实代数只有维度 1, 2, 4, 8 四种——8 维即终点,再无「十六元数」可除代数。

03

与现代数学的联系

例外李群 G2G_2 是八元数的自同构群;弦论的 10 维时空与八元数相关;拓扑学中的球面可平行化问题也由 O\mathbb{O} 解释。

03关键公式

∣xy∣=∣x∣∣y∣⇒dim⁡∈{1,2,4,8}|xy|=|x||y|\Rightarrow\dim\in\{1,2,4,8\}

04历史沿革

格雷夫斯 1843 年(先于凯莱)发现八元数,凯莱 1845 年发表;20 世纪博特尔与米尔诺用其与拓扑学挂钩,八元数从代数奇观变为几何枢纽。

05应用与延伸

例外李群与特殊几何(G2G_2 流形在弦紧化中的角色)、编码理论的 8 维格 E8E_8、超对称场论的维度限制都以八元数为深层结构。

06交互演示

八元数乘法:Fano 平面7 个虚单位与 7 条线:每条线是乘法三元组,箭头方向相乘

07相关概念