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).

Referencias

• The Stacks project, Prime avoidance,

• Datos: Q3229333