Supongamos que R es un anillo conmutativo (con unidad) de característica 0 y que el conjunto Z de los divisores de cero en R forma un ideal. ¿Se deduce que la característica de R/Z es 0 ?
De forma equivalente (con menos palabrería), supongamos que el homomorfismo de anillo ι:Z→R inyecta. ¿Se deduce que ι(m) es no un divisor cero, para todo m ?
Esta proposición es válida cuando todos los divisores cero son nilpotentes:
Ejemplo: Supongamos que Z=nil(R) el nilradical de R . Entonces Z es un ideal, y si ι(m)∈Z entonces ι(mn)=0 . Aquí char(R)=0 fuerzas mn=0 Así que m=0 y char(R/Z)=0 .
Si esta proposición no se mantiene bajo mis hipótesis dadas, agradecería un contraejemplo o una nueva hipótesis sobre Z algo más restrictivo que Z formando un ideal y menos restrictivo que Z=nil(R) .