Lema de evitación de ideales primos
# 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\not \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).

