Se puede crear entonces, sobre el conjunto de las clases formula_31 una estructura de anillo denominada anillo cociente A/ I del anillo A por el ideal I.