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.[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
editarO 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
editarA 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
editarSe é 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
editarNo 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:
- Dado qualquer elemento a de , (reflexividade);
- Dados quaisquer elementos e de , se , então (simetria);
- Dados quaisquer elementos , e de , se e , então (transitividade);
- Dados quaisquer elementos , , e de , se e , então ;
- 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
editarUm 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
editarA 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]
Notas
editar- ↑ Hungerford, Thomas W.. Algebra. Springer-Verlag, 1974, p. 27
- ↑ Hungerford, 1974, p. 26
- ↑ 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