Grupo cociente

Grupo cociente

En teoría de grupos, dado un grupo G y un subgrupo normal N de G, el grupo cociente o grupo factor de G sobre N es, intuitivamente, el grupo que "colapsa" el grupo normal N al elemento neutro. El grupo cociente se denota por G/N, lo que normalmente se lee en español como "G sobre N".

Contenido

Producto de subconjuntos de un grupo

En la siguiente discusión, se definirá una operación binaria en los subconjuntos de G: dados dos subconjuntos S y T de G, se define su producto como:

ST = \{ st | s \in S \textrm{~y~} t \in T \}.

Esta operación es asociativa, y tiene por elemento neutro al conjunto {e}, donde e es el neutro de G. El conjunto de los subconjuntos de G forma entonces un monoide bajo esta operación.

En términos de dicha operación se puede primero definir lo que es un grupo cociente, y luego un subgrupo normal:

Un grupo cociente de un grupo G es una partición de G en la cual la operación de producto de subconjuntos sea cerrada.

No es difícil demostrar que basta con esta condición, aparentemente débil, para que un "grupo cociente" sea, efectivamente, un grupo con la operación definida. Dicha partición está completamente determinada por el conjunto que contiene a e. Un subgrupo normal de G es entonces el conjunto que contiene a e en una de tales particiones. Los otros conjuntos son entonces las clases laterales de este subgrupo normal.

Equivalentemente, un subgrupo N de un grupo G es normal si y sólo si sus clases laterales derechas e izquierdas coinciden; esto es, aN = Na para todo aG. En términos del producto de subconjuntos, un subgrupo normal de G es uno que conmuta con cualquier subconjunto de G.

Definición

Se define entonces G/N como el conjunto de clases laterales izquierdas de N en G, esto es:

G/N = \{ aN | a \in G \}.

La operación de grupo en G/N es el producto de subconjuntos antes definido. Para que esta operación sea cerrada, (aN)(bN) deberá ser también una clase lateral izquierda para cualesquiera a y b en G, lo cual se demuestra fácilmente:

(aN)(bN) = a(Nb)N = a(bN)N = (ab)NN = (ab)N.

Como se puede ver, la normalidad de N se usa ya en esta igualdad, y por lo tanto, el mismo resultado vale para N\G, el conjunto de clases laterales derechas de G (que, de hecho, es el mismo conjunto que G/N). Puesto que la operación deriva del producto de subconjuntos de G, está bien definida (es decir, no depende de los representantes de la clase), asociativa, y tiene a N por elemento neutro.

El elemento inverso de aN en G/N será, según la ecuación anterior, a−1N, lo cual completa la demostración de que G/N forma un grupo con el producto de subconjuntos.

Ejemplos

Sea Z el grupo de enteros con la adición, y el subgrupo 2Z conformado por los enteros pares; éste es un subgrupo normal, puesto que Z es abeliano. Sólo hay dos clases laterales: los conjuntos de enteros pares e impares respectivamente; por lo tanto, el grupo cociente Z/2Z es el grupo cíclico de dos elementos. Éste es isomorfo al grupo Z2, que es el conjunto { 0, 1 } con adición módulo 2, y de hecho, se toma a veces Z/2Z como la definición de Z2, identificando el conjunto de los pares con 0 y el de los impares con 1.

Sea R el grupo conformado por los reales con la adición, y el subgrupo Z de los enteros. Las clases laterales de Z son conjuntos de la forma a + Z, con 0 ≤ a < 1 un número real. La suma de dichas clases se realiza sumando los correspondientes reales, y restando 1 si el resultado es mayor o igual que 1. El grupo R/Z es entonces isomorfo al grupo circular S1 de números complejos de valor absoluto 1 bajo la multiplicación, o también, el grupo de rotaciones en el plano cartesiano en torno al origen, esto es, el grupo ortogonal especial SO(2). Un posible isomorfismo sería a + Z → eia (por la identidad de Euler).

Si G es el grupo multiplicativo de matrices reales invertibles de tamaño 3×3, y N es el subgrupo de matrices con determinante 1, entonces N es normal en G (por ser el núcleo del homomorfismo determinante). Las clases laterales de N son los conjuntos de matrices con determinante dado, con lo cual G/N es isomorfo al grupo multiplicativo de los reales distintos de 0.

Sea el grupo abeliano Z4 = Z/4Z (esto es, el conjunto { 0, 1, 2, 3 } bajo la suma módulo 4), y sea N su subgrupo { 0, 2 }. El grupo cociente Z4/N es { { 0, 2 }, { 1, 3 } }, con elemento neutro { 0, 2 }. Tanto éste como el grupo N son isomorfos a Z2, el grupo cíclico de dos elementos.

