Relação de congruência

 Nota: Este artigo é sobre a relação de congruência. Para congruência módulo n, veja Aritmética modular.

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.[1] 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.[2]

Exemplo básico

editar
  Nota: Para a operação mod binária, veja Operação módulo.

O exemplo prototípico de uma relação de congruência é a congruência módulo   no conjunto de inteiros. Para um dado inteiro positivo  , dois inteiros   e   são chamados de congruentes módulo  , escrito como

 

if   é divisível por   (ou equivalentemente se   e   têm o mesmo resto quando dividido por  ).

Por exemplo,   e   são congruentes módulo  ,

 

visto que   é um múltiplo de  , ou de forma equivalente, visto que   e   têm um resto de   quando dividido por  .

Congruência módulo   (para um   fixo) é compatível com adição e multiplicação nos inteiros. Isto é,

se

  e  

então

  ed  

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   é uma relação de congruência no anel de inteiros, e aritmética módulo   ocorre no anel quociente correspondente.

Definição

editar

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   é um grupo com operação  , uma relação de congruência em   é uma relação de equivalência   nos elementos de   satisfazendo

  e  

para todo  ,  ,  ,  . 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

 

sempre que  . 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   em uma estrutura algébrica que satisfaz

 

para cada operação  -ária   e todos os elementos   tal que   para todo  

Relação com homomorfismos

editar

Se   é um homomorfismo entre duas estruturas algébricas (como homomorfismo de grupos ou um mapa linear entre espaços vetoriais), então a relação   definida por

  se e somente se  

é uma relação de congruência. Pelo primeiro teorema do isomorfismo, a imagem de   sob   é uma subestrutura de   isomórfica ao quociente de   por esta congruência.

Congruências de grupos e subgrupos normais e ideais

editar

No caso particular de grupos, as relações de congruência podem ser descritas em termos elementares como segue: Se   é um grupo (com elemento identidade   e operação  ) e   é uma relação binária em  , então   é uma congruência sempre que:

  1. Dado qualquer elemento a de  ,   (reflexividade);
  2. Dados quaisquer elementos   e   de  , se  , então   (simetria);
  3. Dados quaisquer elementos  ,   e   de  , se   e  , então   (transitividade);
  4. Dados quaisquer elementos  ,  ,   e   de  , se   e  , então  ;
  5. Dados quaisquer elementos   e   de  , se  , então   (isso pode ser provado a partir dos outros quatro, portanto, é estritamente redundante).

As condições 1, 2 e 3 dizem que   é uma relação de equivalência.

Uma congruência   é determinada inteiramente pelo conjunto   daqueles elementos de   que são congruentes ao elemento identidade, e este conjunto é um subgrupo normal. Especificamente,   se e somente se  . 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  .

Ideais de anéis e o caso geral

editar

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

editar

A ideia é generalizada na álgebra universal: uma relação de congruência em uma álgebra   é um subconjunto do produto direto   que é uma relação de equivalência em   e uma subálgebra de  .

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   em  , o conjunto   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   para sua classe de equivalência é um homomorfismo, e o núcleo desse homomorfismo é  .

O reticulado   de todas as relações de congruência em uma álgebra   é 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...[3]
  1. Hungerford, Thomas W.. Algebra. Springer-Verlag, 1974, p. 27
  2. Hungerford, 1974, p. 26
  3. J. M. Howie (1975) An Introduction to Semigroup Theory, page v, Academic Press

Referências

editar
  • Horn and Johnson, Matrix Analysis, Cambridge University Press, 1985. ISBN 0-521-38632-2. (Seção 4.5 discute congruência de matrizes.)
  • Rosen, Kenneth H (2012). Discrete Mathematics and Its Applications. [S.l.]: McGraw-Hill Education. ISBN 978-0077418939