Dejemos que $R$ sea un anillo conmutativo con identidad. Supongamos que $M_1, M_2, ..., M_{2n}$ son ideales máximos distintos en $R$ . Sea $\bar R=R/M_1M_2\cdots M_{2n} \cong R/M_1 \times R/M_2 \times \cdots\times R/M_{2n}$ .
¿Cuál es el significado de esta afirmación?
Dejemos que $\{ f_1,f_2,...,f_{2n}\}$ sean idempotentes de $\bar R$ correspondiente a la base estándar de $R/M_1 \times R/M_2 \times \cdots\times R/M_{2n}$ .
Además, ¿se $f_{n+i}+1=f_i$ .