ノルム多元体

数学におけるノルム多元体（のるむたげんたい、英: normed division algebra; ノルム付き可除代数）とは、乗法的なノルムを持つ多元体のことである。すなわち、実または複素数体上のノルム多元体 A は、多元体であって、かつ任意の x, y ∈ A に対して

${\displaystyle \|xy\|=\|x\|\|y\|}$

を満たすノルム ǁ•ǁ^[1]に関してノルム線型空間の構造も持つ。

定義からは無限次元のノルム多元環と言うものも考えることができるが、実はこれは起こらない。実数体上のノルム多元体は同型の違いを除いて

• 実数体 R,
• 複素数体 C,
• 四元数体 H,
• 八元数体 O

しかなく^[2][3]、これはフルヴィッツの定理として知られる。上記のノルム多元体のノルムは何れも標準的な絶対値によって与えられる。最初の三つが結合多元環である一方、八元数体は弱い形の結合性しか持たず交代代数になることに注意。

複素数体上の結合的ノルム多元体（ノルム線型体）は複素数体それ自身のみである。

実多元体の分類はフロベニウスに始まり^[4]、フルヴィッツが続いて^[5]、一般の形はツォルンによって完成された^[6]。この辺りの簡潔な歴史的概要は Badger (2006) に見つかる^[7]。

完全な証明は Kantor & Solodovnikov (1989)^[8] および Shapiro (2000)^[9]にある。 基本的な考え方としては、多元環 A が 1 に比例するならばそれは実数体に同型であり、さもなくば 1 に比例する部分多元環に同型な部分多元環をケーリー＝ディクソン構成を用いて拡張して、1 に直交するベクトル e を導入すれば、得られる部分多元環は複素数体に同型になる。それでも A 全体を尽くさないならば再びケーリー＝ディクソン構成を適用して全複素数と直交するベクトルをとれば、四元数体に同型な部分多元環を得る。それでも全体を尽くさないならば、三度ケーリー＝ディクソン構成によってケーリー数（八元数）体と同型な部分多元環を得るが、このとき A の 1 を含む A でない任意の部分多元環が結合的であることが定理としてわかっているので、結合的でない八元数体は従って A と一致しなければならない、という具合である。

フルヴィッツの定理（"1, 2, 4, 8 定理"）はアドルフ・フルヴィッツにより1898年に示されたもので、「n 個の平方数の和が n 個の平方数の和同士の（双線型な）積に表されるのは n が 1, 2, 4, 8 の何れかに等しい場合に限る」というものである^[10]。もともとの証明では二次形式は C に係数を持つものであった^[11]が、標数が 2 でない任意の体にまで拡張されている^[12]。

ノルム多元体は合成代数の特別の場合である。合成代数とは、乗法的二次形式を備えた単位的多元環である。一般の合成代数は必ずしも可除ではなく、零因子を持ち得る。実数体上であれば、ノルム多元体を成すもの以外に三種類、分解型複素数環、分解型四元数環、分解型八元数環が加わる。

• Lam, Tsit-Yuen (2005). Introduction to Quadratic Forms over Fields. Graduate Studies in Mathematics. 67. American Mathematical Society. ISBN 0-8218-1095-2. MR2104929. Zbl 1068.11023 
• Porteous, I.R. (1969). Topological Geometry. Van Nostrand Reinhold. ISBN 0-442-06606-6. Zbl 0186.06304 
• Rajwade, A. R. (1993). Squares. London Mathematical Society Lecture Note Series. 171. Cambridge University Press. ISBN 0-521-42668-5. Zbl 0785.11022 

• John H. Conway, Derek A. Smith On Quaternions and Octonions. A.K. Peters, 2003.
• John Baez, The Octonions, AMS 2001.

• ノルム代数

• normed division algebra in nLab

表 話 編 歴 数の体系
可算な体系	自然数 (${\displaystyle \mathbb {N} }$) 整数 (${\displaystyle \mathbb {Z} }$) 有理数 (${\displaystyle \mathbb {Q} }$) 作図可能数 代数的数 (${\displaystyle \mathbb {A} }$) 周期 計算可能数 定義可能実数 算術数（英語版） ガウス整数 (${\displaystyle \mathbb {Z} [i]}$) アイゼンシュタイン整数 (${\displaystyle \mathbb {Z} [\omega ]}$)
合成代数	通常型 実数 (${\displaystyle \mathbb {R} }$) 複素数 (${\displaystyle \mathbb {C} }$) 四元数 (${\displaystyle \mathbb {H} }$) 八元数 (${\displaystyle \mathbb {O} }$) 分解型 /${\displaystyle \mathbb {R} }$ 分解型複素数 分解型四元数（英語版） 分解型八元数 /${\displaystyle \mathbb {C} }$ 双複素数 双四元数（英語版） 双八元数
その他の多元数	二重数 二重四元数（英語版） 双曲四元数（英語版） 十六元数 (${\displaystyle \mathbb {S} }$) 分解型双四元数（英語版） 多重複素数
その他	基数 無理数 ファジー数（英語版） 超実数 レヴィ＝チヴィタ体 超現実数 超越数 順序数 p-進数 (${\displaystyle \mathbb {Q} _{p}}$) シュタイニッツ数 準超実数
一覧 カテゴリ:数