- 171 名前：１３２人目の素数さん mailto:sage [2012/10/07(日) 13:16:45.82 ]
- お前ら難しく考えすぎ。
整数環Zのイデアル4Zが>>128の反例になる。
(反例を挙げるのにI1,I2まで指定するのはおかしい)
「∩Ij⊆Pとなる任意のイデアル族｛Ij｝に対して、あるjが存在してIj⊆P」かつ「Pは素イデアルでない」が成り立てばよい。
整数nで生成されるZのイデアルを(n)と書く。
Zのイデアル(n1),…,(nk)に対し、∩(nj)⊆4Zとする。
n1,…,nkの最小公倍数をmとすると、(m)⊆4Z
よってmは4の倍数。したがって、あるnjが4の倍数。すなわち(nj)⊆4Z
よって4Zは(条件)を満たすが、素イデアルでない。