Propiedades

Claramente, G/G es isomorfo al grupo trivial (de un solo elemento), y G/{e} es isomorfo a G.

El orden de G/N es por definición igual a [G:N], el índice de N en G. Si G es finito, este índice es igual a |G|/|N|; es posible, sin embargo, G/N puede ser finito, aunque G y N sean ambos infinitos (ejemplo: Z/2Z).

Hay un homomorfismo sobreyectivo "natural" π : GG/N, definido por π(g) = gN. La función π se denomina comúnmente proyección canónica de G sobre G/N. Su núcleo es N.

La proyección π induce una correspondencia biyectiva (de hecho, un isomorfismo de retículos) entre los subgrupos de G que contienen a N y los subgrupos de G/N: si H es un subgrupo de G con NH, el correspondiente subgrupo de G/N es π(H). Esta correspondencia preserva la normalidad de los subgrupos de uno y otro grupo.

Varias propiedades importantes de los grupos cocientes se recogen en el teorema fundamental de homomorfismos.

Si G es cíclico, finitamente generado, abeliano, nilpotente o soluble, entonces también lo será G/N.

Si H es un subgrupo de un grupo finito G, y el orden de H es la mitad del orden de G, entonces H es un subgrupo normal de G, con lo que G/H está bien definido y es isomorfo al grupo cíclico de dos elementos, Z2. Este resultado se puede enunciar como "todo subgrupo de índice 2 es normal", y en esta forma vale también para grupos infinitos.

Todo grupo es isomorfo a un cociente de un grupo libre.

Véase también

  • Ideal de un anillo, el equivalente en teoría de anillos a un subgrupo normal.

Wikimedia foundation. 2010.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • Grupo — (del italiano gruppo), la pluralidad de elementos que forman un conjunto, puede hacer referencia a: Contenido 1 En matemáticas 2 En astronomía 3 En física …   Wikipedia Español

  • Grupo cíclico — Las seis raíces complejas 6 ésimas de la unidad forman un grupo cíclico bajo la multiplicación. z es un elemento generador de este grupo cíclico o elemento primitivo, pero z2 no lo es, porque las potencias impares de z no son representables como… …   Wikipedia Español

  • Grupo nilpotente — En la teoría de grupos, un grupo nilpotente es un grupo que es casi abeliano. En forma más precisa, aplicando repetidamente la operación commutación, [x,y] = x 1y 1xy a cualesquiera elementos del grupo obtenemos la identidad. Los grupos… …   Wikipedia Español

  • Grupo abeliano — Dada una estructura algebraica sobre un conjunto A, y con una operación o ley de composición interna binaria: . Se dice que la estructura es un Grupo abeliano con respecto a la operación si: tiene estructura algebraica Grupo tiene la Propiedad… …   Wikipedia Español

  • Grupo resoluble — Definición Un grupo G se dice resoluble si existe una cadena finita de subgrupos tal que: donde para cada se cumple que: Gi es subgrupo normal en Gi + 1, notado usualmente como …   Wikipedia Español

  • cociente de inteligencia — (CI) Expresión numérica del nivel intelectual de una persona, medida en comparación con la media estadística de su grupo de edad. Existen varias escalas tradicionales, en las que se divide la edad mental, determinada mediante pruebas psicológicas …   Diccionario médico

  • Cociente de Espectro Autista — El Cociente de Espectro Autista es un cuestionario publicado[1] en 2001 por Simon Baron Cohen y sus colegas en el Centro para la Investigación del Autismo en Cambridge, Reino Unido. Consta de 50 preguntas, y su propósito es determinar el grado en …   Wikipedia Español

  • Cociente intelectual — «IQ» redirige aquí. Para la banda de rock progresivo, véase IQ (banda). Los C.I. de una población de muestra lo bastante grande pueden representarse con una distribución normal. El cociente intelectual, abreviado CI (en inglés intelligence… …   Wikipedia Español

  • Grupo discreto — En matemáticas, un grupo discreto es un grupo G, provisto con una topología discreta. Con esta topología G se convierte en un grupo topológico. Un subgrupo discreto de un grupo topológico G es un subgrupo H, cuya topología relativa es discreta.… …   Wikipedia Español

  • Grupo libre — grafo de Cayley del grupo libre de dos generadores, a y b. En teoría de grupos, un grupo G se dice libre si hay un subconjunto S de G, tal que todo elemento de G puede escribirse en una forma única como producto de finitos elementos de S y sus… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”