# Relação de congruência

Na álgebra abstrata, uma relação de congruência (ou simplesmente congruência) é uma relação de equivalência em uma estrutura algébrica (como um grupo, anel ou espaço vetorial) que é compatível com a estrutura no sentido de que operações algébricas feitas com elementos equivalentes produzirão elementos equivalentes. Toda relação de congruência tem uma estrutura de quociente correspondente, cujos elementos são as classes de equivalência (ou classes de congruência) para a relação.

## Exemplo básico

O exemplo prototípico de uma relação de congruência é a congruência módulo $n$ no conjunto de inteiros. Para um dado inteiro positivo $n$, dois inteiros $a$ e $b$ são chamados de congruentes módulo $n$, escrito como
    $a\equiv b{\pmod {n}}$
if $a-b$ é divisível por $n$ (ou equivalentemente se $a$ e $b$ têm o mesmo resto quando dividido por $n$).
Por exemplo, $37$ e $57$ são congruentes módulo $10$,
    $37\equiv 57{\pmod {10}}$
visto que $37-57=-20$ é um múltiplo de $10$, ou de forma equivalente, visto que $37$ e $57$ têm um resto de $7$ quando dividido por $10$.
Congruência módulo $n$ (para um $n$ fixo) é compatível com adição e multiplicação nos inteiros. Isto é,
se
    $a_{1}\equiv a_{2}{\pmod {n}}$ e $b_{1}\equiv b_{2}{\pmod {n}}$
então
    $a_{1}+b_{1}\equiv a_{2}+b_{2}{\pmod {n}}$ ed $a_{1}b_{1}\equiv a_{2}b_{2}{\pmod {n}}$
A adição e multiplicação correspondentes de classes de equivalência são conhecidas como aritmética modular. Do ponto de vista da álgebra abstrata, congruência módulo $n$ é uma relação de congruência no anel de inteiros, e aritmética módulo $n$ ocorre no anel quociente correspondente.

## Definição

A definição de uma congruência depende do tipo de estrutura algébrica em consideração. Definições particulares de congruência podem ser feitas para grupos, anéis, espaços vetoriais, módulos, semigrupos, reticulados e assim por diante. O tema comum é que uma congruência é uma relação de equivalência em um objeto algébrico que é compatível com a estrutura algébrica, no sentido de que as operações são bem definidas nas classes de equivalência.
Por exemplo, um grupo é um objeto algébrico que consiste em um conjunto junto com uma única operação binária, satisfazendo certos axiomas. Se $G$ é um grupo com operação $\ast$, uma relação de congruência em $G$ é uma relação de equivalência $\equiv$ nos elementos de $G$ satisfazendo
    $g_{1}\equiv g_{2}\ \ \,$ e $\ \ \,h_{1}\equiv h_{2}\implies g_{1}\ast h_{1}\equiv g_{2}\ast h_{2}$
para todo $g_{1}$, $g_{2}$, $h_{1}$, $h_{2}\in G$. Para uma congruência em um grupo, a classe de equivalência que contém o elemento identidade é sempre um subgrupo normal e as outras classes de equivalência são as coclasses desse subgrupo. Juntas, essas classes de equivalência são os elementos de um grupo quociente.
Quando uma estrutura algébrica inclui mais de uma operação, as relações de congruência devem ser compatíveis com cada operação. Por exemplo, um anel possui adição e multiplicação, e uma relação de congruência em um anel deve satisfazer
    $r_{1}+s_{1}\equiv r_{2}+s_{2}\quad {\text{ e }}\quad r_{1}s_{1}\equiv r_{2}s_{2}$
