A:環 定義(準素イデアル) イデアルが、条件： を満たすとき、は準素イデアルであるという。例1 (pは素数) とするとこれは準素イデアル。 証明：とする。 より、あるがあって 背理法で示す。任意の自然数mでだとする。 がpの倍数なら、となってしまうから、は…