Primidealer er en generalisering av primtallene i . Et tall ∈ sies å være et primtall dersom det tilfredsstiller følgende egenskap: dersom | så har vi enten at | eller | . Oversatt til idealer betyr dette at er et primtall hvis ∈ impliserer at enten ∈ eller ∈ ().