分解型八元数

数学における分解型八元数（ぶんかいがたはちげんすう、）の全体は、実八次元の分配多元環を成す。通常の八元数とは異なり、非可逆な非零元を含む。またその計量二次形式（（二次の）ノルム）の符号数も異なり、通常の八元数のが正定値符号数 を持つのに対して、分解型八元数のは分解型符号数 を持つ。
八元数全体と分解型八元数全体の二者が、同型を除いて可能な実数体 上の一般八元数環の全てを尽くす。任意の体 上でも対応する分解型の八元数環を考えることができる。
定義.
ケーリー＝ディクソン構成.
八元数全体および分解型八元数全体は、四元数の対の間に乗法を定義することにより、ケーリー＝ディクソン構成から得られる。新しい虚数単位 を導入して、四元数の対 を の形に書けば、その積は
なる規則から定められる。ここで と選べば通常の八元数である。その代わりに、 として分解型八元数が得られる。
あるいは、をケイリー–ディクソン構成で二重化しても分解型八元数を得ることができる（この場合、 は の何れの値を選んでも分解型になる）。
乗積表.
分解型八元数の基底を集合 とする。任意の分解型八元数 はこれら基底元の実係数 を持つ線型結合として
と書かれる。
線型性により、分解型八元数の乗法は、基底元の間に成り立つ以下の乗積表によって完全に決定される：
分解型八元数の基底元の乗法表を表す簡便な記憶術が右図である。これは（基底元の記号を少し改めて書けば）以下のような計算規則（同値なものが480通りある）：
から導かれる。ここで、 はクロネッカーのデルタ、 はエディントンのイプシロン（これが の値を取るのは
のとき）である。
図の赤矢印は、矢印の向き（掛ける順番）を逆転することで符号が逆になることを指し示すものである（上記、分解型八元数の基底同士の乗積表において、右下四分の一の部分を確認せよ）。
共軛・ノルム・逆元.
分解型八元数 の共軛元は formula_5 で与えられる（これは八元数の場合と同じ）。
 のノルム（計量二次形式）は formula_6 で与えられる。非零八元数 で となるもの（等方元）が存在するから、このノルム は等方二次形式である。ノルム を考えることで、分解型八元数の全体は 上八次元のとなる（これをしばしばノルムの符号数を明示して と書く）。
 ならば は（両側）逆元 を持ち、formula_7 で与えられる。
性質.
分解型八元数の全体は、通常の八元数と同様に非可換かつ非結合的である。またやはり通常の八元数と同様に合成代数を成す（これはノルム が乗法的、すなわち formula_8 を満たすことを意味する）。分解型八元数の全体はを満足し、それゆえ交代代数を成す。したがって、により、任意の二つの分解型八元数が生成する部分多元環は結合的である。可逆な分解型八元数の全体 はを成す。
ツォルンのベクトル行列代数.
分解型八元数の積は非結合的であるから、それを通常の行列として表すことはできない（行列の積は常に結合的である）。マックス・オーギュスト・ツォルンは、行列の積を少しく修正したものを用いて、スカラーとベクトルを混合的に成分に持つ「行列」として書き表す方法を発見した 具体的に、ベクトル行列は、実数 および のベクトル を成分に持つ 行列として formula_9 の形に書き表されるものと定義する。このベクトル行列の乗法規則は、三次元ベクトルの点乗積 および交叉積 を用いて formula_10 と定義される。加法とスカラー倍は通常の通り成分ごとに定めるものとすると、ベクトル行列の全体は 上八次元の単位的分配多元環を成し、ツォルンのベクトル行列代数と呼ばれる。
ベクトル行列の「行列式」を formula_11 なる規則で定めれば、この「行列式」 はツォルンのベクトル行列代数上の二次形式として、合成律: formula_12 を満足する。
実はこのベクトル行列代数は分解型八元数全体の成す多元環に同型になる。分解型八元数 を実数 および純虚四元数 （これを のベクトルと見る）を用いて formula_13 と書けば、分解型八元数全体からベクトル行列代数への同型 が formula_14 で与えられる。この同型は、 が成り立つから、ノルムを保つ。
応用.
分解型八元数は物理法則の記述に用いられる。例えば