Congruencia (álxebra)

En matemáticas, en particular en álxebra abstracta, unha relación de congruencia ou simplemente congruencia é unha relación de equivalencia que é compatíbel con algunhas operacións alxébricas.

 Aritmética modular 
O exemplo típico de congruencia é a congruencia sobre os enteiros da aritmética modular.

Na teoría de números, o termo congruencia úsase para designar que dous números enteiros  e  teñen o mesmo resto ao dividilos por un número natural , chamado o módulo; isto exprésase utilizando a notación 

que se expresa dicindo que  é congruente con  módulo . 
As seguintes expresións son equivalentes:
  é congruente con  módulo 

 O resto de  entre  é o resto de  entre 

  divide exactamente á diferenza de  e 

  pódese escribir como a suma de  e un múltiplo de 

O termo congruencia utilízase ademais con dous sentidos lixeiramente diferentes:

Por un lado, co sentido de identidade matemática. Como exemplo deste uso temos o pequeno teorema de Fermat que asegura que para cada primo  e cada enteiro  non divisíbel por  temos a congruencia:

Por outro lado utilízase no sentido de ecuación, onde aparecen unha ou máis incógnitas, preguntámonos se unha congruencia ten solución e, en caso afirmativo, cales son todas as súas solucións. Por exemplo, a congruencia , ten solución, e todas as súas solucións veñen dadas por  e , é dicir  pode ser calquera enteiro das sucesións  e . Contrariamente, a congruencia , non ten solución.

A notación e a relación foron introducidas na terminoloxía por Carl Friedrich Gauss no seu libro Disquisitiones Arithmeticae en 1801. A súa utilización estendeuse a moitos outros ámbitos nos que podemos falar de divisibilidade, por exemplo, a polinomios con coeficientes nun corpo, a ideais de aneis de números alxébricos etc.

 Propiedades 
A relación de congruencia ten moitas propiedades en común coa igualdade. Por citar algunhas:

 A congruencia para un módulo fixo  é unha relación de equivalencia xa que se verifican as propiedades:
 reflexividade: 
 simetría: se  entón tamén 
 transitividade: se  e  entón tamén .

 Se  é coprimo con  e , entón  tamén é coprimo con .
 Se  e  é un enteiro, entón tamén se cumpre 



 Se ademais  é coprimo con , entón podemos encontrar un enteiro , tal que

e entón ten perfecto sentido falar da división e tamén é certo que

onde por definición ponemos .

 Como consecuencia do anterior, se temos dous congruencias con igual módulo:
 e 
podemos sumalas, restalas ou multiplicalas de forma que tamén se verifican as congruencias
 e 

 Véxase tamén 
 Outros artigos 
 Aritmética modular
 Resolución de congruencias
 Clase de equivalencia

 Ligazóns externas 

 Weisstein, Eric W. Congruence en MathWorld. Wolfram Research.  Consultada o 23/12/20123.
 Congruencias. Lecciones de Algebra. Jaime Gutiérrez Gutiérrez y Carlos Ruiz de Velasco y Bellas. PDF   Consultada o 23/12/20123.

Categoría:Álxebra

ca:Congruència
cs:Kongruence
de:Kongruenzrelation
en:Congruence relation
es:Congruencia (teoría de números)
he:קונגרואנציה
nl:Congruentie (rekenkunde)
pl:Kongruencja (algebra)
pt:Congruência (álgebra)
ru:Конгруэнция
sv:Kongruensrelation
zh:同餘關係