Complete system of prime ideals: Difference between revisions

From Commalg
m (2 revisions)
 
(No difference)

Latest revision as of 16:19, 12 May 2008

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.