Definition:Prime Element of Ring

From ProofWiki
Jump to navigation Jump to search


Let $R$ be a commutative ring.

Let $p \in R \setminus \set 0$ be any non-zero element of $R$.

Then $p$ is a prime element of $R$ if and only if:

$(1): \quad p$ is not a unit of $R$
$(2): \quad$ whenever $a, b \in R$ such that $p$ divides $a b$, then either $p$ divides $a$ or $p$ divides $b$.

Also see

  • Results about prime elements of rings can be found here.