4
大学数学基礎解説
文献あり

モノイド環と準加算

397
0

導入

累乗は乗算を有限回繰り返したものである:
xy=xxy times.
また,乗算も加算を有限回繰り返したものである:
xy=x++xy times.
では,同様にして有限回繰り返すことで加算となるような演算(これを準加算という)は定義できるだろうか?
x+y=xxy times.

準加算の概念はbutchi氏によって2016年に提唱された.その後様々なアイディアをもとに研究が進められていたが,現在は「整数上(特に自然数上)ではうまく定義できない」という結論に至っている.

本記事では,ある環に対してその加算よりも低レベルな演算をもつ代数構造としてモノイド環を導入し,演算がどのように備わっているかを考察する.

なお,演算は常に二項演算を表すものとする.また,上記のようにある演算γが別の演算δを繰り返すことによって得られる場合,δγ下のレベルの演算であるという.例えば,整数環において+の下のレベルの演算である.下のレベルであるかどうかについて,結合法則や可換法則などは考えない.

モノイド環

Mをモノイド,Aを環とする.このとき,
A[M]:={finiteaimi | aiA,miM}
とする.このA[M]MA上のモノイド環という.

モノイド環の元はモノイドの元と環の元の形式的線形和であり,必ずしもなにか意味のある数になるとは限らない.

モノイド環は実際に環になっている:f=aimi,g=bimiA[M]に対して,
f+g=i(ai+bi)mifg=i,j(k+l=i+jakbl)mimj
と演算が入っているが,Mがモノイドであることから結合法則が成り立ち,分配法則が成り立つことも分かる(要計算).

今,+という演算はAおよびA[M]の和を表した.

モノイド環は半群環として一般化され,実際に半群に対しても同様に定義することができるが,本記事では最終的に構成された環が単位的可換環であるものを主に取り扱うため,ここではモノイド環を使用した.

Nを自然数全体の集合(ただし0N),Zを整数全体の集合とする.このときNは通常の積に関してモノイドをなし,整数全体は通常の和と積に関して環となる.ここで

Z[N]={finiteaini | aiZ,niN}Z

となる.実際にϕ:Z[N]Zf=ainiZ[N]に対して
ϕ(f)=aini
(niZだと考える)と定義すると,これは環準同型である.

Claim: ϕは全単射である:
)(単射) fkerϕに対して
ϕ(f)=aini=0
であるとき,すべてのiai=0となる(0N).したがってf=0となりkerϕ=0つまりϕは単射となる.

(全射) 任意のnZに対し,n0であるならばn=n1となるのでϕ(1n)=nである.またn<0ならばn=1nであるのでϕ(1n)=nとなり,ϕは全射である.

以上よりϕによって同型が定まる.

さて,この例は実は加算は乗算の下のレベルの演算であることを表している.

もともとNには乗算という単一の演算しか備わっていなかったが,そのモノイド環Z[N]をあたえることによって加算という下のレベルの演算が新たに備わった.同型であるZにおける積はNにもともとあった積だと考えることができる.

levelZ[N]ZN1ZN0+Z

そこに新しく+という演算が加わっており,実際に下のレベルの演算になっている.このようにして,あるモノイドが与えられたときにそのZ上のモノイド環を構成することによって,その下のレベルの演算をもつ代数構造を与えることができる.

Mが可換モノイドであるA[M]は可換環である.

() 積の定義より明らか.

() 積を演算とするモノイドとしてMA[M]より成り立つ.

下段環

ここで,ある単位的可換環Aについて考える.Aは和に関してアーベル群であり,また可換モノイドであるので,そのZ上のモノイド環を考えることができる.

単位的可換環Aについて
L(A):=Z[A]
とし,これをA自由下段環という.また,L(A)の剰余環をA下段環という.

Zを加算に関するモノイドと考えた上でL(Z)について考える.新たに備わった演算をとする.

levelL(Z)Z10+1

ただしL(Z)の乗算Z加算+L(Z)に拡張したものである.

これではあまりにも形式的すぎるので,
T:={002nn | n0}
として下段環B=L(Z)/(T)について考える.上式における0はより正確に書くと10のことである.これは係数環としてのZから1を,モノイドとしてのZから0をそれぞれ取ってきたものの形式和である.の逆演算であり,BL(Z)
00=1
より正確には
(10)(10)=11
などの関係式で剰余したものと考えることができる.この場合11を計算してみると,
11=0000=12(=2Z)
となっている.また,11
11=(11)(11)=(11)(1+1)=12( =2Z)
より,
0000=11=1+1=2
となっているとみることができ,もともとあった加算+よりも下のレベルの演算が定義されていると考えることができる.

上の例ではL(Z)における線形結合のと,元からZに備わっている乗算の記号を濫用した.どれがどのかを正しく理解することは読者への課題とする.

より具体的な例をもう一つ提示する.F2の下段環Cを以下のように定める:
C=L(F2)/(000,1(00)).

Cの元は01Z上の線形結合でかけるはずであるが,実際には元は3つしかない.なぜならば,
00=011020=00=1130=000=0021=11=0000=1031=111=000000=00
となり,00,10,20の3つだけとなる.

ここで,f:CF3
f(00)=0,f(10)=1,f(20)=2
と定めると,これは環の同型写像となり,つまりCF3となる.このようにしてF2の下段環としてF3を考えることができるのである.

さて,ここでF3の演算を見てみる.

+012001211202201012000010122021

このうち乗算の演算表に着目すると,単元群F3×の部分はF2の加算の演算表と同じになっていることが分かる.

F312112221+F201001110

つまり,F3の乗算をF2の加算だと思うことができるということである.

levelF2F31F20+F2F31+F3

これを定式化して構成したものがCである.

なお,下段環を構成することにより下のレベルの演算を定義することが出来たが,もとのモノイドの元にその演算を適用するとモノイドからはみ出してしまうことがある.

上記のBに関しては
000
に対応するZの元は存在せず,これでBの元を1つ表している.また上記のCに関しては10C0F2と,20C1F2とそれぞれ対応しているが,00に対応するF2の元は存在しない.

levelF2F310+1

実際に新しく定義した加算F2に引き戻して,01を計算してみると,

01=(10)(20)=00F2

となり,F2からはみ出してしまう.

つまり,低レベルな演算を定義する際にはある程度集合を拡大する必要がある.これは累乗を行う際に結合法則が成り立たなくなることなどに近い.

参考文献

投稿日:20201214
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

有限体上の代数曲線の特異点解消について研究していました

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 導入
  2. モノイド環
  3. 下段環
  4. 参考文献