2025-04

prime avoidance　イデアルの包含関係では有限性の下で成り立つものがある．素イデアル避けはその一つであり，主張は素イデアルの性質だけで理解できる．しかし，必要になったときに思い出せないことが頻発する．今回は少し先のNoether環の場合を例に挙げ素イデアル避けの利用先を一つ明確にする．