Definicin de congruencia. Si a y b son enteros y m es un entero positivo, entonces se dice que a ser congruente con b mdulo m si a
.

Esto se denota como b es un mltiplo de    m recibe el nombre de mdulo de la congruencia y b recibe el nombre de residuo de a(mod m). Si  , entonces , para algn entero k. Definicin de congruencia lineal. Una congruencia de la forma  , donde m es un entero positivo, a, b y x (desconocido) son enteros, se llama congruencia lineal. Cualquier valor de x que satisfaga  , se denomina solucin de la congruencia. Cualquier valor de x que es solucin de la congruencia  , se denomina inverso de un mdulo m. Teorema. Si a y b son primos relativos, entonces la congruencia   tiene una solucin nica o el inverso de a mdulo m es nico.

Ejercicio de congruencia lineal 4x   . mcd(4,7)=1. La solucin se obtiene determinando m y n tales que 4m+7n=1. Evidentemente m=2 y n=-1. Por tanto 4(2)+7(-1)=1 y por ello 4(6)+7(-3)=3 o tambin 4(12)+7(6)=6 por tanto x=6 es una solucin de la congruencia dada. En forma modular x   . Esto significa que x= ,-8,-1,6,13,20, satisfacen la congruencia dada. Nota: 4m+7n=1; por el algoritmo de Euclides 7=4(1)+3 por tanto 3=7-4x1 4=3(1)+1 por tanto 1=4-3x1=4-(7-4x1)=4-7+4=2x4+(-1)x 7. As m=2 y n=-1

43 = 2(21) + 1 21 = 2(10) + 1 10 = 2(5) + 0 5 = 2(2) + 1 2 = 2(1) + 0 1 = 2(0) + 1