Ideal Q mit der folgenden Eigenschaft: Wenn x · y ∈ Q und x ∉ Q, dann gibt es ein n so, daß yⁿ ∈ Q.

Ein Primideal ist ein Primärideal, Potenzen eines Maximalideals (Potenz eines Ideals) sind Primärideale. Im Ring der ganzen Zahlen sind die Primärideale diejenigen Ideale, die durch Potenzen von Primzahlen erzeugt werden. Das Radikal eines Primärideals Q (Radikal eines Ideals) ist ein Primideal, das zu Q gehörige Primideal.