sempre que $r_{1}\equiv r_{2}\quad {\text{ e }}\quad s_{1}\equiv s_{2}$. Para uma congruência em um anel, a classe de equivalência contendo 0 é sempre um ideal bilateral, e as duas operações no conjunto de classes de equivalência definem o anel quociente correspondente.
A noção geral de uma relação de congruência pode receber uma definição formal no contexto da álgebra universal, um campo que estuda ideias comuns a todas as estruturas algébricas. Neste cenário, uma relação de congruência é uma relação de equivalência $\equiv$ em uma estrutura algébrica que satisfaz
    $\mu \left(a_{1}{\text{, }}a_{2}{\text{, }}\ldots{\text{, }}a_{n}\right)\equiv \mu \left(a_{1}'{\text{, }}a_{2}'{\text{, }}\ldots{\text{, }}a_{n}'\right)$
para cada operação $n$-ária $\mu$ e todos os elementos $a_{1}{\text{, }}\ldots{\text{, }}a_{n}{\text{, }}a_{1}'{\text{, }}\ldots{\text{, }}a_{n}'$ tal que $a_{i}\equiv a_{i}'$ para todo $i=1,...,n.$

## Relação com homomorfismos

Se $f:A\,\rightarrow B$ é um homomorfismo entre duas estruturas algébricas (como homomorfismo de grupos ou um mapa linear entre espaços vetoriais), então a relação $R$ definida por
    $a_{1}\,R\,a_{2}$ se e somente se $f\left(a_{1}\right)=f\left(a_{2}\right)$
é uma relação de congruência. Pelo primeiro teorema do isomorfismo, a imagem de $A$ sob $f$ é uma subestrutura de $B$ isomórfica ao quociente de $A$ por esta congruência.

## Congruências de grupos e subgrupos normais e ideais

No caso particular de grupos, as relações de congruência podem ser descritas em termos elementares como segue: Se $G$ é um grupo (com elemento identidade $e$ e operação $\ast$) e $\sim$ é uma relação binária em $G$, então $\sim$ é uma congruência sempre que:
* Dado qualquer elemento a de $G$, $a\sim a$ (reflexividade);
* Dados quaisquer elementos $a$ e $b$ de $G$, se $a\sim b$, então $b\sim a$ (simetria);
* Dados quaisquer elementos $a$, $b$ e $c$ de $G$, se $a\sim b$ e $b\sim c$, então $a\sim c$ (transitividade);
* Dados quaisquer elementos $a$, $a'$, $b$ e $b'$ de $G$, se $a\sim a'$ e $b\sim b'$, então $a\ast b\sim a'\ast b'$;
* Dados quaisquer elementos $a$ e $a'$ de $G$, se $a\sim a'$, então $a^{-1}\sim a'^{-1}$ (isso pode ser provado a partir dos outros quatro, portanto, é estritamente redundante).
As condições 1, 2 e 3 dizem que $\sim$ é uma relação de equivalência.
Uma congruência $\sim$ é determinada inteiramente pelo conjunto $\{a\in G:a\sim e\}$ daqueles elementos de $G$ que são congruentes ao elemento identidade, e este conjunto é um subgrupo normal. Especificamente, $a\sim b$ se e somente se $b^{-1}\ast a\sim e$. Portanto, em vez de falar sobre congruências em grupos, as pessoas geralmente falam em termos de subgrupos normais deles; na verdade, toda congruência corresponde exclusivamente a algum subgrupo normal de $G$.

### Ideais de anéis e o caso geral

Um truque semelhante permite que se fale de núcleos na teoria dos anéis como ideais em vez de relações de congruência, e na teoria dos módulos como submódulos em vez de relações de congruência.
Uma situação mais geral em que esse truque é possível é com grupos Ômega (no sentido geral, permitindo operadores com aridade múltipla). Mas isso não pode ser feito com, por exemplo, monóides, então o estudo das relações de congruência desempenha um papel mais central na teoria dos monóides.

## Álgebra universal

A ideia é generalizada na álgebra universal: uma relação de congruência em uma álgebra $A$ é um subconjunto do produto direto $A\times A$ que é uma relação de equivalência em $A$ e uma subálgebra de $A\times A$.
O núcleo de um homomorfismo é sempre uma congruência. Na verdade, toda congruência surge como um núcleo. Para uma dada congruência $\sim$ em $A$, o conjunto $A/\sim$ de classes de equivalência pode receber a estrutura de uma álgebra de uma maneira natural, a álgebra de quociente. A função que mapeia cada elemento de $A$ para sua classe de equivalência é um homomorfismo, e o núcleo desse homomorfismo é $\sim$.
O reticulado $\mathbf {Con} (A)$ de todas as relações de congruência em uma álgebra $A$ é algébrico.
John M. Howie descreveu como a teoria dos semigrupos ilustra as relações de congruência na álgebra universal:
    Em um grupo, uma congruência é determinada se conhecermos uma única classe de congruência, em particular se conhecermos o subgrupo normal que é a classe que contém a identidade. Da mesma forma, em um anel, uma congruência é determinada se conhecermos o ideal, que é a classe de congruência que contém o zero. Em semigrupos, não existe tal ocorrência feliz e, portanto, somos confrontados com a necessidade de estudar congruências como tais. Mais do que qualquer outra coisa, é essa necessidade que dá à teoria dos semigrupos seu sabor característico. Semigrupos são de fato o primeiro e mais simples tipo de álgebra ao qual os métodos de álgebra universal devem ser aplicados...