Sea $R$ un anillo conmutativo con identidad. He estado tratando de probar lo siguiente:
Si $S \subset R$ es un conjunto multiplicativo máximo, entonces $R \setminus S$ es un ideal primo de $R$.
He pasado algún tiempo en él, pero nada me viene a la mente. Cualquier idea/solución será apreciada.
