Principal prime ideal

Definition
An ideal in a commutative unital ring is termed a principal prime ideal if it satisfies the following equivalent conditions:


 * It is a principal ideal and a prime ideal
 * It is generated by a prime element (or, by zero, in the event that the ring is an integral domain)

Weaker properties

 * Principal ideal
 * Prime ideal