Prime Ideal - Important Facts

Important Facts

  • Prime avoidance lemma: If R is a commutative ring, and A is a subring (possibly without unity), and I1,...,In is a collection of ideals of R with at most two members not prime, then if A is not contained in any Ij, it is also not contained in the union of I1,...,In. In particular, A could be an ideal of R.
  • If S is any m-system in R, then a lemma essentially due to Krull shows that there exists an ideal of R maximal with respect to being disjoint from S, and moreover the ideal must be prime. In the case {S}={1}, we have Krull's theorem, and this recovers the maximal ideals of R. Another prototypical m-system is the set of all positive powers of a non-nilpotent element.
  • For a prime ideal P, the complement R\P has another property beyond being an m-system. If xy is in R\P, then both x and y must be in R\P, since P is an ideal. A set which contains the divisors of its elements is called saturated.
  • For a commutative ring R, there is a kind of converse for the previous statement: If S is any nonempty saturated and multiplicatively closed subset of R, the complement R\S is a union of prime ideals of R.
  • The union and the intersection of a chain of prime ideals is a prime ideal. With Zorn's Lemma, this implies that the poset of prime ideals (partially ordered by inclusion) has maximal and minimal elements.

Read more about this topic:  Prime Ideal

Famous quotes containing the words important and/or facts:

    We simply must have faith in each other, faith in our ability to govern ourselves, and faith in the future of this Nation. Restoring that faith and that confidence to America is now the most important task we face.
    Jimmy Carter (James Earl Carter, Jr.)

    The sway of alcohol over mankind is unquestionably due to its power to stimulate the mystical faculties of human nature, usually crushed to earth by the cold facts and dry criticisms of the sober hour. Sobriety diminishes, discriminates, and says no; drunkenness expands, unites, and says yes.
    William James (1842–1910)