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