Este artículo incluye una lista de referencias , lecturas relacionadas o enlaces externos , pero sus fuentes siguen sin estar claras porque carece de citas en línea . ( Febrero de 2015 ) |
En álgebra abstracta , una relación de congruencia (o simplemente congruencia ) es una relación de equivalencia en una estructura algebraica (como un grupo , anillo o espacio vectorial ) que es compatible con la estructura en el sentido de que las operaciones algebraicas realizadas con elementos equivalentes producirán elementos equivalentes. [1] Cada relación de congruencia tiene una estructura de cociente correspondiente , cuyos elementos son las clases de equivalencia (o clases de congruencia ) para la relación. [2]
El ejemplo prototípico de una relación de congruencia es el módulo de congruencia en el conjunto de números enteros . Para un entero positivo dado , dos enteros y se llaman módulo congruente , escrito
if es divisible por (o equivalentemente if y tienen el mismo resto cuando se divide por ).
Por ejemplo, y son módulo congruentes ,
ya que es un múltiplo de 10, o equivalentemente ya que ambos y tienen un resto de cuando se dividen por .
El módulo de congruencia (para un fijo ) es compatible con la suma y la multiplicación de números enteros. Eso es,
Si
luego
La correspondiente suma y multiplicación de clases de equivalencia se conoce como aritmética modular . Desde el punto de vista del álgebra abstracta, el módulo de congruencia es una relación de congruencia en el anillo de números enteros, y el módulo aritmético ocurre en el anillo del cociente correspondiente .
La definición de congruencia depende del tipo de estructura algebraica que se esté considerando. Se pueden hacer definiciones particulares de congruencia para grupos , anillos , espacios vectoriales , módulos , semigrupos , celosías , etc. El tema común es que una congruencia es una relación de equivalencia en un objeto algebraico que es compatible con la estructura algebraica, en el sentido de que las operaciones están bien definidas en las clases de equivalencia .
Por ejemplo, un grupo es un objeto algebraico que consta de un conjunto junto con una sola operación binaria , que satisface ciertos axiomas. Si es un grupo con operación , una relación de congruencia en es una relación de equivalencia en los elementos de satisfacer
para todos , , , . Para una congruencia en un grupo, la clase de equivalencia que contiene el elemento de identidad es siempre un subgrupo normal , y las otras clases de equivalencia son las clases laterales de este subgrupo. Juntas, estas clases de equivalencia son los elementos de un grupo cociente .
Cuando una estructura algebraica incluye más de una operación, se requiere que las relaciones de congruencia sean compatibles con cada operación. Por ejemplo, un anillo posee tanto suma como multiplicación, y una relación de congruencia en un anillo debe satisfacer
cuando sea . Para una congruencia en un anillo, la clase de equivalencia que contiene 0 es siempre un ideal de dos caras , y las dos operaciones en el conjunto de clases de equivalencia definen el anillo del cociente correspondiente.
La noción general de una relación de congruencia se puede definir formalmente en el contexto del álgebra universal , un campo que estudia ideas comunes a todas las estructuras algebraicas . En este escenario, una relación en una estructura algebraica dada se llama compatible si
Una relación de congruencia en la estructura se define entonces como una relación de equivalencia que también es compatible. [3] [4]
Si es un homomorfismo entre dos estructuras algebraicas (como el homomorfismo de grupos o un mapa lineal entre espacios vectoriales ), entonces la relación definida por
es una relación de congruencia. Según el primer teorema del isomorfismo , la imagen de A bajo es una subestructura de B isomorfa al cociente de A por esta congruencia.
Por otro lado, la relación induce un homomorfismo único dado por
Por tanto, existe una correspondencia natural entre las congruencias y los homomorfismos de cualquier estructura dada.
En el caso particular de los grupos , las relaciones de congruencia se pueden describir en términos elementales como sigue: Si G es un grupo (con elemento de identidad ey operación *) y ~ es una relación binaria en G , entonces ~ es una congruencia siempre que:
Las condiciones 1, 2 y 3 dicen que ~ es una relación de equivalencia .
Una congruencia ~ está determinada enteramente por el conjunto { a ∈ G : a ~ e } de los elementos de G que son congruentes con el elemento identidad, y este conjunto es un subgrupo normal . Específicamente, a ~ b si y solo si b −1 * a ~ e . Entonces, en lugar de hablar de congruencias entre grupos, la gente suele hablar en términos de subgrupos normales de ellos; de hecho, cada congruencia corresponde de forma única a algún subgrupo normal de G .
Un truco similar permite hablar de los núcleos en la teoría de anillos como ideales en lugar de relaciones de congruencia, y en la teoría de módulos como submódulos en lugar de relaciones de congruencia.
Una situación más general en la que este truco es posible es con los grupos Omega (en el sentido general, permitiendo operadores con aridad múltiple). Pero esto no se puede hacer con, por ejemplo, monoides , por lo que el estudio de las relaciones de congruencia juega un papel más central en la teoría de monoides .
La noción general de congruencia es particularmente útil en álgebra universal . Una formulación equivalente en este contexto es la siguiente: [4]
Una relación de congruencia en un álgebra A es un subconjunto del producto directo A × A que es tanto una relación de equivalencia en A y una subálgebra de A × A .
El núcleo de un homomorfismo es siempre una congruencia. De hecho, toda congruencia surge como un núcleo. Para una congruencia dada ~ con A , al conjunto A / ~ de clases de equivalencia se le puede dar la estructura de un álgebra de forma natural, el álgebra del cociente . La función que asigna cada elemento de A a su clase de equivalencia es un homomorfismo, y el núcleo de este homomorfismo es ~.
La celosía Con ( A ) de todas las relaciones de congruencia en un álgebra A es algebraica .
John M. Howie describió cómo la teoría de semigrupos ilustra las relaciones de congruencia en el álgebra universal: