二元数

テンプレート:出典の明記 数学における二元数（にげんすう、テンプレート:Lang-en-short）とは、2次元の多元数、すなわち実数体上2次元の単位的結合多元環の元のことである。各二元数 テンプレート:Mvar は適当な基底 テンプレート:Math の実数係数の線型結合 テンプレート:Math (テンプレート:Math2) の形に表される。

多元環における積は双線型であるから、2つの二元数 テンプレート:Math2 に対して

$xy=(a+bu)(c+du)=ac+(ad+bc)u+bd{u}^2$

これが再び二元数となる（つまり乗法について閉じている）ためには、テンプレート:Mvar の平方が再び テンプレート:Math の線型結合に書けることが必要かつ十分である。

以下の3つは実二次元の単位的多元環である：

• 複素数体：標準基底 テンプレート:Math, テンプレート:Math.
• 分解型複素数環：標準基底 テンプレート:Math, テンプレート:Math.
• 二重数環：標準基底 テンプレート:Math, テンプレート:Math.

実は二元数は本質的にこの3種しかないことが示される。

二元数の分類定理

定理テンプレート:Rp

同型を除いて、実数体上二次元の単位的多元環は通常の複素数体、分解型複素数環、二重数環のちょうど3種類しかない。

性質

• 複素数の全体は体を成す（同型を除いて）唯一の二元数代数である。
• 分解型複素数は実数とは異なる テンプレート:Mvar の冪根を持ち、冪等元 テンプレート:Math および零因子 テンプレート:Math を持つ。ゆえに、その全体は多元体とはならないが、これらの性質は十分に意味のあるものである。例えば、特殊相対論のローレンツ変換を記述するために用いることができる。

Mathematics Magazine（2004年版）は二元数代数を「一般化された複素数」として扱う。四複素数の成す複比の概念は二元数代数に対しても拡張することができる。