- 159 名前：128 mailto:sage [2012/10/06(土) 19:43:47.41 ]
- 定理(?)：
P: prime ideal ⇔ （条件） [ ∀ I1 and I2, I1 ∩ I2 ⊆ P ⇒ I1 ⊆ P or I2 ⊆ P ]
同値の => 向きは示せた
P prime のとき、（条件） の対偶を示す
Y not in P, choose I1 = (Y)
Z not in P, choose I2 = (Z)
⇒
YZ not in P
YZ ∈ I1 ∩ I2
⇒
I1 ∩ I2 は P に含まれない
//
同値の <= 向きがどうも示せなくて
