多元数

数学における多元数（たげんすう、hyper­complex number; 超複素数）は、実数体上の単位的多元環の元を表す歴史的な用語である。多元数の研究は19世紀後半に現代的な群の表現論の基盤となった。

**歴史**
19世紀には、数学の文献において四元数 (quaternion), 双複素数 (tessarine), label=余四元数 (coquaternion), biquaternion (biquaternion) および八元数 (octonion) と呼ばれる数体系が実数や複素数に加えて確立された概念となっていた。多元数 (hypercomplex number) の概念はこれらすべてを包含するものであり、またこれらを説明し分類するための指針を示唆する呼称である。
カタログ化の試みは1872年にベンジャミン・パースが著書 Linear Associative Algebra（『結合線型環』）を初版した時に始まり、それは息子のチャールズ・サンダース・パースに引き継がれた。最も著しい点は、かれらが分類に有効な多元数として冪零元および冪等元を同定したことである。ケーリー＝ディクソン構成では、対合を用いて実数の体系から複素数、四元数、八元数が作り出される。フルヴィッツとフロベニウスはこのような超複素数性に限界があることを述べる定理を証明している（Hurwitz's theorem (composition algebras)およびフロベニウスの定理 (代数学)の項を参照）。最終的に、1958年にＪ・フランク・アダムズが位相的な方法を用いて有限次元実多元体が四種類（実数体 R, 複素数体 C, 四元数体 H, 八元数体 O）に限り存在することを証明した。
多元数の体系（超複素数系）の手綱をとったのは行列論であった。まず行列を用いて、実二次正方行列のような新たな多元数が供給される。すぐに、行列のパラダイムは、行列とその演算を用いて表現することでほかの多元数を説明するようになる。1907年にJoseph Wedderburnは結合的な超複素数系は必ず行列環か行列環の直和として表現されなければならないことを示した（アルティン・ウェダーバーンの定理）。これ以降、ウェダーバーンのエディンバラ大学での修士論文タイトルにも見られるように、このような超複素数系を言い表す用語として結合多元環 (associative algebra) が用いられるようになっていった。それでもなお、八元数やhyperbolic quaternionのような非結合的な体系の表す別種の超複素数系があることに注意すべきである。
ホーキンスの説明によれば、超複素数系はリー群およびその表現論を学ぶための布石である。例えば、1929年にエミー・ネーターは „Hyperkomplexe Größen und Darstellungstheorie“（『超複素数量および表現論』）を書き下ろした。1973年に書かれた多元数に関する教科書 Гиперкомплексные числа  は各国語で翻訳が出ている。
は、Theodor MolienやEduard Studyらの著名な役割を含む、多元数の黄金時代の詳細な説明を書いている。現代代数学への移り変わりについて、B・L・ファン・デル・ヴェルデンは自身の著書 History of Algebra（『代数学の歴史』）において多元数について30頁の紙幅を割いている。

**定義**
によれば、多元数あるいは超複素数は、実数体 R 上有限次元の単位的分配多元環（結合的である必要はない）の元として定義されている。n-次元の各多元数（n-元数）x は、実数係数  を用いて基底  の一次結合
 
の形に書き表される。可能ならば、各基底  について、その平方  が −1, 0, 1 のいずれかになるようにするのが慣習である。

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

**いくつかの系列について**

**クリフォード代数**
クリフォード代数は、二次形式を備える線型空間を台として、その上に構成される単位的結合多元環である。二次形式を持つということは、実数体上では対称双線型形式の意味でのスカラー積  を定義できることと同値で、これに関する直交化を施すことにより、基底  で
 
を満たすものをとることができる。乗法が閉じるように、 個の元  によって張られるmultivectorの空間を作る。これらの多重ベクトルを超複素数系の基底として解釈することができる。この基底は、もとの基底  と異なり、それらの交換に際していくつ単純因子を入れ替える必要があるかによって、反交換となることもならないこともある。つまり、例えば  だが、  である。
となる を含む基底（つまり、もとの空間において二次形式が退化している方向）を除けば、そうでない部分で作られるクリフォード線型環は  とラベル付けることができる。この記法の添字については、この多元環の単純基底元のうち p 個が  を満たし、かつ q 個が  を満たすということ、また R はこれが実数体上の多元環（各元の係数が実数）であることを示唆するものである。
と呼ばれるこれら多元環は体系的な集合を成し、特に古典力学、量子力学、電磁気学、相対性理論における回転、位相、スピンなどを含む物理学的問題に非常に有効なことが知られている。例えば:- 複素数体 , 分解型複素数環 , 四元数体 , split-biquaternion環 ,- coquaternion環 ：二次元空間の自然代数 (natural algebra)- : 三次元の自然代数、パウリ行列の代数- spacetime algebra 
多元環  の元全体は、多元環  の偶部分環  を成す。このことはより大きな代数における回転をパラメータ付けするために利用することができる。これはつまり、複素数と二次元空間の回転の間の、あるいは四元数と四次元空間の回転の間の、また分解型複素数と 1 + 1次元空間の双曲的回転（ローレンツ変換）の間の、ほかにも同様の、それぞれ近しい関係があるということである。
ケーリー＝ディクソン構成やその変形である分解型の構成法では八次元以上になると乗法に関して結合的でなくなるが、クリフォード線型環は何次元であっても結合的なままである。
1995年にIan R. Porteousは自身のクリフォード線型環に関する著書で “The recognition of subalgebras”（部分多元環の解釈）について書いている。その命題 11.4 に多元数の場合がまとめられている：単位元 1 を持つ結合的実多元環 A について、- 1 は実数体 R を生成する。-  を満たす任意の元  の生成する二次元部分環は、複素数体 C に同型である。-  を満たす任意の元  の生成する二次元部分環は、分解型複素数環  に同型である。- 互いに反交換する A の二元  の生成する四次元部分環は、 ならば必ず四元数体 H に同型である。- 互いに反交換する A の二元  の生成する四次元部分環は、 ならば必ずcoquaternion環  に同型である。- 互いに反交換する A の三元  の生成する八次元部分環は、 ならば必ずsplit-biquaternion  に同型である。- 互いに反交換する A の三元  の生成する八次元部分環は、 ならば必ずbiquaternion環（あるいはパウリ代数） に同型である。
古典多元環を超えた拡張については、Classification of Clifford algebrasの項を参照せよ。

