十六元数
出典: フリー百科事典『ウィキペディア（Wikipedia）』
十六元数は 16 次元の実数体上の代数（乗法の入ったベクトル空間）で、八元数にケーリー＝ディクスンの構成を使って得られるものである。
八元数と同じように、乗法は可換でも結合的でもない。その上八元数とは異なり、alternative（二つの元で生成される部分代数は結合的）でさえもない。しかし、べきの結合性は持っている。
十六元数は乗法の逆元を持つが、多元体 (division algebra) ではない。これは零因子を持つせいである。
全ての十六元数は、その実ベクトル空間としての基底をなす単位十六元数
1, e1, e2, e3, e4, e5, e6, e7, e8, e9, e10, e11, e12, e13, e14, e15
の1次結合で表される。単位十六元数の乗法の表は次のようなものである。
| 1 | e1 | e2 | e3 | e4 | e5 | e6 | e7 | e8 | e9 | e10 | e11 | e12 | e13 | e14 | e15 | |
| 1 | 1 | e1 | e2 | e3 | e4 | e5 | e6 | e7 | e8 | e9 | e10 | e11 | e12 | e13 | e14 | e15 |
| e1 | e1 | -1 | e3 | -e2 | e5 | -e4 | -e7 | e6 | e9 | -e8 | -e11 | e10 | -e13 | e12 | e15 | -e14 |
| e2 | e2 | -e3 | -1 | e1 | e6 | e7 | -e4 | -e5 | e10 | e11 | -e8 | -e9 | -e14 | -e15 | e12 | e13 |
| e3 | e3 | e2 | -e1 | -1 | e7 | -e6 | e5 | -e4 | e11 | -e10 | e9 | -e8 | -e15 | e14 | -e13 | e12 |
| e4 | e4 | -e5 | -e6 | -e7 | -1 | e1 | e2 | e3 | e12 | e13 | e14 | e15 | -e8 | -e9 | -e10 | -e11 |
| e5 | e5 | e4 | -e7 | e6 | -e1 | -1 | -e3 | e2 | e13 | -e12 | e15 | -e14 | e9 | -e8 | e11 | -e10 |
| e6 | e6 | e7 | e4 | -e5 | -e2 | e3 | -1 | -e1 | e14 | -e15 | -e12 | e13 | e10 | -e11 | -e8 | e9 |
| e7 | e7 | -e6 | e5 | e4 | -e3 | -e2 | e1 | -1 | e15 | e14 | -e13 | -e12 | e11 | e10 | -e9 | -e8 |
| e8 | e8 | -e9 | -e10 | -e11 | -e12 | -e13 | -e14 | -e15 | -1 | e1 | e2 | e3 | e4 | e5 | e6 | e7 |
| e9 | e9 | e8 | -e11 | e10 | -e13 | e12 | e15 | -e14 | -e1 | -1 | -e3 | e2 | -e5 | e4 | e7 | -e6 |
| e10 | e10 | e11 | e8 | -e9 | -e14 | -e15 | e12 | e13 | -e2 | e3 | -1 | -e1 | -e6 | -e7 | e4 | e5 |
| e11 | e11 | -e10 | e9 | e8 | -e15 | e14 | -e13 | e12 | -e3 | -e2 | e1 | -1 | -e7 | e6 | -e5 | e4 |
| e12 | e12 | e13 | e14 | e15 | e8 | -e9 | -e10 | -e11 | -e4 | e5 | e6 | e7 | -1 | -e1 | -e2 | -e3 |
| e13 | e13 | -e12 | e15 | -e14 | e9 | e8 | e11 | -e10 | -e5 | -e4 | e7 | -e6 | e1 | -1 | e3 | -e2 |
| e14 | e14 | -e15 | -e12 | e13 | e10 | -e11 | e8 | e9 | -e6 | -e7 | -e4 | e5 | e2 | -e3 | -1 | e1 |
| e15 | e15 | e14 | -e13 | -e12 | e11 | e10 | -e9 | e8 | -e7 | e6 | -e5 | -e4 | e3 | e2 | -e1 | -1 |
