抽象代数学における十六元数（じゅうろくげんすう、sedenion）は、全体として実数体 R 上 16 次元の（双線型な乗法を持つベクトル空間という意味での）非結合的分配多元環を成す代数的な対象で、その全体はしばしば S で表される。八元数にケーリー＝ディクソンの構成法を使って得られる対合的二次代数である。「十六元数」という用語は、他の十六次元代数構造、例えば四元数の複製二つのテンソル積や実数体上の四次正方行列環などに対しても用いられ、 で調べられている。ケーリーの八元数と同様に十六元数の乗法は可換でも結合的でもない。そして、ケーリーの八元数環 O と明確に違うことに、十六元数の全体 S は交代代数 (alternative algebra) にもならない。十六元数についていえることは冪結合性を持っているということである。これは S の元 "x" に対して、冪 "x" は矛盾なく定義可能で、それらが柔軟 (flexible) であることを意味する。任意の十六元数は、S のベクトル空間としての基底の基底となる単位十六元数 1, e, e, e, …, e の実係数線型結合になっている。十六元数は乗法に関する単位元および逆元を持つが多元体とはならない。これは零因子の存在による。つまり、それ自体は零ではないが掛けると零になるような十六元数の組があるのだが、簡単な例としては(e + e)×(e − e) などを挙げることができる。十六元数からケーリー＝ディクソンの構成法を元にして作られるどの超複素数系も零因子を含む。単位十六元数の乗積表は次のようなものである。一般の十六元数の積は基底における乗法を（分配法則が成り立つように）線型に拡張することで得られる。十六元数の全体 S は共軛元をとる主対合によってノルムの定まる二次代数 (S, "N") であるが、このノルム "N" は必ずしも乗法的（"N"("xy") = "N"("x")"N"("y")）とはならない。 は十六元数のノルムが 1 の零因子の全体が、コンパクト型の例外型リー群 "G" に同型であることを示した。

出典:wikipedia