分解型八元数

数学における分解型八元数（ぶんかいがたはちげんすう、テンプレート:Lang-en-short）の全体は、実八次元の分配多元環を成す。通常の八元数とは異なり、非可逆な非零元を含む。またその計量二次形式（（二次の）ノルム）の符号数も異なり、通常の八元数のが正定値符号数 テンプレート:Math を持つのに対して、分解型八元数のは分解型符号数 テンプレート:Math を持つ。

八元数全体と分解型八元数全体の二者が、同型を除いて可能な実数体 テンプレート:Mathbf 上の一般八元数環の全てを尽くす。任意の体 テンプレート:Mvar 上でも対応する分解型の八元数環を考えることができる。

定義

ケーリー＝ディクソン構成

八元数全体および分解型八元数全体は、四元数の対の間に乗法を定義することにより、ケーリー＝ディクソン構成から得られる。新しい虚数単位 テンプレート:Mvar を導入して、四元数の対 テンプレート:Math を テンプレート:Math の形に書けば、その積は

$(a+\ell b)(c+\ell d)=(ac+\lambda \overline{d}b)+\ell (da+b\overline{c})(\lambda :={\ell }^2)$

なる規則から定められる。ここで テンプレート:Math と選べば通常の八元数である。その代わりに、テンプレート:Math として分解型八元数が得られる。

あるいは、テンプレート:Ill2をケイリー–ディクソン構成で二重化しても分解型八元数を得ることができる（この場合、テンプレート:Mvar は テンプレート:Math の何れの値を選んでも分解型になる）。

乗積表

分解型八元数の基底を集合 テンプレート:Math とする。任意の分解型八元数 テンプレート:Mvar はこれら基底元の実係数 テンプレート:Mvar を持つ線型結合として

$x=x_0+x_{1}i+x_{2}j+x_{3}k+x_4\ell +x_5\ell i+x_6\ell j+x_7\ell k$

と書かれる。

線型性により、分解型八元数の乗法は、基底元の間に成り立つ以下の乗積表によって完全に決定される：

基底の乗積表

		右因子
		$1$	$i$	$j$	$k$	$\ell$	$\ell i$	$\ell j$	$\ell k$
左因子	$1$	$1$	$i$	$j$	$k$	$\ell$	$\ell i$	$\ell j$	$\ell k$
	$i$	$i$	$-1$	$k$	$-j$	$-\ell i$	$\ell$	$-\ell k$	$\ell j$
	$j$	$j$	$-k$	$-1$	$i$	$-\ell j$	$\ell k$	$\ell$	$-\ell i$
	$k$	$k$	$j$	$-i$	$-1$	$-\ell k$	$-\ell j$	$\ell i$	$\ell$
	$\ell$	$\ell$	$\ell i$	$\ell j$	$\ell k$	$1$	$i$	$j$	$k$
	$\ell i$	$\ell i$	$-\ell$	$-\ell k$	$\ell j$	$-i$	$1$	$k$	$-j$
	$\ell j$	$\ell j$	$\ell k$	$-\ell$	$-\ell i$	$-j$	$-k$	$1$	$i$
	$\ell k$	$\ell k$	$-\ell j$	$\ell i$	$-\ell$	$-k$	$j$	$-i$	$1$

八元数の積の記憶術

分解型八元数の基底元の乗法表を表す簡便な記憶術が右図である。これは（基底元の記号を少し改めて書けば）以下のような計算規則（同値なものが480通りある）：

スカラーである基底元を テンプレート:Math として $e_i{e}_j=-{\delta }_{ij}{e}_0+{\epsilon }_{ijk}{e}_k(i,j,k=1,\cdots ,7)$ および $e_i{e}_0=e_0{e}_i=e_i;e_0{e}_0=e_0$

から導かれる。ここで、テンプレート:Mvar はクロネッカーのデルタ、テンプレート:Mvar はエディントンのイプシロン（これが テンプレート:Math の値を取るのは

テンプレート:Math

のとき）である。

図の赤矢印は、矢印の向き（掛ける順番）を逆転することで符号が逆になることを指し示すものである（上記、分解型八元数の基底同士の乗積表において、右下四分の一の部分を確認せよ）。

共軛・ノルム・逆元

分解型八元数 テンプレート:Mvar の共軛元は $$\overline{x}=x_0-x_{1}i-x_{2}j-x_{3}k-x_4\ell -x_5\ell i-x_6\ell j-x_7\ell k$$ で与えられる（これは八元数の場合と同じ）。

