Lema de evitación de ideales primos

En álgebra, el lema de evitación de ideales primos dice que si $R$ es un anillo, $J\subset R$ un ideal y $I_1,\dots ,I_n\subset R$ ideales primos, tales que $J\subset ̸I_i$ para todo $i=1,\dots ,n$. Entonces existe $x\in J$ tal que $x\notin I_i$ para todo $i$.

Hay muchas variantes de este lema (cf. The Stacks project).

Referencias

• The Stacks project, Prime avoidance,