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

解釈モリモリで環論をやる 剰余環

866
0

どうも

 こんにちは ごててんです カジュアルめな数学の記事を書きたいという欲を抑えきれませんでした2

読者の想定・注意

 イデアルの定義を知っているくらいの前提です 環論やったことあります!という人はそんなの知ってるわ!という感じでムカつくと思うので読まないでください(?)

 この記事は、単に環といえば「1を持つ可換環」を意味し, 環は自明な環でないとします!

言い訳

 可換代数をちょっとやったくらいの知識で個人の解釈モリモリの記事を書いています. 超的はずれなことを書いている可能性がありますが許してください. 無茶苦茶勇気を出してイメージとかそういうものを書いています(?)

この記事の目的

 証明をほどほどに、剰余環のイメージを掴むのが目的です
厳密さ等を伴わないイメージを書くこともあるので苦手な方はブラウザバック推奨です

「ゼロ」を定義する

 群論未習の人が読むかは分かりませんが, 群論をやっていない前提で書きます. この記事の目標に入る前に, 次の問題を見てみましょう.

 a7で割ると3で余る整数, b7で割ると1余る整数とする. このときa+b,ab7で割ると余りは何か.

 数学に慣れ親しんだ皆さんなら「4,3」と即答できると思います. どうして, 単純に 1+3=4,1×3=3としていいか. それは環の立場から言えば7ZZのイデアルだからと説明できます.

mod7で考えることは, 7の倍数の余りを考えているとも考えられますが, この記事では次のようにも言いたいと思います.

   

mod7で考えるということは, 7Zを「ゼロ」と思い込むということだ!

   

 はい. 本題に戻ります. この, 「ゼロ」と思い込む操作はイデアルならばいつでも使うことができます. これをしっかり考えてみます.

剰余環を定義する前に

 少し準備をします.

 Aを環, IAのイデアル, aAとするとき, a+I={a+x|xI}と定める.

 a+Iは, そのまま考えればaだけずれているIという感じです. つまり, Iで「割り算」をしたときの余りがaとなる元の集合と考えることができます.

 ここでの「割り算」は比喩です!

 例を見ていきましょう.

簡単な例

 Zにおいて, 1+7Z={,6,1,8,15,}であり, 3+7Z=10+7Z=17+7Z.

 集合として扱っているのがポイントです. 集合は中身さえ同じなら同じものなので, 表記が違くても同じものである可能性があるのが大事です.

 

表記が違くても同じ?

 表記が違くても同じものの代表として, 分数の表記があります. 1339も同じものを指しています. にもかかわらず, 表記の仕方によって足し算や掛け算の結果が変わることはありません. 13+126+1の計算結果が変わったらおかしいですよね. この話を念頭に置いておいてください.

 

補題と言うほどでもないが......

 Aを環, Iをイデアル, aA, xIとすれば, a+I=a+x+I.

 Iの元でずらしても, a+Iは集合として変わらないという主張です. なんとなく当たり前な気がします. ちゃんと示してもいいですが, ちゃんと示します.

 ya+Iとすると, zIがとれy=a+zとかける. このときzxIであることを利用するとy=a+z=a+x+(zx)a+x+I. よって, a+Ia+x+I. 逆も同様.

 

 もう少し難しい例も見ていきましょう.

 Q[X]において, 1+(X2)=1+X2+(X2)=1X3+(X2).

 ちゃんと解説します. (X2)X2で生成されたイデアルで, たとえばX2,2X2,X2,X3,X4などが属しています.
 さきほどの補題を使えば, 1+(X2)=1+X2+(X2)=1X3+(X2)がわかります.

 もっと行きましょう.

 Z[X]において, 1+(4,X2)=5+(4,X2)=1+X2+(4,X2)

 (4,X2)4X2で生成されたイデアルで, たとえば4,8,X2,2X3,12+X4などが属しています.

 なんとなくイメージを掴めましたでしょうか.

剰余環を定義します

 早速定義...... の前にもう少しあります. 冒頭の問題を環の言葉にしてみます.

a1a2Iを法として等しい」
b1b2Iを法として等しい」
このとき
a1+b1a2+b2Iを法として等しい」
a1b1a2b2Iを法として等しい」

......ということが成立します. これは次のように書くことができます.

 Aを環, Iをイデアル, a1,a2,b1,b2A. このときa1+I=a2+I,b1+I=b2+Iが成立しているとする. すると次が成立する.

a1+b1+I=a2+b2+I
a1b1+I=a2b2+I

 証明は省きます. 証明を読むより自力で証明したほうが楽しいと思いますし.

 この命題は超大事です. なぜなら「剰余環」が存在していい理由だからです. そしてついに剰余環の「器」を定義します.

 Aを環, Iをイデアルとするとき, A/I={a+I|aA}と定める.

 これも一旦例を紹介します.

Z/5Z={0+5Z,1+5Z,2+5Z,3+5Z,4+5Z}.

