Deje $R$ ser un anillo (con identidad) y deje $I,J$ dos coprime (de dos caras) ideales en ella.
En Álgebra: Capítulo $0$, Aluffi, III. ejercicio 4.5.
el lector se pregunta a probar que:
$$IJ=I\cap J$$
Tengo la siguiente prueba para $IJ+JI=I\cap J$:
Es evidente que $IJ+JI\subset I\cap J$, y si $i+j=1$ $i\in I$ $j\in J$ $a\in I\cap J$ tenemos: $a=ia+ja\in IJ+JI$.
Así que estaría listo si $R$ es conmutativa, sino que es no uno de los de datos.
Me pueden ayudar con una prueba o contraejemplo?
Gracias de antemano y lo siento si esto es un duplicado.