##  [Grupo Cociente](/es/node/63279) 

 Definición

El grupo cuyos elementos son las clases laterales de un subgrupo normal N en G, con multiplicación definida por (aN)(bN) = (ab)N, produciendo una estructura de grupo bien definida sobre el conjunto de clases.

 

 

 

 

 

 





## Principio

Principio

Colapsar un subgrupo normal a la identidad pasando a clases de equivalencia (cocientes); el cociente codifica el grupo ambiente módulo el subgrupo normal y refleja imágenes homomorfas.

 

 

 

 

 





## Demostración

Demostración

Dado G y un N normal, el conjunto G/N forma un grupo: por ejemplo, si N es el subgrupo de enteros pares en (Z, +), entonces Z/N tiene dos clases correspondientes a la paridad y es isomorfo a C2.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Intentar formar un cociente por un subgrupo no normal: la multiplicación de clases quedará mal definida porque el producto de representantes dependerá de los representantes elegidos.

 

 

 

 

 





## Consecuencia

Consecuencia

Los grupos cociente proporcionan imágenes homomorfas canónicas de G, permiten la clasificación por núcleos y sostienen sucesiones exactas y teoría de extensiones; reducen la complejidad al identificar todo un subgrupo normal con la identidad.

 

 

 

 

## Inversión

Inversión

Sin un subgrupo normal no se puede formar un grupo cociente de la misma manera; particiones arbitrarias de G no producen un grupo salvo que coincidan con las clases de un subgrupo normal.

 

 

 

 

 





## Límite

Límite

Definido solo cuando el subgrupo es normal en el grupo ambiente; el cociente refleja la estructura global módulo ese subgrupo y no captura la información perdida por el colapso de N.

 

 

 

 

 





## Tensión semántica

Tensión semántica

A veces se confunde con módulos cociente o particiones puramente conjuntistas; el grupo cociente es una construcción algebraica específica que requiere normalidad y una operación compatible, distinta de un simple conjunto cociente.

 

 

 

 

 





## Síntesis

Síntesis

Un grupo cociente G/N es el resultado algebraico de identificar todos los elementos de un subgrupo normal con la identidad, generando un nuevo grupo que representa a G módulo N y corresponde a imágenes homomorfas con núcleo N.