テンプレート:Mvar のノルム（計量二次形式）は $$N(x)=\overline{x}x=(x_0^2+x_1^2+x_2^2+x_3^2)-(x_4^2+x_5^2+x_6^2+x_7^2)$$ で与えられる。非零八元数 テンプレート:Mvar で テンプレート:Math となるもの（等方元）が存在するから、このノルム テンプレート:Math は等方二次形式である。ノルム テンプレート:Mvar を考えることで、分解型八元数の全体は テンプレート:Mathbf 上八次元のテンプレート:Ill2となる（これをしばしばノルムの符号数を明示して テンプレート:Math と書く）。

テンプレート:Math ならば テンプレート:Mvar は（両側）逆元 テンプレート:Math を持ち、$$x^{-1}=N(x{)}^{-1}\overline{x}$$ で与えられる。

性質

分解型八元数の全体は、通常の八元数と同様に非可換かつ非結合的である。またやはり通常の八元数と同様に合成代数を成す（これはノルム テンプレート:Mvar が乗法的、すなわち $N(xy)=N(x)N(y)$ を満たすことを意味する）。分解型八元数の全体はテンプレート:Ill2を満足し、それゆえ交代代数を成す。したがって、テンプレート:Ill2により、任意の二つの分解型八元数が生成する部分多元環は結合的である。可逆な分解型八元数の全体 テンプレート:Math はテンプレート:Ill2を成す。

ツォルンのベクトル行列代数

分解型八元数の積は非結合的であるから、それを通常の行列として表すことはできない（行列の積は常に結合的である）。マックス・オーギュスト・ツォルンは、行列の積を少しく修正したものを用いて、スカラーとベクトルを混合的に成分に持つ「行列」として書き表す方法を発見した 具体的に、ベクトル行列は、実数 テンプレート:Mvar および テンプレート:Math のベクトル テンプレート:Mathbf を成分に持つ テンプレート:Math 行列として $$\left(\begin{array}{cc}a& 𝐯\\ 𝐰& b\end{array}\right)$$ の形に書き表されるものと定義する。このベクトル行列の乗法規則は、三次元ベクトルの点乗積 テンプレート:Math および交叉積 テンプレート:Math を用いて $$\left(\begin{array}{cc}a& 𝐯\\ 𝐰& b\end{array}\right)\left(\begin{array}{cc}{a}^{\prime }& {𝐯}^{\prime }\\ {𝐰}^{\prime }& b^{\prime }\end{array}\right)=\left(\begin{array}{cc}a{a}^{\prime }+𝐯\cdot {𝐰}^{\prime }& a{𝐯}^{\prime }+b^{\prime }𝐯+𝐰\times {𝐰}^{\prime }\\ a^{\prime }𝐰+b{𝐰}^{\prime }-𝐯\times {𝐯}^{\prime }& b{b}^{\prime }+{𝐯}^{\prime }\cdot 𝐰\end{array}\right)$$ と定義される。加法とスカラー倍は通常の通り成分ごとに定めるものとすると、ベクトル行列の全体は テンプレート:Mathbf 上八次元の単位的分配多元環を成し、ツォルンのベクトル行列代数と呼ばれる。

ベクトル行列の「行列式」を $$\det \left(\begin{array}{cc}a& 𝐯\\ 𝐰& b\end{array}\right)=ab-𝐯\cdot 𝐰$$ なる規則で定めれば、この「行列式」テンプレート:Math はツォルンのベクトル行列代数上の二次形式として、合成律: $$\det (AB)=\det (A)\det (B)$$ を満足する。

実はこのベクトル行列代数は分解型八元数全体の成す多元環に同型になる。分解型八元数 テンプレート:Mvar を実数 テンプレート:Mvar および純虚四元数 テンプレート:Mathbf（これを テンプレート:Math のベクトルと見る）を用いて $$x=(a+𝐯)+\ell (b+𝐰)$$ と書けば、分解型八元数全体からベクトル行列代数への同型 テンプレート:Mvar が $$x\mapsto \phi (x):=\left(\begin{array}{cc}a+b& 𝐯+𝐰\\ -𝐯+𝐰& a-b\end{array}\right)$$ で与えられる。この同型は、テンプレート:Math が成り立つから、ノルムを保つ。

応用

分解型八元数は物理法則の記述に用いられる。例えば

(a) ディラック方程式（電子や陽子のような、スピン1/2の自由粒子の運動の方程式）は生の分解型八元数の算術で表すことができる。

(b) 超対称量子力学は octonionic extension を持つ。

参考文献

• テンプレート:Cite book
• テンプレート:Cite book