Complete system of prime ideals

From Commalg

BEWARE! This term is nonstandard and is being used locally within the wiki. For its use outside the wiki, please define the term when using it.
Learn more about terminology local to the wiki OR view a complete list of such terminology

Definition

Let be a commutative unital ring. A collection of prime ideals in is termed a complete system of prime ideals for if is the intersection of its localizations at each of these prime ideals.

Facts

The collection of all maximal ideals is complete for any ring. For full proof, refer: Ring equals max-localization intersection. We can imagine this intersection as being performed in the total quotient ring.