Tiada data
Pemberitahuan
Tiada pemberitahuan
i^{2}=j^{2}=k^{2}=ijk\,\rangle } という表示で定義される。これは位数 8 の非可換群で、すべての真部分群は巡回的である。元 ijk ∈ Q8 は唯一つの対合で中心的であり、 −1 と書かれることも多い。これらの記号はハミルトンの四元数環の生成系に由来する。群の生成元を i ↦ [ −
数学における八元数(はちげんすう、英: octonion; オクトニオン)の全体は実数体上のノルム多元体で、ふつう大文字アルファベットの O を使って、太字の O(あるいは黒板太字の 𝕆)で表される。実数体上のノルム多元体はたった四種類であり、O のほかは、実数の全体 R, 複素数の全体 C, 四元数の全体
とは字形が異なる。 ^ 含む「含まれる」などの語は集合の包含関係などにも用いるため紛らわしい(赤摂也は部分集合として含む、含まれるという代わりに「包む」「包まれる」とすることを提唱した)。包含関係は帰属関係を用いて 「集合 A が集合 B に含まれる」 :⇔ 「A の任意の元が B の元として属す」
複素数体 C, 四元数体 H, 八元数体 O)に限り存在することを証明した。 多元数の体系(超複素数系)の手綱をとったのは行列論であった。まず行列を用いて、実二次正方行列のような新たな多元数が供給される。すぐに、行列のパラダイムは、行列とその演算を用いて表現することでほかの多元数