\begin{definition}[Definition:Primal]
Let $A$ be an integral domain.
An element $p \in A$ is called '''primal''' if whenever $a, b \in A$ are such that $p$ divides $a b$, then we can write $p = q_1 q_2$, with $q_1$ divides $a$ and $q_2$ divides $B$.
Category:Definitions/Ring Theory
Category:Definitions/Factorization
\end{definition}