>>631-632有難うございます　
二つほどあります
・先の本の34ページのラスカーネターの2番目のを示すための補題5.18

「素イデアルPが無駄の無い分解に現れる準素イデアルの付随素イデアル」
⇔「P=I : fなるf in Rがある」

のP = I :f ⇒　の方の証明ですがfがP_i に含まれないような添え字i_kをとると
P=∩_{i_k} P_{i_k}となるとありますが，これは何故なのでしょうか？
P⊂∩_{i_k} P_{i_k}のほうは分かるのですが⊃の包含関係が分かりません

もう一つは
・そのすぐ後の定理5.20の3番目と5番目の証明がうまくいきません
（本には「明らか」と書いてるのですが…）

以上です　よろしくお願いします