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 , ring see product ideal.¹ For , we also write .

Properties

1. , which becomes an equality if admits UFI.

---

tidy | en | sembr

Footnotes

1. 2022. Algebraic number theory course notes, p. 26 ↩