15/08/01 21:42:07.24 tftR4opy.net
>>419 つづき
”現代数学の定石がいくつかある １．ある対象Aと別の対象Bとがあって、AとBにきちんと対応がつくとき、Aを考える代わりにBで考える”>>415と書いた
Aを考える代わりにBで考える利点があるんだよ、実は・・
整数環 Z がわれわれが一番なじみのある世界だ。だから、ここに戻ってくるのが良いんだ。この世界は、単項イデアル整域>>419で、
”極大イデアルは、ある素数 p で生成されるイデアル (p) = pZ であり、また任意の素数 p についてイデアル (p) は極大イデアルである[2]。”>>416
つまり、素数Pから生成されるイデアルは、素イデアルでもあり、極大イデアルでもある。言い換えると、素イデアルの概念と極大イデアルの概念とは分離されていない世界なのだ
だからこそ、というか逆に、素数（あるいは素因子）の概念を、素イデアルの概念と極大イデアルの概念とに分離して考えることができる。それこそが、イデアルを考える利点なんだ
詳しくは小島本を読んでください