- 160 名前：１３２人目の素数さん mailto:sage [2012/10/06(土) 19:53:42.94 ]
- >>159
P: prime ideal ⇔ [ ∀ I1 and I2, I1・ I2 ⊆ P ⇒ I1 ⊆ P or I2 ⊆ P ]
はすぐ示せる。
この同値は殆どの可換環、可換代数の本に載っている定理。
そして、I1・I2⊆I1∩I2 ゆえ
[ ∀ I1 and I2, I1・ I2 ⊆ P ⇒ I1 ⊆ P or I2 ⊆ P ]⇒ [ ∀ I1 and I2, I1 ∩ I2 ⊆ P ⇒ I1 ⊆ P or I2 ⊆ P ]
も直ちにでる。
これの逆は知らんなあ。
