Um ideal primo é um ideal que generaliza o papel que um número primo tem nos inteiros. Assim como pode-se caracterizar um primo pela propriedade se p divide ab, então p divide a ou p divide b, um ideal primo tem a propriedade que se um produto pertence ao ideal, então um dos fatores pertence ao ideal também.