シリーズ1本目の記事はこちら:
tsujimotter-sub.hatenablog.com
イデアルとは,数をまとめた集合のことである。数をまとめた集合同士の計算をしなければならないので,単なる数の計算よりもややこしい。
イデアルは,以下のように定義される。
における代数的整数 を考えて,以下のような集合を作る。
これを, で生成される のイデアル とよぶ。
特別な場合として, 1つによって生成されるイデアルも考えることが出来る。
これを, で生成される の単項イデアル とよぶ。
ちなみに,「 の」の部分は,文脈でわかる場合は省略されることが多い。今回も,整数環としては しか用いないため,たぶんずっと省略されるだろう。
いくつか例を挙げよう。単項イデアルの方が簡単であるから,そちらから例を挙げることにする。
によって生成される単項イデアルは,次のように書ける。
これは単純で「 の倍数」の集合である。とはいっても,通常の意味の「 の倍数」ではなくて「 に の元をかけた数」という意味の倍数である。
たとえば,以下の数はすべて上の意味で「 の倍数」であるから,単項イデアル の元である。
の部分を書き下してしまって,以下のように表現することもできるだろう。
この辺りは,みなさんの好みに任せたいと思う。
によって生成される単項イデアルも同様に書くことが出来る。
当然, のような通常の意味の整数(有理整数という)だけでなく, によって生成されるイデアルを考えることもできるだろう。
こちらのケースでは,以下のように変形しておくとわかりやすいかもしれない。
単項イデアルは,要するに「(ちょっと注意の必要な)倍数の集合」だと考えてもらえればいいと思う。
項が2つ以上の場合のイデアルについても例を挙げておこう。
の2数によって生成されるイデアルを考えよう。このイデアルはあとで使うことになる。
の2つが張る空間のようにみてもいいかもしれない。
これを のように置き換えると,
というように表現することもできる。ややこしいが,
の形で表せる数は,すべてこのイデアルの元である。
当然であるが, や は の元である。これは定義から明らかであるし,また とすれば, が出てくるし,逆に とすれば が出てくる。
ほかにも適当に, に整数をいれれば数が出てくるので,自分で試してみてほしい。
計算のためにはここまで真剣に中身を考えることも無いように思うが,定義をただしく理解しておくのは良いことだと思う。
イデアルの包含関係
たとえば,こんなイデアルを考えよう。
は,実のところもっと簡単なイデアルに変形できる。
ここで登場するのがユークリッドの互除法である。ユークリッドの互除法によると,有理整数 における以下の一次不定方程式には,解 が存在する。
の の部分を,また と に置き換える。
すると,
と変形でき,
という2つの一次不定方程式を考えれば,ユークリッドの互除法により,
のように置き換えることが出来るのだ。ただし, である。
したがって, より,
となり,結局 は単項イデアルになってしまった。
となる場合は,もっと簡単になる。
言い忘れていたが, は整数環 そのものである。これは定義から明らかであろう。
この方法は3つ以上の元によって生成されるイデアルに対しては,なおのこと有効である。
を考える。ただし, であるが, が のいずれかと共通の約数を持とうが持つまいが何ら関係ない。
なんと, の効果が消えてしまった。 が現れた時点で,すでに のすべての元を回ることが出来るので, があろうがなかろうがイデアルの形には影響を及ぼさないのである。
今回紹介した方法は,後に「イデアルの掛け算」をする際に非常に有効となる。
次回に続く。
次回の記事(最終話)はこちら:
tsujimotter-sub.hatenablog.com