分解型複素数の乗法群

まえがき

こんにちは！的場 沙雪です．今回は分解型複素数について考えていた時に，分解型複素数全体の集合$\D$の部分集合は乗法群に出来るのではないかと考え，調べてみたのですが特にそのような記述は見つからなかったので記事にしようという話です．

群論がわからない方も，極形式もどきの部分だけでも読んでみる価値はあると思います！なお群論の知識は本当に初歩の部分だけで問題無いです！ Wikipedia を参照してもいいかもしれません．

オイラーの公式

定義や導出方法など詳しくは こちらのサイト などを参照していただきたいのですが，このような公式があります（紹介しなくてもいいのですが，後々計算が楽になります）

さらに，指数法則も成り立ちます．

極形式もどき

（非零）複素数には極形式と呼ばれる表示方法がありました．

分解型複素数でも極形式（のようなもの）を考えることが出来ます．$re^{jt}=r\cosh t+jr\sinh t$を考えてみましょう．ただし$r>0$，$t\in\R$とします．これは実部が$r\cosh t$，虚部が$r\sinh t$なので，分解型複素数$x+jy$を$xy$平面上の点$\r{x,y}$にプロットすると$re^{jt}$は双曲線$x^2-y^2=r^2$の$x>0$の部分にあることがわかります． $r$を$r>0$の範囲で動かしてみる と，$re^{jt}$の形で表せる点全体は図1に示す領域$y< x\land y>-x$になります（境界は含みません）．
$y< x\land y>-x$が表す領域

さて，困りました．どうやら$re^{jt}$の形では分解型複素平面全体を表現出来ないようです．どうにかして残りの部分を表現できないでしょうか……

そういえば，複素数において$-1$倍は原点対称に点を移す操作でした．分解型複素数でも出来ないでしょうか？ということで，やってみます．$-re^{jt}=-r\cosh t-jr\sinh t$は実部が$-r\cosh t$，虚部が$-r\sinh t$なので，先程と同様にプロットすると$-re^{jt}$は双曲線$x^2-y^2=r^2$の$x<0$の部分にあることがわかります．つまり$-re^{jt}$の形で表せる点全体は図2に示す領域$y>x\land y<-x$になります（境界は含みません）．
$y>x\land y<-x$が表す領域

残るは上部分と下部分です．上部分は双曲線$x^2-y^2=-r^2$の$y>0$の部分にある点を表現出来ればいいことがわかるので，そこから逆算しましょう．$x^2-y^2=-r^2$は変形すると$y^2-x^2=r^2$となるので，$\r{x,y}=\r{r\sinh t,r\cosh t}$を考えればいいことがわかります．$r\sinh t+jr\cosh t=j^2r\sinh t+jr\cosh t=j\r{r\cosh t+jr\sinh t}=je^{jt}$なので，$je^{jt}$で表せるで表せる点全体は図3に示す領域$y>x\land y>-x$になります（境界は含みません）．
$y>x\land y>-x$が表す領域

これで後は下部分だけです！下部分は先程考えた$-1$倍の話から，$-je^{jt}$を考えればよいことがわかります．つまり$-je^{jt}$で表せるで表せる点全体は図4に示す領域$y< x\land y<-x$になります（境界は含みません）．
$y< x\land y<-x$が表す領域

以上で$y\neq x\land y\neq-x$を満たす全ての点を極座標（のようなもの）で表すことが出来ました！分解型複素数のすごいところは，なんとこの極座標（のようなもの），$r$と$t$が一意に定まります！！！複素数では偏角に周期$2\pi$の任意性がありましたが，分解型複素数では任意性が無いので，対数関数が多価性を持ちません！！！！！！ただし，$\log j$，$\log\r{-1}$の定義のしようがない（もしくは，$j$，$-1$は指数関数の値域にない）ので，対数関数の定義域は図1で表される領域だけになります……どなたかうまい定義を思いついたらご一報いただければ幸いです．私は$\log\r{-1}$のように複素数を持ってくることで無理やり解決は出来るのかな……？と考えています．二元数の行列表現から以下の表（表の値は積）を作れるので，四元数と恐らく同型な数体系$\R\s{i,j,\varepsilon}$を考えて何とか出来ないでしょうか……

