Let \(R\) be a commutative ring. An element \(r\in R\) is prime if \(r\) is nonzero, \(r\) is not a unit, and for all \(a,b\in R\), \(r\divides ab\) implies \(r\divides a\) or \(r\divides b\). When is a ring element prime? What links to thisDomains and factorization