En teoría de anillos, rama del álgebra abstracta, un anillo cociente, anillo factor o anillo de residuos es el anillo que se obtiene sobre el conjunto de clases de equivalencia de un anillo respecto a una relación de equivalencia a ∼ b {\displaystyle a\sim b} dada por a − b ∈ I {\displaystyle a-b\in I} donde I es cualquier ideal bilateral cuando las operaciones en el conjunto de clases de equivalencia son inducidas por las operaciones en el anillo original. Wikipedia