2

べき等元分解をもっと観察する

156
0

双複素解析入門 第5回

今回もべき等元分解についてのお話です.Z=z1+jz2BCにおける,C係数のべき等元分解とは
Z=(z1iz2)e+(z1+iz2)e
のことでした.以前,べき等元分解はZ=(z1+jz2)e+(z1+jz2)eのようにべき等元分解することもできるとご指摘いただいたので,ここで修正しておきます.べき等元分解をするときにe,eの係数をCの元にすると,初めてべき等元分解の一意性が成り立ちます(ご指摘いただいた方ありがとうございます.).

さて,このべき等元分解したあとに現れるe,eの係数ですが,なんだか毎度書くのも大変ですね….今後で楽できるように次の写像を定義することにします.

2つの写像Φe:BCC,Φe:BCCを次のように定義する:
Z=z1+jz2BCに対して,
Φe(Z)=z1iz2,Φe(Z)=z1+iz2.
さらに簡略化のためZe=Φe(Z),Ze=Φe(Z)と表すことにする.

この定義を用いると,ZBCのべき等元分解表示は次のようになります:
Z=Φe(Z)e+Φe(Z)e=Zee+Zee.
かなりすっきりしましたね.さらに,この2つの写像には次の命題が成り立ちます.

上記のΦe,Φeは全射環準同型写像である.

この主張の証明は群論や環論を勉強したことがある人であれば比較的容易に示せるので,証明は省略させてもらいます.この写像を用いて,前回の主張などを書き直してみることにします.例えば零因子の集合S0
S0={Z=Zee+ZeeBC | ZeZe=0}
と表せることになります.すっきりしましたね.前々回で計算したn(N)乗計算というものが写像の環準同型を用いて計算したものとも思えますね.さらに,Zが零因子でなければ(つまりZeZe0ならば),環準同型であることから
1Z=Φe(1Z)e+Φe(1Z)e=Φe(Z)1e+Φe(Z)1e=1Zee+1Zeeのように計算することが可能です.
写像と思うことで色々便利なことがあるんですね….

今回はここまでにします.ありがとうございました.

投稿日:2020126
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

まい.
まい.
32
1962
大学院修士課程まで主に解析数論(素数定理周り)の研究をしていました。今はデータサイエンス関連の仕事をしています。Xでは大学数学入門資料を投稿してます。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中