Un ideal primo es un Ideal de un anillo conmutativo o no-conmutativo.