Saturated subset

From Commalg
Revision as of 16:34, 12 May 2008 by Vipul (talk | contribs) (2 revisions)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Definition

A subset in a commutative unital ring is termed a saturated subset if it satisfies the following equivalent conditions:

  • It contains and does not contain , it is multiplicatively closed, and if a product of two elements lies in the subset, so do both the elements.
  • It is the complement of a union of prime ideals