Infinite families of non-principal prime ideals (Q1199191)

Let \(A\) be a domain and let \({\mathcal P}\) be a family of prime ideals of \(A\), satisfying the following conditions: (1) \(\bigcap^ \infty_{n=0}A_ PP^ n=0\) for every \(P\in{\mathcal P}\). (2) \(\bigcap_{P\in{\mathcal P}}A_ P=A\). (3) If \(f\in A\), \(f\neq 0\), there exist only finitely many ideals \(P\in{\mathcal P}\) such that \(f\in P\). (4) If \(n>1\) and \(P_ 1,\dots,P_ n\) are distinct prime ideals in the family \({\mathcal P}\), there exists \(f\) such that \(f\in P_ 1\backslash P^ 2_ 1\), \(f\notin P_ 2\cup\dots\cup P_ n\). (5) \({\mathcal P}\) contains a non-pricipal ideal \(P_ 1\) such that \(A_{P_ 1}P_ 1\) is principal and \(P^ 2_ 1\) is a primary ideal. The author proves that then \({\mathcal P}\) contains infinitely many non- principal ideals.