多元数

数学における多元数は、実数体上の単位的多元環の元を表す歴史的な用語である。多元数の研究は19世紀後半に現代的な群の表現論の基盤となった。

1. 歴史
-----

19世紀には、数学の文献において四元数 en, 双複素数 en, 分解型四元数 en, 双四元数 en および八元数 en と呼ばれる数体系が実数や複素数に加えて確立された概念となっていた。多元数 en の概念はこれらすべてを包含するものであり、またこれらを説明し分類するための指針を示唆する呼称である。

カタログ化の試みは1872年にベンジャミン・パースが著書 enを初版した時に始まり、それは息子のチャールズ・サンダース・パースに引き継がれた。最も著しい点は、かれらが分類に有効な多元数として冪零元および冪等元を同定したことである。ケーリー＝ディクソン構成では、対合を用いて実数の体系から複素数、四元数、八元数が作り出される。フルヴィッツとフロベニウスはこのような超複素数性に限界があることを述べる定理を証明している。最終的に、1958年にＪ・フランク・アダムズが位相的な方法を用いて有限次元実多元体が四種類に限り存在することを証明した。

多元数の体系の手綱をとったのは行列論であった。まず行列を用いて、実二次正方行列のような新たな多元数が供給される。すぐに、行列のパラダイムは、行列とその演算を用いて表現することでほかの多元数を説明するようになる。1907年にジョセフ・ウェダーバーンは結合的な超複素数系は必ず行列環か行列環の直和として表現されなければならないことを示した。これ以降、ウェダーバーンのエディンバラ大学での修士論文タイトルにも見られるように、このような超複素数系を言い表す用語として結合多元環 en が用いられるようになっていった。それでもなお、八元数や双曲四元数のような非結合的な体系の表す別種の超複素数系があることに注意すべきである。

ホーキンスの説明によれば、超複素数系はリー群およびその表現論を学ぶための布石である。例えば、1929年にエミー・ネーターは deを書き下ろした。1973年に書かれた多元数に関する教科書 ru ru は各国語で翻訳が出ている。

カレン・パーシャルは、テオドール・モリーンやエデュアルト・シュテューディらの著名な役割を含む、多元数の黄金時代の詳細な説明を書いている。現代代数学への移り変わりについて、B・L・ファン・デル・ヴェルデンは自身の著書 enにおいて多元数について30頁の紙幅を割いている。

2. 定義
-----

ruによれば、多元数あるいは超複素数は、実数体 R}} 上有限次元の単位的分配多元環の元として定義されている。n}}-次元の各多元数x}} は、実数係数 //a//ind を用いて基底 mset の一次結合

の形に書き表される。可能ならば、各基底 //i//ind について、その平方 //i//ind が −1, 0, 1}} のいずれかになるようにするのが慣習である。

3. 例
----

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

4. いくつかの系列について
--------------

4.1. クリフォード代数
-------------

クリフォード代数は、二次形式を備える線型空間を台として、その上に構成される単位的結合多元環である。二次形式を持つということは、実数体上では対称双線型形式の意味でのスカラー積 1=//u//⋅//v// =}} sfrac を定義できることと同値で、これに関する直交化を施すことにより、基底 mset で

を満たすものをとることができる。乗法が閉じるように、2sup 個の元 mset によって張られる多重ベクトルの空間を作る。これらの多重ベクトルを超複素数系の基底として解釈することができる。この基底は、もとの基底 mset と異なり、それらの交換に際していくつ単純因子を入れ替える必要があるかによって、反交換となることもならないこともある。つまり、例えば 1=//e//sub だが、 1=//e//sub である。

1=//esub となる esubを含む基底を除けば、そうでない部分で作られるクリフォード線型環は //Cl//sub とラベル付けることができる。この記法の添字については、この多元環の単純基底元のうち p}} 個が 1=//esub を満たし、かつ q}} 個が 1=//esub を満たすということ、また R}} はこれが実数体上の多元環であることを示唆するものである。//

幾何代数と呼ばれるこれら多元環は体系的な集合を成し、特に古典力学、量子力学、電磁気学、相対性理論における回転、位相、スピンなどを含む物理学的問題に非常に有効なことが知られている。例えば:

