Se dice que un elemento formula_50 de un dominio es un elemento primo (o simplemente primo) si el ideal generado por formula_50 es ideal primo de formula_18.