Primal ideal
In mathematics, an element a of a commutative ring A is called prime to an ideal Q if whenever ab is an element of Q then b is also an element of Q.
A proper ideal Q of a commutative ring A is said to be primal if the elements that are not prime to it form an ideal.
