Prime ideal

Prime order of an ideal

Let be a commutative ring, be a prime ideal, and be an ideal. Then is the largest such that , #m/def/ring see product ideal.¹ For , we also write .

Properties

1. , which becomes an equality if admits UFI.

#state/tidy | #lang/en | #SemBr