In matematica, e precisamente nella teoria degli anelli, un ideale primo è un ideale che ha alcune proprietà che lo rendono simile ad un numero primo nell'anello degli interi. Sarà dapprima presentata la definizione in un anello commutativo, poiché in questo caso gli ideali primi hanno una caratterizzazione più semplice, poi la generalizzazione in un anello qualsiasi.