どうも
こんにちは ごててんです カジュアルめな数学の記事を書きたいという欲を抑えきれませんでした2
読者の想定・注意
イデアルの定義を知っているくらいの前提です 環論やったことあります!という人はそんなの知ってるわ!という感じでムカつくと思うので読まないでください(?)
この記事は、単に環といえば「を持つ可換環」を意味し, 環は自明な環でないとします!
言い訳
可換代数をちょっとやったくらいの知識で個人の解釈モリモリの記事を書いています. 超的はずれなことを書いている可能性がありますが許してください. 無茶苦茶勇気を出してイメージとかそういうものを書いています(?)
この記事の目的
証明をほどほどに、剰余環のイメージを掴むのが目的です
厳密さ等を伴わないイメージを書くこともあるので苦手な方はブラウザバック推奨です
「ゼロ」を定義する
群論未習の人が読むかは分かりませんが, 群論をやっていない前提で書きます. この記事の目標に入る前に, 次の問題を見てみましょう.
をで割るとで余る整数, をで割ると余る整数とする. このときをで割ると余りは何か.
数学に慣れ親しんだ皆さんなら「」と即答できると思います. どうして, 単純に としていいか. それは環の立場から言えばがのイデアルだからと説明できます.
で考えることは, の倍数の余りを考えているとも考えられますが, この記事では次のようにも言いたいと思います.
で考えるということは, を「ゼロ」と思い込むということだ!
はい. 本題に戻ります. この, 「ゼロ」と思い込む操作はイデアルならばいつでも使うことができます. これをしっかり考えてみます.
剰余環を定義する前に
少し準備をします.
は, そのまま考えればだけずれているという感じです. つまり, で「割り算」をしたときの余りがとなる元の集合と考えることができます.
例を見ていきましょう.
集合として扱っているのがポイントです. 集合は中身さえ同じなら同じものなので, 表記が違くても同じものである可能性があるのが大事です.
表記が違くても同じ?
表記が違くても同じものの代表として, 分数の表記があります. もも同じものを指しています. にもかかわらず, 表記の仕方によって足し算や掛け算の結果が変わることはありません. との計算結果が変わったらおかしいですよね. この話を念頭に置いておいてください.
の元でずらしても, は集合として変わらないという主張です. なんとなく当たり前な気がします. ちゃんと示してもいいですが, ちゃんと示します.
とすると, がとれとかける. このときであることを利用すると. よって, . 逆も同様.
もう少し難しい例も見ていきましょう.
ちゃんと解説します. はで生成されたイデアルで, たとえばなどが属しています.
さきほどの補題を使えば, がわかります.
もっと行きましょう.
はとで生成されたイデアルで, たとえばなどが属しています.
なんとなくイメージを掴めましたでしょうか.
剰余環を定義します
早速定義...... の前にもう少しあります. 冒頭の問題を環の言葉にしてみます.
「とはを法として等しい」
「とはを法として等しい」
このとき
「とはを法として等しい」
「とはを法として等しい」
......ということが成立します. これは次のように書くことができます.
を環, をイデアル, . このときが成立しているとする. すると次が成立する.
・
・
証明は省きます. 証明を読むより自力で証明したほうが楽しいと思いますし.
この命題は超大事です. なぜなら「剰余環」が存在していい理由だからです. そしてついに剰余環の「器」を定義します.
これも一旦例を紹介します.
で割ったあまりなので, 次のようには次式と定数で書き切ることができます.
さて, ようやく本題です. 「器」に演算を入れましょう.
の元をとってくるとき, と定めます.
また, と定めます.
よし!これで晴れてに演算が入って環にできる~~~!!!
と行きたいところですが, 最後に絶対に避けては通れない部分があります.
この演算が well-defined かを確かめなければなりません.
......
well-defined って何だ......?
well-defined とは
「well-defined である」とは, 無茶苦茶ざっくり言えば 「ちゃんと定義されている」ということです. これに関しては, well-definedでない例を見たほうがわかりやすいと思うので, ちゃんと定義されていない例を書いてみます
やばすぎる関数
対応を, 有理数から「分母と分子の和」に対応させるものとする. これは well-defined な写像でない.
何がいけないのでしょうか. 実験してみましょう.
であるにもかかわらず, となってしまいます. 同じ値から飛ばしているのに飛ばした先の値が異なるという, 絶対にあってはならないことが起きていますね. これは写像の原則「1つの元にただ1つの元が対応する」というものに反しています.
の演算の話に戻りましょう. どこに well-defined かどうかが問題になる箇所があるのでしょうか. 有理数の場合は, 分数の表し方が一通りでないことが問題となりました. で問題になるのは, たとえばというように, の元も表し方が一通りでないということでした.
もも, 表し方の一つに過ぎないのに, その和をと定めていいのか. ということになります. 別の表し方だったら変わってしまう. それはいけません. しかし実際は変わりません.
命題2の前に書いたものを思い出してみましょう
「とはを法として等しい」
「とはを法として等しい」
このとき
「とはを法として等しい」
「とはを法として等しい」
これはまさに, における和と積が well-defined である, ということを言っています!
の元としてをとってきて, その和をと定めたとします. さて, という, の別の書き方がありました. なんと, その和のはと必ず一致します(命題2). これはつまりどんな書き方を採用しても最終的な結果は同じという意味で, まさしく well-defined ということです!
劇的フィナーレ!!!
は, 上で定義した和と積により環となる. この環をのによる剰余環と呼ぶ.
この剰余環によって, 新しい環を大量に作ることができます. イデアルの数だけ作ることができます.
一番有名な例
は全部で個の元からなる環. はと書かれることが多い.
演算としては, たとえばで考えると また, . は整域でない.
dual number
の演算を考える. のように, 乗するとになる元をもつ環を得たことになる. この環は dual number の環などと呼ばれる.
この, 「乗するとになってしまう数を作りたい!」という要望に, を「ゼロ」として定義すればが乗してになる!というアイデア. これを実現できるのが剰余環なのです!
冒頭に「ゼロ」を定義すると書いたのはこういうわけです.
乗してになる元を作りたければとすればいいですし, いろいろ融通が利きます.
さて, とすればどうなるでしょうか. が「ゼロ」になるということは, としたとき, となります. これは乗してになっていると考えられます. つまりこのは虚数単位に他なりませんね!
おつかれさまでした
初等的な代数学を勉強するときの壁としてよく挙げられるのは well-defined だと思います. この記事で少しでも理解に近づいたのなら幸いです. ここまで読んでいただきありがとうございました.