 In a domain, being prime implies being irreducible.The converse is true in a unique factorization domain, but false in general.The definition of ideals is such that "dividing" "I" "out" gives another ring, the "factor ring" "R" / "I"