数学における二元数（にげんすう、）とは、2次元の多元数、すなわち実数体上2次元の単位的結合多元環の元のことである。各二元数 は適当な基底 の実数係数の線型結合 () の形に表される。
多元環における積は双線型であるから、2つの二元数 に対して
これが再び二元数となる（つまり乗法について閉じている）ためには、 の平方が再び の線型結合に書けることが必要かつ十分である。
以下の3つは実二次元の単位的多元環である： 複素数体：標準基底 , . 分解型複素数環：標準基底 , . 二重数環：標準基底 , . 実は二元数は本質的にこの3種しかないことが示される。
二元数の分類定理 定理Isaak Yaglom (1968) Complex Numbers in Geometry, pages 10 to 14John H. Ewing editor (1991) Numbers, page 237, Springer, Kantor, I.L., Solodownikow (1978), Hyperkomplexe Zahlen, BSB B.G. Teubner Verlagsgesellschaft, Leipzig 同型を除いて、実数体上二次元の単位的多元環は通常の複素数体、分解型複素数環、二重数環のちょうど3種類しかない。
性質 複素数の全体は体を成す（同型を除いて）唯一の二元数代数である。 分解型複素数は実数とは異なる の冪根を持ち、冪等元 および零因子 を持つ。ゆえに、その全体は多元体とはならないが、これらの性質は十分に意味のあるものである。例えば、特殊相対論のローレンツ変換を記述するために用いることができる。
Mathematics Magazine（2004年版）は二元数代数を「一般化された複素数」として扱うAnthony A. Harkin & Joseph B. Harkin (2004) Geometry of Generalized Complex Numbers, Mathematics Magazine 77(2):118–29。四複素数の成す複比の概念は二元数代数に対しても拡張することができるSky Brewer (2013) "Projective Cross-ratio on Hypercomplex Numbers", Advances in Applied Clifford Algebras 23(1):1–14。
参考文献