Prime avoidance lemma

From Commalg
Revision as of 10:13, 7 August 2007 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Let R be a commutative unital ring. Let I1,I2,,In and J be ideals of R, such that JjIj. Then, if R contains an infinite field or if at most two of the Ijs are prime, then J is contained in one of the Ijs.

Graded version

If R is graded, and J is generated by homogeneous elements of positive degree, then it suffices to assume that the homogeneous elements of J are contained in jIj.