十六元数
抽象代数学における十六元数(じゅうろくげんすう、英: sedenion)は、全体として実数体 R 上16次元の(双線型な乗法を持つベクトル空間という意味での)非結合的分配多元環を成す代数的な対象で、その全体はしばしば S で表される。八元数にケーリー=ディクソンの構成法を使って得られる対合的二次代数である。
「十六元数」という用語は、他の十六次元代数構造、例えば四元数の複製二つのテンソル積や実数体上の四次正方行列環などに対しても用いられ、Smith (1995) で調べられている。
ケーリーの八元数と同様に十六元数の乗法は可換でも結合的でもない。そして、ケーリーの八元数環 O と明確に違うことに、十六元数の全体 S は交代代数にもならない。十六元数についていえることは冪結合性(英語版)を持っているということである。これは S の元 x に対して、冪 x は矛盾なく定義可能で、それらが柔軟(英語版)であることを意味する。
任意の十六元数は、R-ベクトル空間としての S の基底を成す16個の単位十六元数 e0 = 1, e1, e2, e3, ..., e15 の実係数線型結合になっている。
十六元数は乗法に関する単位元を持ち、多くの元がその逆元を持つが、多元体とはならない。これは零因子の存在による。つまり、それ自体は零ではないが掛けると零になるような十六元数の組があるのだが、簡単な例としては (e3 + e10) × (e6 − e15) などを挙げることができる。十六元数からケーリー=ディクソンの構成法を元にして作られるどの超複素数系も零因子を含む。