八元数
数学 における八元数 （はちげんすう、英 : octonion ノルム多元体 で、ふつう大文字アルファベットの O を使って、太字の O （あるいは黒板太字 の 𝕆）で表される。実数体上のノルム多元体はたった四種類であり、O のほかは、実数 の全体 R , 複素数 の全体 C , 四元数 の全体 H しかない。O はこれらノルム多元体の中で最大のもので、実八次元、これは H の次元の二倍である（O は H を拡大して得られる）。八元数の全体 O における乗法は非可換 かつ非結合的 だが、弱い形の結合性である冪結合律 は満足する。
より広く調べられ利用されている四元数や複素数に比べれば、八元数についてはそれほどよく知られているわけではない。にもかかわらず、八元数にはいくつも興味深い性質があり、それに関連して（例外型リー群 が持つような）例外的な構造もいくつも備えている。加えて、八元数は弦理論 などといった分野に応用を持っている。
八元数は、ハミルトン の四元数の発見に刺激を受けたジョン・グレイヴス によって1843年に発見され、グレイヴスはこれを octaves と呼んだ。それとは独立にケイリー も八元数を発見しており[ 1] ケイリー数 、その全体をケイリー代数 と呼ぶことがある。
八元数は実数の八つ組 と見做すことができる。任意の八元数 x は、e 0 をスカラー元あるいは実元（実数 1 と同一視される）とする単位八元数
{
e
0
,
e
1
,
e
2
,
e
3
,
e
4
,
e
5
,
e
6
,
e
7
}
{\displaystyle \{e_{0},e_{1},e_{2},e_{3},e_{4},e_{5},e_{6},e_{7}\}}
の実係数線型結合 として、適当な実係数 {x i
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
{\displaystyle 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}}
の形に書くことができる。
八元数の加法及び減法は（四元数の場合と同様に）、それぞれの対応する項においてそれらの係数に対する加法及び減法によって定める。乗法についてはより複雑である。積は和の上に分配的 であり、従って二つの八元数の乗法は（やはり四元数の場合と同様に）、それぞれの項の積の総和として計算することができる。各項の積は係数の積と単位八元数に対する乗積表 から決まる。乗積表としては例えば[ 2]
×
e 0
e 1 e 2 e 3 e 4 e 5 e 6 e 7
e 0 e 0 e 1 e 2 e 3 e 4 e 5 e 6 e 7
e 1 e 1 −e 0
e 3 −e 2
e 5 −e 4
−e 7
e 6
e 2 e 2 −e 3
−e 0
e 1 e 6 e 7 −e 4
−e 5
e 3 e 3 e 2 −e 1
−e 0
e 7 −e 6
e 5 −e 4
e 4 e 4 −e 5
−e 6
−e 7
−e 0
e 1 e 2 e 3
e 5 e 5 e 4 −e 7
e 6 −e 1
−e 0
−e 3
e 2
e 6 e 6 e 7 e 4 −e 5
−e 2
e 3 −e 0
−e 1
e 7 e 7 −e 6
e 5 e 4 −e 3
−e 2
e 1 −e 0
を考えるとよい。この表の非対角成分のほとんどは反対称で、主対角線と e 0 歪対称行列 が作れる。
この乗積表は以下の関係
e
i
e
j
=
− − -->
δ δ -->
i
j
e
0
+
ε ε -->
i
j
k
e
k
{\displaystyle e_{i}e_{j}=-\delta _{ij}e_{0}+\varepsilon _{ijk}e_{k}}
（ここで εijk は ijk = 123, 145, 176, 246, 257, 347, 365 のとき値が +1 となる完全反対称テンソル ）、および
e
i
e
0
=
e
0
e
i
=
e
i
;
e
0
e
0
=
e
0
{\displaystyle e_{i}e_{0}=e_{0}e_{i}=e_{i};\quad e_{0}e_{0}=e_{0}}
（e 0 はスカラー元で i , j , k = 1, …, 7）にまとめることができる[ 3]
上記の積の決め方は一意的に決まるものではないが、八元数の乗法を定義しうるたった 480 種類の乗積表のうちの一つになっている。他の乗法は非スカラー元を並べ替えて得られるもので、基底 の取り換えを行うことに相当する。それ以外の場合には、いくつかの積の法則を固定すると八元数が持つ他の法則が崩れることを見る。それら 480 種類の八元数の代数系は互いに同型であるから、実用上は同一視してかまわないし、そもそもどの乗積表を用いたかを考慮する必要が生じることは稀である[ 4] [ 5]
より機械的な八元数の構成がケイリー・ディクソン構成 を用いて与えられる。四元数を複素数の対として構成したのとまったく同じに、八元数は四元数の対として定義できる。対における加法は成分ごとに行い、乗法は四元数の対 (a , b ) および (c , d ) に対して
(
a
,
b
)
(
c
,
d
)
=
(
a
c
− − -->
d
∗ ∗ -->
b
,
d
a
+
b
c
∗ ∗ -->
)
{\displaystyle \ (a,b)(c,d)=(ac-d^{*}b,da+bc^{*})}
で定める。ここで z ∗ は四元数 z の共軛を意味する。この定義で、当初定義における八つの単位八元数を、以下の八つの対
(1, 0), (i , 0), (j , 0), (k , 0), (0, 1), (0, i ), (0, j ), (0, k ) と同一視してやると、当初定義と同値になる。
単位八元数の積の簡単な記憶法 図に示した単位八元数の積を記憶する便利な記憶術 がある。これはケイリーとグレイブスの乗積表を表すものである[ 2] [ 6] ファノ平面 と呼ばれる。直線には向きがつけられており、また七つの点は純虚八元数の空間 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
{\displaystyle 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
{\displaystyle 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 )∗ = y ∗ x ∗ を満足する（積の順番が逆になることに注意）。
共軛を用いると、八元数 x の実部 が
x
+
x
∗ ∗ -->
2
=
x
0
e
0
{\displaystyle {\frac {x+x^{*}}{2}}=x_{0}\,e_{0}}
で、同様に虚部 が
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
{\displaystyle {\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
∗ ∗ -->
=
− − -->
1
6
(
x
+
(
e
1
x
)
e
1
+
(
e
2
x
)
e
2
+
(
e
3
x
)
e
3
+
(
e
4
x
)
e
4
+
(
e
5
x
)
e
5
+
(
e
6
x
)
e
6
+
(
e
7
x
)
e
7
)
{\displaystyle x^{*}=-{\frac {1}{6}}(x+(e_{1}x)e_{1}+(e_{2}x)e_{2}+(e_{3}x)e_{3}+(e_{4}x)e_{4}+(e_{5}x)e_{5}+(e_{6}x)e_{6}+(e_{7}x)e_{7})}
を満足する。
八元数とその共役との積は x ∗ x = x x ∗ を満たし、
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
.
{\displaystyle 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
‖ ‖ -->
=
x
∗ ∗ -->
x
{\displaystyle \|x\|={\sqrt {x^{*}x}}}
で定義することができる。このノルムは R 8 上の通常のユークリッドノルム に一致する。
O におけるノルムの存在から、O の零でない任意の元に対してその逆元 が存在することが導かれる。実際、x ≠ 0 の逆元は
x
− − -->
1
=
x
∗ ∗ -->
‖ ‖ -->
x
‖ ‖ -->
2
{\displaystyle x^{-1}={\frac {x^{*}}{\|x\|^{2}}}}
で与えられ、確かに x x −1 = x −1 x = 1 を満足する。
八元数の乗法は可換 でなく:
e
i
e
j
=
− − -->
e
j
e
i
≠ ≠ -->
e
j
e
i
,
{\displaystyle e_{i}e_{j}=-e_{j}e_{i}\neq e_{j}e_{i},}
結合的 でもない:
(
e
i
e
j
)
e
l
=
− − -->
e
i
(
e
j
e
l
)
≠ ≠ -->
e
i
(
e
j
e
l
)
.
{\displaystyle (e_{i}e_{j})e_{l}=-e_{i}(e_{j}e_{l})\neq e_{i}(e_{j}e_{l}).}
が、弱い形の結合性を満たして交代代数 になる。即ち、任意の二つの八元数が生成する部分多元環 は結合的である。実際、O の任意の二元が生成する部分多元環は R , C , H のいずれかに同型であることが示せるが、これらは何れも結合的である。八元数は非結合的であるから、四元数 のときのように行列表現をすることはできない。
八元数の全体 O がもう一つ R , C , H と共有する重要な性質として、ノルムが
‖ ‖ -->
x
y
‖ ‖ -->
=
‖ ‖ -->
x
‖ ‖ -->
‖ ‖ -->
y
‖ ‖ -->
{\displaystyle \|xy\|=\|x\|\|y\|}
を満足する（つまり乗法的である）ことが挙げられる。これにより、八元数の全体は非結合的ノルム多元体 となることが従う。ケイリー・ディクソン構成 を使って得られるより高次の代数（十六元数 など）ではこの性質は成り立たない（それらの代数には零因子 が存在する）。
乗法的な絶対値 (modulus) を持つより広い数体系も存在する（例えば 16-次元である錐十六元数 全体）が、それらの絶対値はノルムとは別に定義されるもので、その体系は零因子 をも含む。
実数体上のノルム多元体が R , C , H および O に限られることが証明できる。これら四種類の多元環は、（同型を除き ）実数体上の有限次元交代 可除代数 に他ならない。
積が結合的ではないから、O の非零元全体は群 にはならない。しかしそれはループ であり、実際はムーファンループ を成す。
二つの八元数 x , y の交換子 は
[
x
,
y
]
=
x
y
− − -->
y
x
{\displaystyle [x,y]=xy-yx}
で与えられる。これは反対称的かつ虚である。虚部分空間 Im(O ) でのみ積を考えるならば、交換子は Im(O ) 上の新たな積（七次元交叉積 ）
x
× × -->
y
=
1
2
(
x
y
− − -->
y
x
)
{\displaystyle x\times y={\frac {1}{2}}(xy-yx)}
を定める。三次元の交叉積 同様、x × y は x と y とに直交し、その大きさは
‖ ‖ -->
x
× × -->
y
‖ ‖ -->
=
‖ ‖ -->
x
‖ ‖ -->
‖ ‖ -->
y
‖ ‖ -->
sin
-->
θ θ -->
{\displaystyle \|x\times y\|=\|x\|\|y\|\sin \theta }
で与えられる。ただし、八元数の積と異なり、この積の値は一意には決まらない。実際、八元数の積の決め方に依存して無数に異なる交叉積が存在する[ 7]
八元数の自己同型写像 A とは、O の可逆線型変換 で
A
(
x
y
)
=
A
(
x
)
A
(
y
)
{\displaystyle A(xy)=A(x)A(y)}
を満たすものを言う。O 上の自己同型全体の成す集合は G 2 群 を成し、これは次元が 14 の単連結 コンパクト 実リー群 になる。群 G 2 は最小の例外型リー群 であり、SO (7) の八次元実スピノル表現において任意に選んだ特定のベクトルを固定するような部分群に同型になる。
See also : PSL(2,7) : ファノ平面の自己同型群
^ Arthur Cayley (1845 )^ a b この乗積表はアーサー・ケイリ (1845) とジョン・グレイブス (1843) によるもの。G Gentili, C Stoppato, DC Struppa and F Vlacci (2009), “Recent developments for regular functions of a hypercomplex variable” , in Irene Sabadini, M Shapiro, F Sommen, Hypercomplex analysis (Conference on quaternionic and Clifford analysis; proceedings ed.), Birkaüser, p. 168, ISBN 978-3-7643-9892-7 , https://books.google.co.jp/books?id=H-5v6pPpyb4C&pg=PA168&redir_esc=y&hl=ja
^ Lev Vasilʹevitch Sabinin, Larissa Sbitneva, I. P. Shestakov (2006), “§17.2 Octonion algebra and its regular bimodule representation” , Non-associative algebra and its applications , CRC Press, p. 235, ISBN 0-8247-2669-3 , https://books.google.co.jp/books?id=_PEWt18egGgC&pg=PA235&redir_esc=y&hl=ja ^ Rafał Abłamowicz, Pertti Lounesto, Josep M. Parra (1996), “§ Four ocotonionic basis numberings” , Clifford algebras with numeric and symbolic computations , Birkhäuser, p. 202, ISBN 0-8176-3907-1 , https://books.google.co.jp/books?id=OpbY_abijtwC&pg=PA202&redir_esc=y&hl=ja ^ Jörg Schray, Corinne A. Manogue (1996), “Octonionic representations of Clifford algebras and triality” , Foundations of physics (Springer) 26 (Number 1/January): 17–70, doi :10.1007/BF02058887 , http://www.springerlink.com/content/w1884mlmj88u5205/ . ArXive preprint Figure 1 is located here .^ Tevian Dray & Corrine A Manogue (2004), “Chapter 29: Using octonions to describe fundamental particles” , in Pertti Lounesto, Rafał Abłamowicz, Clifford algebras: applications to mathematics, physics, and engineering , Birkhäuser, p. 452, ISBN 0-8176-3525-4 , https://books.google.co.jp/books?id=b6mbSCv_MHMC&pg=PA452&redir_esc=y&hl=ja ^ Baez (2002) p 37-38
J.H.コンウェイ ／D.A.スミス 『四元数と八元数 幾何，算術，そして対称性』山田修司 訳、培風館 、2006年11月。ISBN 4-563-00369-7 Baez, John (2002), “The Octonions” , Bull. Amer. Math. Soc. 39 (02): 145–205, doi :10.1090/S0273-0979-01-00934-X , http://www.ams.org/bull/2002-39-02/S0273-0979-01-00934-X/home.html Baez's site or see lanl.arXiv.org copy Cayley, Arthur (1845), “On Jacobi's elliptic functions, in reply to the Rev..; and on quaternions”, Philos. Mag. 26 : 208–211 The Collected Mathematical Papers , Johnson Reprint Co., New York, 1963, p. 127.Conway, John Horton ; Smith, Derek A. (2003), On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry , A. K. Peters, Ltd., ISBN 1-56881-134-9 Review ).
![{\displaystyle [x,y]=xy-yx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42b4220c8122ebd2a21c517ca80639581679cfa6)
![{\displaystyle \mathbb {Z} [i]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ffa94e9e2e6d9e5e5373d5fafb954b902743fde)
![{\displaystyle \mathbb {Z} [\omega ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ae955a9a0d0f342fc73aaafe28af604d23267f7)