**ケーリー＝ディクソン代数**
実数体、複素数体、四元数体を除くすべてのクリフォード代数  は、平方が +1 となる非実元を持ち、従って多元体とならない。複素数を拡張する別のアプローチとしてケーリー＝ディクソン構成をとることが挙げられる。これにより作り出される数体系は、 に対して 次元で、その基底  の非実基底元  はすべて互いに反交換し、かつ  を満足する（虚数単位）。こうして得られる多元環は、八次元以上 (n ≥ 3) で非結合的となり、十六次元以上 (n ≥ 4) で零因子を含む。
この系列の初めの方は、四次元の四元数、八次元の八元数、十六次元の十六元数で、次元が上がるごとに代数的対称性がそれぞれ失われていく。実際、四元数の乗法は可換でなくなり、八元数の乗法は結合的でなくなり、十六元数のノルムは乗法的でなくなる。
ケーリー＝ディクソン構成の適当な段階において余分な符号を挿入することにより、構成を変形することができる。そうして（多元体を考える代わりに）合成代数の系列に属する「分解型多元環」(“split algebra”) を作り出すことができる。- 分解型複素数：基底  ()- split-quaternion：基底  ()- 分解型八元数：基底  ()
複素数と異なり、分解型複素数の全体は代数的閉体でなく、さらに零因子や非自明な冪等元を含む。四元数同様に、分解型四元数の全体は非可換だが、さらに冪零元を含む点では異なる（分解型四元数環は  に同型である）。分解型八元数の全体は非結合的で冪零元を含む。

**テンソル積による構成**
任意の二つの多元環のテンソル積はふたたび多元環とすることができるから、これにより多くの様々な超複素数系の例を作り出すことができる。
特に複素数体 C（を実数体 R 上の多元環と見たもの）とのテンソル積をとれば、四次元の双複素数環 , 八次元のbiquaternion環 , 十六次元の複素八元数環  が得られる。

**更なる例**
 双複素数 C ⊕ C：実四次元多元環であり、かつ複素二次元の多元環にもなる- 多重複素数  ()：1=n = 1, 2, … に対して定義される、複素 次元（実 次元）ベクトル空間と虚数単位の系列- 合成代数：代数の乗法の分解に伴って分解する二次形式を備えた多元環（四平方和定理などと関連がある）

**関連項目**
 トーマス・カークマン- Georg Scheffers- Richard Brauer- 超複素解析

**注**

**関連文献**
 ref=harv- url=https://ieeexplore.ieee.org/servlet/opac?punumber=7065145 - editor2-last=Tate-  s2cid=586512 - year=1908 . and Ouvres Completes T.2 pt. 1, pp 107–246.- cite thesis |first=Max |last=Herzberger |year=1923 |url=https://www.deutsche-digitale-bibliothek.de/item/4V6F5ID5PHYD7UJ4F4ZDWHD2SBEXGCGQ |title=Ueber Systeme hyperkomplexer Grössen |type=Doctoral Dissertation |publisher=Friedrich Wilhelm University |access-date=2015-09-20 |archive-date=2021-01-30 |archive-url=https://web.archive.org/web/20210130183638/https://www.deutsche-digitale-bibliothek.de/item/4V6F5ID5PHYD7UJ4F4ZDWHD2SBEXGCGQ |url-status=dead - isbn=978-0-387-90838-0 - cite book |first=Silviu |last=Olariu |title=Complex Numbers in N Dimensions |publisher=Elsevier |year=2002 |isbn=0-444-51123-7 |series=North-Holland Mathematics Studies |volume=190- isbn=978-3-7643-9892-7 - doi=10.2307/1986280- ref=harv

**外部リンク**
 urlname=Hypercomplex_number-  History of the Hypercomplexes on hyperjeff.com-  Hypercomplex.info- title=Hypercomplex number-  E. Study, "On systems of complex numbers and their application to the theory of transformation groups" (English translation)-  G. Frobenius, "Theory of hypercomplex quantities"-  小川のｎ元数