prime element

Let \(A\) be an Integral domain.

Then \(p \in A\) is said to be prime, if

1. \(p \not\in A^{\times}\) is not a unit
2. for \(p \mid \alpha \cdot \beta\) it follows that \(p \mid \alpha\) or \(p \mid \beta\).