En Álgebra abstracta se ve que la aritmética modular es un caso especial del proceso de crear un anillo factorial de un anillo módulo un ideal.