1.環とイデアル
環とイデアル
環(ring)とは、足し算(とその逆演算の引き算)と掛け算が定められた世界を指す。親しみやすい代表例としては整数全体の集まりがある。より厳密には単位的可換環と呼び、以下の条件を満たす組のことである。
- 組は足し算の構造を定める。
- が成り立つ。(和の結合性)
- が成り立つ。(0は和を変えない)
- に対してが存在してを満たす。(負の存在)
- が成り立つ。(和の交換性)
- 組は掛け算の構造を定める。
- が成り立つ。(積の結合性)
- が成り立つ。(1は積を変えない)
- が成り立つ。(積の交換性)
- 積は和に関して両側分配的である。
- が成り立つ。(左側分配性)
- が成り立つ。(右側分配性)
式で書くと辟易するかもしれないが、整数で成り立つ計算を抽出したものに過ぎない。面倒なのではと略記する。
奇妙に思うかもしれないが、にを定めるとは上の条件をすべて満たす。これは零環と呼ばれ、立派な環の一つである。有理数や実数、複素数の全体なども環である。更にこの場合はに対して掛けてとなる数(積の逆元)がある。このような環を体(field)と言ったりする。コンピューターに詳しければ、ビット列にも環構造が定まることを確認できる。和として排他的論理和を、積として論理積を取ればよい。他にも様々なものがあるが、それらは追々紹介していく。
これから学ぶ環論とは数学の一分野だが、上記で定める環構造にはどういったものがあり、どのような性質を持ち、現実にどう応用できるのかを知ることがその一番の目的だろう(学問は皆そうだろうけど)。なるべくこれらの目的に沿った形で、この企画を展開できたらと思う。
さて、物事には内と外の二つの側面がある。環にも(あやふやな定義ではなく)二つの側面があり、今回学ぶのは環の内側、即ち内部構造についてである。歴史的にはKummerの理想数に端を発するのだろうけど、今は整理されてイデアル(ideal)と呼ばれている。
定義 は、次の2条件を満たすときイデアルという。
- に対しが成り立つ。(は和について閉じている)
- に対しが成り立つ。(倍についても閉じている)
2番目は倍でないことに注意したい。掛け算については全体性のようなものがある。例えば(6の倍数全体)はのイデアルになっている。6の倍数同士を足しても6の倍数だし、6の倍数に何を掛けても6の倍数である。因みに体のイデアルは自明なもの()しかない。イデアルがゼロでない元を持てば、2番目の条件よりがイデアルに属すことが分かりに一致するためである。
ざっくり言えば、環の内部構造を知るということは、イデアルを知ることに相当する。先の例でも、に限らずがイデアルになることは分かるが、では逆にイデアルが全てこの形をしているかは(少なくとも現段階では)分からない。分かるために色々考えていく。
剰余環とイデアル対応定理
整数を6で割った余りについて考える。整数の余りが等しいということは、その差がちょうど6の倍数になっていることを意味する。よって余りが等しくなる数を集めれば
と表記できる。余り同士で足し算や掛け算が出来ることは、
という様に簡単な計算から分かる。つまりは環構造を持つ。
同様のことは環のイデアルに対しても言える。差がに属するものを一纏めにした全体
を考える。この集合には自然な環構造を
によって定めることができる。これをのによる剰余環(quotient ring)と呼ぶ。をゼロと思うことで得られる新しい環である。
ここで最初の考察として、のイデアルとのイデアルに何か関連性があるのかどうかを考えたい。の例で言えば、2の倍数を6で割った余りが2の倍数になり、また余りが2の倍数となる数全体で2の倍数全体は尽くされる。式で書けばはのイデアルだが、の中でもとしてイデアルになっている。逆にの元はで尽くされる。一方では同じような対応を持たないように思える。実は次のような対応定理が成り立つ。
定理 (イデアル対応定理)を環、をのイデアルとする。このとき{を含むのイデアル}と{のイデアル}は1対1に対応する。具体的にはを満たすイデアルに対してのイデアルが対応し、のイデアルに対してを含むのイデアルが対応する。
( 20170416 コメントで指摘があり、をに修正 )
(証明)がそれぞれイデアルであることと、が成り立つことを示せば良い。
素朴ながら、この対応関係は非常に深い意味を持つ。本質的に、剰余環の構造はより大きい部分の構造を完全に記述するからである。この対応は包含関係を保つ。即ちならであり、ならが成り立つ。実は後で示すがもっと強い対応がある。
のイデアル全体をと表記する。
所感
環は数学の色々な場面で遭遇するが、歴史的には整数論が萌芽だと思う。一意分解性が成り立たないヤバイ例が見つかったことにより、これはちゃんと研究しなければ的な流れがあったのだと勝手に思っている。その後多項式が気になって仕方ない人々によって研究が進み、多くのホモ論者(homologistの誤訳)も登場して一層の広がりを持つようになった。コンピュータの発展もあり、現実社会への応用もより実利的な形となって表れている。上の文章では内と外に分けたが、最近では両者のバランスが取れた環が熱いらしい。流石にそこまでは書けないと思うが。