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 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
então
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çãoA 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
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 homomorfismosSe é 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
é 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 ideaisNo 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:
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 geralUm 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 universalA 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:
Notas
Referências
|