Que $I$ sea un ideal finitamente generado de un comutativo anillo $R$. Asumir que todos los elementos de $I$ es un divisor de cero. ¿Entonces existe un $x \neq 0$ $R$ $xI=0$?
Esto es cierto si $0$ es un ideal degradables, por ejemplo si $R$ es noetheriano. Me pregunto si realmente necesitamos esto. ¿No suena verosímil? El problema es que simplemente no podemos multiplicar los elementos que matan a los generadores de $I$, el producto puede desaparecer.
