Primal ideal

In mathematics, an element a of a commutative ring A is called (relatively) 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.

References

• Fuchs, Ladislas (1950), "On primal ideals", Proceedings of the American Mathematical Society, 1: 1–6, doi:10.2307/2032421, MR 0032584.