Em teoria dos anéis, o anel quociente é uma forma de simplificar um anel, tratando como iguais elementos distintos do anel.

Em outras palavras, seja A um anel, e S um subconjunto (cujas propriedades serão determinadas com mais cuidado abaixo) de A. O anel quociente A/S deve ser o mais parecido com A que se possa, sujeito à regra que elementos de S são igualados a zero.

A forma de fazer isso é construir algum conjunto A/S, e definir um homomorfismo de anéis , de forma que .