Definition:Primal

Definition

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$.