Talk:Prime Element iff Generates Principal Prime Ideal

prime element iff generates "non-zero" principal prime ideal

From Integral Domain iff Zero Ideal is Prime, the zero ideal of an integral domain is prime, but its generator zero is not prime. --Fake Proof (talk) 10:02, 22 July 2021 (UTC)

But $0 \notin \Z_{>0}$. --prime mover (talk) 19:55, 22 July 2021 (UTC)