Algebra Thomas W. Hungerford 《Algebra》 · 第 380 页 · Chapter VIII，Section 2，Definition 2.8 An ideal $Q$ $(\ne R)$ in a commutative ring $R$ is primary if for any $a,b\in R$: $ab\in Q$ and $a\notin Q\ \Longrightarrow\ b^n\in Q$ for some $n>0$. 查看原书页面
