Prime avoidance lemma

Statement

Let $R$ be a commutative unital ring. Let $I_{1},I_{2},\ldots ,I_{n}$ and $J$ be ideals of $R$, such that $J\subset \bigcup _{j}I_{j}$. Then, if $R$ contains an infinite field or if at most two of the $I_{j}$s are not prime, then $J$ is contained in one of the $I_{j}$s.

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 $\bigcup _{j}I_{j}$.

Importance

The prime avoidance lemma is useful for establishing dichotomies; in particular, if $J$ is an ideal which is not cintained in any of the $I_{j}$s, then $J$ has an element which is contained in none of the $I_{j}$s.

Proof

If the ring contains an infinite field

In this case, the proof boils down to two observations:

• Any ideal of the ring is also a vector space over the infinite field
• A vector space over an infinite field cannot be expressed as a union of finitely many proper subspaces

If at most two of the ideals are not prime

The proof in this case proceeds by induction. The crucial ingredients to the proof are:

1. If two of the three elements $a,b,a+b$ belong to an ideal, so does the third (the fact that ideals are additive subgroups)
2. If, for a product $a_{1}a_{2}\ldots a_{r}$, any $a_{i}$ belongs to an ideal, so does the product
3. If a product $a_{1}a_{2}\ldots a_{r}$ belongs to a prime ideal, then one of the $a_{i}$s also belongs to that prime ideal

We now describe the proof by induction. The case $n=1$ requires no proof; the case $n=2$ follows from observation 1 (in other words, we only need to use that both are additive subgroups). Namely, suppose $J$ is not a subset of either $I_{1}$ or $I_{2}$. Pick $x_{1}\in J\setminus I_{2}$ and $x_{2}\in J\setminus I_{1}$. Clearly, $x_{1}\in I_{1},x_{2}\in I_{2}$. Then $x_{1}+x_{2}$ is in $J$, hence it must be inside $I_{1}$ or $I_{2}$. This contradicts observation 1.

For $n>2$, we use induction. Suppose, without loss of generality, that $I_{n}$ is a prime ideal. Also assume without loss of generality that $J$ is not contained in the union of any proper subcollection of $I_{1},I_{2},\ldots ,I_{n}$ (otherwise, induction applies). Thus, we can pick $x_{i}\in J\setminus \bigcup _{j\neq i}I_{j}$ for each $i$. Clearly $x_{i}\in I_{i}$.

We now consider the element:

$x_{1}x_{2}\ldots x_{n-1}+x_{n}$

This is in $J$, hence it must be in one of the $I_{i}$s. We consider two cases:

• The sum is in $I_{n}$: Then, by observation 1, $x_{1}x_{2}\ldots x_{n-1}\in I_{n}$. By observation 3, $x_{j}\in I_{n}$ for some $1\leq j\leq n-1$, a contradiction.
• The sum is in $I_{j}$ for some $1\leq j\leq n-1$: Observation 2 tells us that $x_{1}x_{2}\ldots x_{n-1}\in I_{j}$, so observation 1 yields $x_{n}\in I_{j}$, a contradiction