八元数

数学における**八元数**（はちげんすう、; オクトニオン）の全体は実数体上のノルム多元体で、ふつう大文字アルファベットの O を使って、太字の **O**（あるいは黒板太字の &#x1D546;）で表される。実数体上のノルム多元体はたった四種類であり、**O** のほかは、実数の全体 **R**, 複素数の全体 **C**, 四元数の全体 **H** しかない。**O** はこれらノルム多元体の中で最大のもので、実八次元、これは **H** の次元の二倍である（**O** は **H** を拡大して得られる）。八元数の全体 **O** における乗法は非可換かつ非結合的だが、弱い形の結合性である冪結合律は満足する。

より広く調べられ利用されている四元数や複素数に比べれば、八元数についてはそれほどよく知られているわけではない。にもかかわらず、八元数にはいくつも興味深い性質があり、それに関連して（例外型リー群が持つような）例外的な構造もいくつも備えている。加えて、八元数は弦理論などといった分野に応用を持っている。

八元数は、ハミルトンの四元数の発見に刺激を受けたジョン・グレイヴスによって1843年に発見され、グレイヴスはこれを **octaves** と呼んだ。それとは独立にケイリーも八元数を発見しており、八元数のことを**ケイリー数**、その全体を**ケイリー代数**と呼ぶことがある。

## 定義
八元数は実数の八つ組と見做すことができる。任意の八元数 *x* は、*e*0 をスカラー元あるいは実元（実数  と同一視される）とする**単位八元数**
:\{e_0, e_1, e_2, e_3, e_4, e_5, e_6, e_7\}
の実係数線型結合として、適当な実係数 {*x**i*} を以って
:x = x_0e_0 + x_1e_1 + x_2e_2 + x_3e_3 + x_4e_4 + x_5e_5 + x_6e_6 + x_7e_7
の形に書くことができる。

八元数の加法及び減法は（四元数の場合と同様に）、それぞれの対応する項においてそれらの係数に対する加法及び減法によって定める。乗法についてはより複雑である。積は和の上に分配的であり、従って二つの八元数の乗法は（やはり四元数の場合と同様に）、それぞれの項の積の総和として計算することができる。各項の積は係数の積と単位八元数に対する乗積表から決まる。乗積表としては例えば

を考えるとよい。この表の非対角成分のほとんどは反対称で、主対角線と  に対応する行と列とを消せば歪対称行列が作れる。

この乗積表は以下の関係
:e_i e_j = - \delta_{ij}e_0 + \varepsilon _{ijk} e_k
（ここで  は *ijk* = 123, 145, 176, 246, 257, 347, 365 のとき値が +1 となる完全反対称テンソル）、および
:e_ie_0 = e_0e_i = e_i;\quad e_0e_0 = e_0
（*e*0 はスカラー元で *i*, *j*, *k* = 1, …, 7）にまとめることができる。

上記の積の決め方は一意的に決まるものではないが、八元数の乗法を定義しうるたった 480 種類の乗積表のうちの一つになっている。他の乗法は非スカラー元を並べ替えて得られるもので、基底の取り換えを行うことに相当する。それ以外の場合には、いくつかの積の法則を固定すると八元数が持つ他の法則が崩れることを見る。それら 480 種類の八元数の代数系は互いに同型であるから、実用上は同一視してかまわないし、そもそもどの乗積表を用いたかを考慮する必要が生じることは稀である。

### ケイリー&ndash;ディクソン構成
より機械的な八元数の構成がケイリー・ディクソン構成を用いて与えられる。四元数を複素数の対として構成したのとまったく同じに、八元数は四元数の対として定義できる。対における加法は成分ごとに行い、乗法は四元数の対 (*a*, *b*) および (*c*, *d*) に対して
:\ (a,b)(c,d)=(ac-d^{*}b,da+bc^{*})
で定める。ここで *z*&lowast; は四元数 *z* の共軛を意味する。この定義で、当初定義における八つの単位八元数を、以下の八つの対
: (1,&thinsp;0), (*i*,&thinsp;0), (*j*,&thinsp;0), (*k*,&thinsp;0), (0,&thinsp;1), (0,&thinsp;*i*), (0,&thinsp;*j*), (0,&thinsp;*k*)
と同一視してやると、当初定義と同値になる。

### ファノ平面による記憶法

図に示した単位八元数の積を記憶する便利な記憶術がある。これはケイリーとグレイブスの乗積表を表すものである 七つの点と七つの直線（1,2,3 を通る円も直線のひとつ）を持つこの図はファノ平面と呼ばれる。直線には向きがつけられており、また七つの点は純虚八元数の空間 Im(**O**) の標準基底に対応する。相異なる点の対ごとにそれらを通る直線が一意的に定まり、また各直線にはちょうど三つの点が載っている。

点の順序三つ組 (*a*, *b*, *c*) が図の中の与えられた直線にその向きに沿ってこの順番で載っているとすると、これらの乗法は
:*ab* = *c*, *ba* = −*c*
およびこれに三点の巡回置換を行って得られる関係式で与えられる。この規則に
* 1 は乗法単位元である
* 図の各点に対して *e**i*2 = −1 が成り立つ
を加えたものから八元数の乗法構造は完全に決定される。また、七つの直線のそれぞれから生成される **O** の部分多元環は、四元数体 **H** に同型になる。