Z/nZ={0+nZ,1+nZ,,(n1)+nZ}.(全部でn個の元からなる.)

 X2で割ったあまりなので, 次のようにQ[X]/(X2)1次式と定数で書き切ることができます.

Q[X]/(X2)={a+bX+(X2)|a,bQ}.

 

 さて, ようやく本題です. 「器」に演算を入れましょう.

 A/Iの元a+I,b+Iをとってくるとき, (a+I)+(b+I)=a+b+Iと定めます.
 また, (a+I)(b+I)=ab+Iと定めます.

 よし!これで晴れてA/Iに演算が入って環にできる~~~!!!

 と行きたいところですが, 最後に絶対に避けては通れない部分があります.

 この演算が well-defined かを確かめなければなりません.

 

 ......

 

 well-defined って何だ......?

 

well-defined とは

 「well-defined である」とは, 無茶苦茶ざっくり言えば 「ちゃんと定義されている」ということです. これに関しては, well-definedでない例を見たほうがわかりやすいと思うので, ちゃんと定義されていない例を書いてみます

やばすぎる関数

 対応f:QZを, 有理数から「分母と分子の和」に対応させるものとする. これは well-defined な写像でない.

 何がいけないのでしょうか. 実験してみましょう.

 f(13)=1+3=4 であるにもかかわらず, f(26)=2+6=8となってしまいます. 同じ値から飛ばしているのに飛ばした先の値が異なるという, 絶対にあってはならないことが起きていますね. これは写像の原則「1つの元にただ1つの元が対応する」というものに反しています.

 

 A/Iの演算の話に戻りましょう. どこに well-defined かどうかが問題になる箇所があるのでしょうか. 有理数の場合は, 分数の表し方が一通りでないことが問題となりました. A/Iで問題になるのは, たとえば1+5Z=6+5Zというように, A/Iの元も表し方が一通りでないということでした.

 

 a+Ib+Iも, 表し方の一つに過ぎないのに, その和をa+b+Iと定めていいのか. ということになります. 別の表し方だったら変わってしまう. それはいけません. しかし実際は変わりません.

 

 命題2の前に書いたものを思い出してみましょう

a1a2Iを法として等しい」
b1b2Iを法として等しい」
このとき
a1+b1a2+b2Iを法として等しい」
a1b1a2b2Iを法として等しい」

 

 これはまさに, A/Iにおける和と積が well-defined である, ということを言っています!

 

 A/Iの元としてa1+I,b1+Iをとってきて, その和をa1+b1+Iと定めたとします. さて, a2+I,b2+Iという, a1+I,b1+Iの別の書き方がありました. なんと, その和のa2+b2+Ia1+b1+Iと必ず一致します(命題2). これはつまりどんな書き方を採用しても最終的な結果は同じという意味で, まさしく well-defined ということです!

劇的フィナーレ!!!

 A/Iは, 上で定義した和と積により環となる. この環をAIによる剰余環と呼ぶ.

 この剰余環によって, 新しい環を大量に作ることができます. イデアルの数だけ作ることができます.

一番有名な例

 Z/nZは全部でn個の元からなる環. m+nZmと書かれることが多い.
 演算としては, たとえばZ/6Zで考えると2+5=7=1. また, 3×4=12=0. Z/6Zは整域でない.

dual number

 R[X]/(X2)={a+bX+(X2)|a,bR}の演算を考える. (X+(X2))(X+(X2))=X2+(X2)=0+(X2)のように, 2乗すると0になる元をもつ環を得たことになる. この環は dual number の環などと呼ばれる.

 この, 「2乗すると0になってしまう数を作りたい!」という要望に, X2を「ゼロ」として定義すればX2乗して0になる!というアイデア. これを実現できるのが剰余環なのです!

 冒頭に「ゼロ」を定義すると書いたのはこういうわけです.

 3乗して0になる元を作りたければR[X]/(X3)とすればいいですし, いろいろ融通が利きます.

 さて, R[X]/(X2+1)とすればどうなるでしょうか. X2+1が「ゼロ」になるということは, x=X+(X2+1)としたとき, x2=X2+(X2+1)=X2X21+(X2+1)=1+(X2+1)となります. これは2乗して1になっていると考えられます. つまりこのx虚数単位に他なりませんね!

おつかれさまでした

 初等的な代数学を勉強するときの壁としてよく挙げられるのは well-defined だと思います. この記事で少しでも理解に近づいたのなら幸いです. ここまで読んでいただきありがとうございました.

参考文献

[1]
M.F.Atiyah, I.G.MacDonald 著, 新妻 弘 訳, Atiyah-MacDonald可換代数入門, 共立出版, 2006
[2]
雪江 明彦, 代数学2 環と体とガロア理論
投稿日:202319
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

ごててん
ごててん
309
62147
位相空間と環が好きです

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. どうも
  2. 読者の想定・注意
  3. この記事の目的
  4. 「ゼロ」を定義する
  5. 剰余環を定義する前に
  6. 剰余環を定義します
  7. 劇的フィナーレ!!!
  8. おつかれさまでした
  9. 参考文献