（その１１）では非可換な四元数と非可換・非結合的な八元数の数体系が存在することを述べた．

　ハミルトンは非可換な四元数を発見したが，これは数の可換性を否定したことから，平行線の公理を否定したロバチェフスキーの非ユークリッド幾何学の発見と並び称される．

　その後，グレーブスやケイリーによって八元数も見出されたが，

　　（ａ1^2＋ａ2^2＋・・・＋ａn^2）（ｂ1^2＋ｂ2^2＋・・・＋ｂn^2）＝（ｃ1^2＋ｃ2^2＋・・・＋ｃn^2）

の恒等式はｎ＝１，２，４，８に対してだけ満たされるという驚くべき結果が１９世紀末，フルヴィッツにより証明されている（１８９８年）．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【３】十六元数は存在しないことの証明（フルヴィッツの定理）

　もちろん，三元数は存在しないので，六元数も存在しないが，ケイリー・ディクソンの２重化法

　　Ｃ＝Ｒ＋ｉＲ

　　Ｈ＝Ｃ＋ｅ2Ｃ　　　（複素数の複素化）

を適用して構成される超複素数体系が，八元数

　　Ｏ＝Ｈ＋ｅ7Ｈ　　　（四元数の複素化）

である．

　しかし，このように倍増を重ねて新しい数体系ができるのは，八元数でストップするというのがフルヴィッツの定理である．この証明では単位元をもつ数体系を仮定するとＲ，Ｃ，Ｈ，Ｏに限るということを主張する．

　これはまた，平方和問題

　　（ａ1^2＋ａ2^2＋・・・＋ａn^2）（ｂ1^2＋ｂ2^2＋・・・＋ｂn^2）＝（ｃ1^2＋ｃ2^2＋・・・＋ｃn^2）

はｎ＝１，２，４，８の場合のみ解をもつことを意味している．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