### 共軛、ノルムおよび逆元
八元数
:x = x_0\,e_0 + x_1\,e_1 + x_2\,e_2 + x_3\,e_3 + x_4\,e_4 + x_5\,e_5 + x_6\,e_6 + x_7\,e_7
の八元数としての共軛は
:x^* = x_0\,e_0 - x_1\,e_1 - x_2\,e_2 - x_3\,e_3 - x_4\,e_4 - x_5\,e_5 - x_6\,e_6 - x_7\,e_7
で与えられる。共軛は **O** の主対合であり、(*xy*)&lowast; = *y*&lowast;&thinsp;*x*&lowast; を満足する（積の順番が逆になることに注意）。

共軛を用いると、八元数 *x* の**実部**が 
:\frac{x + x^*}{2} = x_0\,e_0
で、同様に**虚部**が
:\frac{x - x^*}{2} = x_1\,e_1 + x_2\,e_2 + x_3\,e_3 + x_4\,e_4 + x_5\,e_5 + x_6\,e_6 + x_7\,e_7
でそれぞれ表せる。実部を持たない純虚八元数の全体 Im(**O**) は **O** の 7-次元部分空間を張る。また八元数の共軛は、方程式
: x^* =-\frac{1}{6} (x+(e_1x)e_1+(e_2x)e_2+(e_3x)e_3+(e_4x)e_4+(e_5x)e_5+(e_6x)e_6+(e_7x)e_7)
を満足する。

八元数とその共役との積は *x*&lowast;&thinsp;*x* = *x*&thinsp;*x*&lowast; を満たし、
: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.
故に、常に非負の実数となることがわかる。これを用いて、八元数のノルムを
:\|x\| = \sqrt{x^*x}
で定義することができる。このノルムは **R**8 上の通常のユークリッドノルムに一致する。

**O** におけるノルムの存在から、**O** の零でない任意の元に対してその逆元が存在することが導かれる。実際、*x* ≠ 0 の逆元は
:x^{-1} = \frac {x^*}{\|x\|^2}
で与えられ、確かに *x*&thinsp;*x*−1 = *x*−1&thinsp;*x* = 1 を満足する。

## 性質
八元数の乗法は可換でなく:
:e_ie_j = -e_je_i \neq e_je_i,
結合的でもない:
:(e_ie_j)e_l = -e_i(e_je_l) \neq e_i(e_je_l).
が、弱い形の結合性を満たして交代代数になる。即ち、任意の二つの八元数が生成する部分多元環は結合的である。実際、**O** の任意の二元が生成する部分多元環は **R**, **C**, **H** のいずれかに同型であることが示せるが、これらは何れも結合的である。八元数は非結合的であるから、四元数のときのように行列表現をすることはできない。

八元数の全体 **O** がもう一つ **R**, **C**, **H** と共有する重要な性質として、ノルムが
:\|xy\| = \|x\|\|y\|
を満足する（つまり乗法的である）ことが挙げられる。これにより、八元数の全体は非結合的ノルム多元体となることが従う。ケイリー・ディクソン構成を使って得られるより高次の代数（十六元数など）ではこの性質は成り立たない（それらの代数には零因子が存在する）。

乗法的な絶対値 (modulus) を持つより広い数体系も存在する（例えば 16-次元である錐十六元数全体）が、それらの絶対値はノルムとは別に定義されるもので、その体系は零因子をも含む。

実数体上のノルム多元体は **R**, **C**, **H** および **O** に限られることが証明できる（Hurwitzの定理）。これら四種類の多元環は、（同型を除き）実数体上の有限次元交代可除代数に他ならない。

積が結合的ではないから、**O** の非零元全体は群にはならない。しかしそれはループであり、実際はムーファンループを成す。

### 交換子と交叉積
二つの八元数 *x*, *y* の交換子は
:[x, y] = xy - yx
で与えられる。これは反対称的かつ虚である。虚部分空間 Im(**O**) でのみ積を考えるならば、交換子は Im(**O**) 上の新たな積（七次元交叉積）
:x \times y = \frac{1}{2}(xy - yx)
を定める。三次元の交叉積同様、*x* &times; *y* は *x* と *y* とに直交し、その大きさは
:\|x \times y\| = \|x\| \|y\| \sin \theta
で与えられる。ただし、八元数の積と異なり、この積の値は一意には決まらない。実際、八元数の積の決め方に依存して無数に異なる交叉積が存在する。

### 自己同型
八元数の自己同型写像 *A* とは、**O** の可逆線型変換で
:A(xy) = A(x)A(y)
を満たすものを言う。**O** 上の自己同型全体の成す集合は ''G''<sub>2</sub> と呼ばれる群を成し、これは次元が 14 の単連結コンパクト実リー群になる。群 *G*2 は最小の例外型リー群であり、*SO*(7) の八次元実スピノル表現において任意に選んだ特定のベクトルを固定するような部分群に同型になる。

*See also*: PSL(2,7): ファノ平面の自己同型群

## 脚注


## 参考文献

* .  Online HTML versions at Baez's site or see lanl.arXiv.org copy
*. Appendix reprinted in *The Collected Mathematical Papers*, Johnson Reprint Co., New York, 1963, p.&nbsp;127.
* . (Review).
**J.H.コンウェイ／D.A.スミス『四元数と八元数：幾何，算術，そして対称性』山田修司訳、培風館、2006年11月。ISBN 4-563-00369-7。
* 松岡学：「数の世界：自然数から実数、複素数、そして四元数へ」、講談社(ブルーバックス 2126）、ISBN 978-4-06-518745-6 (2020年2月13日)。※ 八元数についても説明されている。

## 関連項目

*分解型八元数
*八元数環
*超複素数系
*Triality
*Spin(8)
*合成代数


## 外部リンク
*
*