Congruencia (álxebra)

Na Galipedia, a Wikipedia en galego.

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[editar | editar a fonte]

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 a\, e b\, teñen o mesmo resto ao dividilos por un número natural m\,, chamado o módulo; isto exprésase utilizando a notación

 a \equiv b \pmod m

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

  • a\, é congruente con b\, módulo m\,
a\equiv b\pmod m
  • O resto de a\, entre m\, é o resto de b\, entre m\,
a\; \bmod \; m = b \; \bmod \; m
m\mid a-b
  • a\, pódese escribir como a suma de b\, e un múltiplo de m\,
\exists k\in \mathbb{Z}\quad a=b+km

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 p\, e cada enteiro a\, non divisíbel por p\, temos a congruencia:

a^{p-1} \equiv 1 \pmod p.

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 x^2 - 5 \equiv 0 \pmod{11}, ten solución, e todas as súas solucións veñen dadas por x \equiv 4\pmod{11} e x\equiv 7 \pmod{11}, é dicir x\, pode ser cualquera enteiro das sucesións 11k+4\, e 11k+7\,. Contrariamente, a congruencia x^2-2 \equiv 0  \pmod{11}, 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[editar | editar a fonte]

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

  1. reflexividade:  a \equiv a \pmod m
  2. simetría: se  a \equiv b \pmod m entón tamén  b \equiv a \pmod m
  3. transitividade: se  a \equiv b \pmod m e  b \equiv c \pmod m entón tamén  a \equiv c \pmod m.
  • Se a\, é coprimo con m\, e  a \equiv b \pmod m, entón b\, tamén é coprimo con m\,.
  • Se a \equiv b \pmod m e k\, é un enteiro, entón tamén se cumpre
    • a+k \equiv b+k \pmod m
    • ka \equiv kb \pmod m
    • a^{k} \equiv b^{k} \pmod m\qquad  k>0
  • Se ademais k\, é coprimo con m\,, entón podemos encontrar un enteiro h^{-1}\,, tal que
kh^{-1} \equiv 1 \pmod m

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

\frac{a}{k} \equiv \frac{b}{k} \pmod m

onde por definición ponemos  a/k = ak^{-1}\,.

  • Como consecuencia do anterior, se temos dous congruencias con igual módulo:
 a\equiv b \pmod m e  c \equiv d \pmod m

podemos sumalas, restalas ou multiplicalas de forma que tamén se verifican as congruencias

 a+c \equiv b + d \pmod m e  ac \equiv bd \pmod m

Véxase tamén[editar | editar a fonte]

Outros artigos[editar | editar a fonte]

Ligazóns externas[editar | editar a fonte]