双複素数

抽象代数学における双複素数（そうふくそすう、; 複複素数）とは、複素数の順序対 としてケーリー＝ディクソン構成から得られる。ここに、双複素数の共軛が で、また二つの双複素数の積が formula_1 で与えられている。
さらに双複素数 に対する双複素ノルム が で与えられる。これは第一成分が計量を与える二次形式となっていることに注意。
双複素数の全体は、複素数体 上二次元の多元環で、多元環の直和 に同型である。
双複素数のノルムは合成性質（乗法性）を持つ。すなわち、ふたつの双複素数の積に対する二次形式は、個々の双複素数に対する二次形式同士の積に等しい: 。二次形式の積に関するこの性質を示した式はブラフマグプタ–フィボナッチの等式と呼ばれる。双複素数のノルムがこの性質を満たすことは、双複素数全体の成す環が合成代数を成すことを言うものである。実は、双複素数環は複素数体 とその上の二次形式 を一元数とするケイリー–ディクソン構成において二元数として生じる。
一般の双複素数は、行列 formula_2 として表現することができる。この行列式は となるから、上記の二次形式の合成性質は行列式の乗法性として理解できる。
実多元環として.
双複素数の全体は、複素数体 上の多元環として二次元であり、 は実数体 上二次元であるから、双複素数の全体は 上四次元の多元環になる。実は、双複素数は実多元環としての取り扱いのほうが複素多元環としてのそれよりも古く、実多元環として「テッサリン」と呼ばれたのが1848年であるのに対し、複素多元環としての扱いは1892年まで導入されなかった。
 上四次元のテッサリン代数 の基底は、冒頭に挙げた行列表示を および に特殊化して得られる行列 formula_3（これらの積が上記の乗積表に従うことに注意せよ）を与えればよい。単位行列をテッサリンの に同一視して、各テッサリンは の形をしている。
「可換超複素数系」("commutative hypercomplex numbers") としてのテッサリン代数は が提唱した（ダヴェンポートの乗積表では、上掲の乗積表の と が入れ替わっている）。特にダヴェンポートは、テッサリン代数 と二つの複素数平面の直和 との間の同型対応の有効性について注意している。テッサリンはデジタル信号処理にも応用された。
歴史.
1840年代には、複数の虚数単位を持つ体系に関する主題が考察されていた。フィロソフィカル・マガジンにおいて1844年から始まる長期の連載 "On quaternions, or on a new system of imaginaries in algebra" で、ウィリアム・ローワン・ハミルトンはに従う乗法を持つ体系について伝えている。1848年、は、超複素数系を決定する単位に関する方程式に関する、アーサー・ケイリーとの書簡のやり取りについて報告した。
テッサリン.
1848年に法律家はフィロソフィカル・マガジンにおける一連の論文においてテッサリン ("tessarine")の概念を導入した。
テッサリンは、4つの実数 と3つの虚数単位 により formula_4 と表すことのできる超複素数である。コックルは指数函数の級数展開から、双曲正弦および双曲正弦函数の級数を分離するためにテッサリンを用いた。コックルはテッサリンの体系において零因子（コックルは「不能元」("impossible") と呼んでいる）がどのように生じるかについても示している。今日的にはテッサリンは実テッサリン（分解型複素数） の成す部分線型環（これは単位双曲線を媒介表示する）についてが最も知られている。
双複素数.
1892年には、テッサリンの体系に同型な双複素数 ("bicomplex number") の概念を "Mathematische Annalen" に発表した。
セグレは およびの仕事を読んで、自身の双複素数の体系を展開するのにいくつかハミルトンの記法を用いた。 は互いに可換でそれぞれの自乗が に等しいものとするとき、乗法の結合性を仮定すれば、積 の自乗は でなければならない。これら を基底として構成された多元環は、基底こそ異なるものを用いて表されるけれどもジェイムズ・コックルのテッサリンと同じものである。
セグレは formula_5 が冪等元であることを注意している。
双複素数を別の基底 に関して書き表すとき、それらとテッサリンとの同値性が現れる。これらの多元環の間の同型写像の線型表現について見てみれば、第四成分において負符号を用いる場合の一致性が見えるはずである（上で挙げた積の例を線型表現のもとで考察せよ）。
カンザス大学は双複素数上の解析学の発展に多大に寄与している。1953年に、博士課程の院生であった James D. Riley の修士論文 "Contributions to the theory of functions of a bicomplex variable" が東北数学雑誌 (2nd Ser., 5:132–165) に掲載された。1991年には、双複素数、多重複素数およびそれらの上の函数論に関する書籍を出版した。プライスはその書籍の序文においてこれら主題の歴史についていくらか書いている。双複素数およびその応用について展開した別の本が、Catoni, Bocaletti, Cannata, Nichelatti & Zampetti (2008). である。
多項式環の剰余環としての構成.
双複素数とテッサリンの一つの比較として、多項式環 を用いよう（ に注意）。イデアル をとれば、それによる剰余環はテッサリン代数を表現するものになる。この方法で、テッサリン代数の各元はイデアル に関する剰余類に対応する。同様に、イデアル からは双複素数環が得られる。
この方法論を一般化して、二つの「非可換」な不定元 に関する非可換多項式環 を用いるならば、三つの二次多項式 の生成するイデアル を考えれば、剰余環 がテッサリン代数に同型となる。特に に注意
もちろん、 の生成する別のイデアル を考えれば、 が示せて、環同型 が基底変換 から得られる。
あるいは、通常の複素数全体の成す体 が既知として、1つの不定元 に関する複素係数多項式環 を考えれば、剰余環 が双複素数のもう一つの表現を与える。
双複素係数多項式の根.
双複素数の全体を と書いて、各元を複素数の順序対 として表せば、テッサリン代数 は に同型であったから、多項式環 と もまた互いに同型となるが、後者の意味での多項式は formula_6 が成り立つという意味において分解 (split) することは容易に分かる。
その帰結として、この代数における多項式方程式 を考えるときは、それを 上の二つの多項式方程式に帰着させることができる。多項式 の次数が ならば、帰着した二つの方程式の各々が 個の複素根を持つのだから、それぞれを ; とすれば、それらの任意の順序対 が における元々の方程式の -根を与え、全部で 個の根があると分かる。
 との同型があるから、多項式の間の対応およびそれらの根の間の対応がとれて、それゆえ次数 のテッサリン係数多項式もまた根の重複素まで込めて 個のテッサリンを根に持つ。