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 dada por 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.