For an integral extension from A to B, every one of these objects in B “lies over” another in A by one of the Cohen-Seidenberg theorems. The intersection of all of these objects is the set of nilpotent elements, called the nilradical. These objects correspond to irreducible subvarieties by the Nullstellensatz. The Zariski topology is defined on the set of these objects, which is the spectrum of a (*) ring. A set S is one of these subsets if and only if the quotient R over S is an integral domain. If an element xy is in one of these subsets, then exactly one of x or y is an element as well in a generalization of Euclid’s lemma. In a Dedekind ring, every proper ideal has a unique factorization into these ideals. For 10 points, name these ideals that, in the ring of integers, include the multiples of two, three, five, and seven. ■END■
ANSWER: prime ideals [prompt on primary ideal or maximal ideal; accept prime alone after “ideal” is read, but prompt beforehand]
<S, Other Science>
= Average correct buzz position