複素数体 //Cl//sub, 分解型複素数環 //Cl//sub, 四元数体 //Cl//sub, 分解型双四元数環 //Cl//sub,
余四元数環 //Cl//sub：二次元空間の自然代数
//Cl//sub: 三次元の自然代数、パウリ行列の代数
時空代数 多元環 //Cl//sub の元全体は、多元環 //Cl//sub の偶部分環 subsup を成す。このことはより大きな代数における回転をパラメータ付けするために利用することができる。これはつまり、複素数と二次元空間の回転の間の、あるいは四元数と四次元空間の回転の間の、また分解型複素数と 1 + 1}}次元空間の双曲的回転の間の、ほかにも同様の、それぞれ近しい関係があるということである。

ケーリー＝ディクソン構成やその変形である分解型の構成法では八次元以上になると乗法に関して結合的でなくなるが、クリフォード線型環は何次元であっても結合的なままである。

1995年にイアン・ポーテアスは自身のクリフォード線型環に関する著書で enについて書いている。その命題 11.4 に多元数の場合がまとめられている：単位元 1}} を持つ結合的実多元環 A}} について、

1}} は実数体 R}} を生成する。
1=//e//sub を満たす任意の元 //e//sub の生成する二次元部分環は、複素数体 C}} に同型である。
1=//e//sub を満たす任意の元 //e//sub の生成する二次元部分環は、分解型複素数環 msup に同型である。
互いに反交換する A}} の二元 mset の生成する四次元部分環は、1=//e//sub ならば必ず四元数体 H}} に同型である。
互いに反交換する A}} の二元 mset の生成する四次元部分環は、1=//e//sub ならば必ず余四元数環 [[実二次正方行列 に同型である。
互いに反交換する A}} の三元 mset の生成する八次元部分環は、1=//e//sub ならば必ず分解型双四元数 sup に同型である。
互いに反交換する A}} の三元 mset の生成する八次元部分環は、1=//e//sub ならば必ず双四元数環Msub に同型である。古典多元環を超えた拡張については、クリフォード代数の分類の項を参照せよ。

4.2. ケーリー＝ディクソン代数
-----------------

実数体、複素数体、四元数体を除くすべてのクリフォード代数 //Cl//sub は、平方が +1}} となる非実元を持ち、従って多元体とならない。複素数を拡張する別のアプローチとしてケーリー＝ディクソン構成をとることが挙げられる。これにより作り出される数体系は、1=//n// =}} 2, 3, 4, …}} に対して 2sup次元で、その基底 mset の非実基底元 isub はすべて互いに反交換し、かつ 1=//i//sub を満足する。こうして得られる多元環は、八次元以上  で非結合的となり、十六次元以上  で零因子を含む。

この系列の初めの方は、四次元の四元数、八次元の八元数、十六次元の十六元数で、次元が上がるごとに代数的対称性がそれぞれ失われていく。実際、四元数の乗法は可換でなくなり、八元数の乗法は結合的でなくなり、十六元数のノルムは乗法的でなくなる。

ケーリー＝ディクソン構成の適当な段階において余分な符号を挿入することにより、構成を変形することができる。そうして合成代数の系列に属する「分解型多元環」 を作り出すことができる。

分解型複素数：基底 mset 
分解型四元数：基底 mset 
分解型八元数：基底 mset 複素数と異なり、分解型複素数の全体は代数的閉体でなく、さらに零因子や非自明な冪等元を含む。四元数同様に、分解型四元数の全体は非可換だが、さらに冪零元を含む点では異なる。分解型八元数の全体は非結合的で冪零元を含む。

4.3. テンソル積による構成
---------------

任意の二つの多元環のテンソル積はふたたび多元環とすることができるから、これにより多くの様々な超複素数系の例を作り出すことができる。

特に複素数体 C}}とのテンソル積をとれば、四次元の双複素数環 C ⊗sub, 八次元の双四元数環 C ⊗sub, 十六次元の複素八元数環 C ⊗sub が得られる。

4.4. 更なる例
---------

双複素数 C ⊕ C}}：実四次元多元環であり、かつ複素二次元の多元環にもなる
多重複素数 1=Csub ：1=//n// = 1, 2, …}} に対して定義される、複素 2sup次元ベクトル空間と虚数単位の系列
合成代数：代数の乗法の分解に伴って分解する二次形式を備えた多元環

5. 関連項目
-------

超複素解析

6. 注
----

7. 関連文献
-------

author-link=Élie Cartan . and //Ouvres Completes// T.2 pt. 1, pp 107–246.

8. 外部リンク
--------

[1]
[2]
[3] 
[4]
[5]