Complete system of prime ideals
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.