A prime element of a commutative ring is said to be prime if it is not the zero element or a unit and whenever for some , then or