La ecuación ax≡b módulo n tiene solución exactamente cuando d=mcd(a,n) divide a b. Si lo hace, divide a, b, n por d para obtener una ecuación con coeficiente invertible. Tiene una solución de residuo módulo n/d y d soluciones distintas módulo n. Dividir el coeficiente pero dejar el módulo original generalmente pierde soluciones. La factorización prima proporciona otra herramienta de divisibilidad: si n^k debe ser divisible por un producto de potencias primas p^a, cada exponente primo en n debe ser al menos ceil(a/k). Estos exponentes mínimos producen independientemente el menor entero admisible positivo n. Para n⁴ divisible por 2⁷·3⁵, n debe contener 2² y 3², así que el valor mínimo es 36. Esta es una condición de exponentes primos, no una congruencia resuelta por división modular.
El algoritmo extendido de Euclides expresa gcd(a,n) como ua+vn. Cuando el mcd es 1, u es un inverso de a módulo n. Elige un representante en el rango requerido tras la reducción. Para 7 y 26, 1=15·7−4·26, por lo que 15 es el inverso de 7 módulo 26; verifica el producto para detectar errores de signo.
Para módulos positivos coprimos m,n, el teorema chino del resto da exactamente una solución módulo mn para cada par de condiciones de residuo. Sustituye x=r+mk en la segunda congruencia y resuelve para k. Si los módulos no son coprimos, sus valores de residuo deben coincidir módulo gcd(m,n); cuando son consistentes, la unicidad es módulo el mínimo común múltiplo, no el producto.
El totiente de Euler phi(n) cuenta los residuos coprimos a n. Para divisores primos distintos p, phi(n)=n veces el producto de (1−1/p). El teorema de Euler da a^phi(n)≡1 solo cuando gcd(a,n)=1. El caso primo es el pequeño teorema de Fermat. Reduce exponentes solo después de verificar esta condición; un no-unitario puede volverse cero bajo potencias repetidas en cambio.