El ideal formula_90 de formula_91 define al anillo cociente formula_92 al que llamamos el "anillo de los enteros módulo" formula_93