なお，今回は$y=x\lor y=-x$を満たす部分は使わないので関係ないですが，$\d r\frac{1+j}{2}$などとして表現することが出来ます（$\d\frac{1+j}{2}$は 冪等元 です，冪等元を用いると計算が楽になります．「幻影数」で検索してみてもいいかもしれません）．

以後，図1，図2，図3，図4の領域に移される分解型複素数全体の集合を，それぞれ極形式（のようなもの）になぞらえて$\D_1$，$\D_{-1}$，$\D_j$，$\D_{-j}$と表すことにします．

乗法群

いよいよ大詰めです．$\D^\times:=\D_1\cup\D_{-1}\cup\D_j\cup\D_{-j}$と定義すると，なんと$\D^\times$は乗法群になります！きちんと述べれば，組$\r{\D^\times,1,\times}$はアーベル群になります（ちなみに組$\r{\D_1,1,\times}$や組$\r{\D_1\cup\D_{-1},1,\times}$もアーベル群になります）！

これを示すには，元々$\r{\D,\times}$は可換モノイドですから，$\D^\times$上で積が閉じていること（組$\r{\D^\times,\times}$がマグマであること），そして$\D^\times$の任意の元が$\D^\times$上に乗法逆元を持つことを示せば十分です．なお，乗法単位元$1$は$\D_1$に属しています．

まず前者の乗算の閉性からです．$\D_1$の$2$元$r_1e^{jt_1}$，$r_2e^{jt_2}$をとると（もちろん$r_1>0$，$t_1\in\R$，$r_2>0$，$t_2\in\R$です），それらの積$r_1e^{jt_1}r_2e^{jt_2}$は指数法則より$r_1r_2e^{j\r{t_1+t_2}}$となって$\D_1$の元となります．$\D_{-1}$，$\D_j$，$\D_{-j}$の元は$\D_1$の元にそれぞれ$-1$，$j$，$-j$が掛かっているだけなので，結局$\D^\times$は乗法に関して閉じていることがわかります．具体的には以下の表のようになります．

さあ後は逆元の存在性のみです！先程と同じく$\D_1$の$2$元$r_1e^{jt_1}$，$r_2e^{jt_2}$をとると，それらの積$r_1e^{jt_1}r_2e^{jt_2}$は$r_1r_2e^{j\r{t_1+t_2}}$となります．ここで，乗法単位元$1$は$\D_1$に属しているので，極形式（のようなもの）で書けます．具体的には$1=1e^{j\cdot0}$です，ということは，$r_1>0$に注意して$\d r_2:=\frac{1}{r_1}$，$t_2:=-t_1$と定義すれば$\d r_1e^{jt_1}r_2e^{jt_2}=r_1r_2e^{j\r{t_1+t_2}}=r_1\frac{1}{r_1}e^{j\r{t_1+\r{-t_1}}}=1e^{j\cdot0}=1$となって積が乗法単位元になります！つまり$r_1e^{jt_1}$の乗法逆元は$\D_1$上に存在して$\d\frac{1}{r_1}e^{-jt_1}$となります．

先程の表から，残る$\D_{-1}$，$\D_j$，$\D_{-j}$の乗法逆元はそれぞれ$\D_{-1}$，$\D_j$，$\D_{-j}$上に存在することがわかります（乗法逆元との積は乗法単位元$1$なので，特に$\D_1$に属していなければなりません）．後はもうわかりますね！$-re^{jt}$，$jre^{jt}$，$-jre^{jt}$の乗法逆元はそれぞれ$\d-\frac{1}{r}e^{-jt}$，$\d j\frac{1}{r}e^{-jt}$，$\d-j\frac{1}{r}e^{-jt}$です．ようやく示せました！！

あとがき

分解型複素数はなんだかマイナーというか豆知識のような扱いを受けがち（体感）ですが，こんなにも面白い性質を持っているんです！！みなさんも分解型複素数を研究してみてはいかがでしょうか？ここまで読んでくださりありがとうございました．