Monografias.com > Matemáticas
Descargar Imprimir Comentar Ver trabajos relacionados

El grupo cociente



Partes: 1, 2

  1. Introducción
  2. Preliminares
  3. Subgrupo normal
  4. Grupo
    cociente
  5. Homomorfismos
  6. Referencias

Introducción

Cuando un novel estudiante de álgebra abstracta
se enfrenta a expresiones como grupo cociente, espacio cociente,
cree y con justificada razón, que se enfrentará a
conjunto de cocientes, finalmente se resigna a saber que esto no
es así, lo cual no significa que sean conceptos
difíciles de asimilar. EL objetivo de esta
monografía es definir y ejemplificar la idea de grupo
factor, también llamado GRUPO COCIENTE debido a la
notación empleada, el cual es un conjunto de conjuntos
llamados clases laterales que posee una estructura algebraica, la
de grupo, es decir, sobre dicho conjunto se ha definido una
operación binaria que cumple ciertas condiciones; se
enfatiza el hecho que no siempre el conjunto de clases laterales
tendrá la estructura de grupo, pequeño
inconveniente que fue salvado por Evaristo Galois al introducir
la brillante idea de SUBGRUPO NORMAL.

Preliminares

Monografias.com

Una relación de equivalencia produce una
partición del conjunto en subconjuntos o celdas como
veremos más adelante.

Nota 01.- La relación
también puede ser definida como

Monografias.com

DEFINICIÓN 01:

Monografias.com

De manera que el conjunto Monografias.comqueda particionado en celdas, las cuales son
disjuntas, al conjunto Monografias.comtambién se le denomina clase de
equivalencia.
Donde Monografias.comes llamado representante de la
clase.

Monografias.com

Teorema 01.-

Monografias.com

DEFINICIÓN 02:

Monografias.com

Análogamente se puede definir clase lateral
derecha.

Se tiene que:

Monografias.com

Luego Monografias.comes
decir las clases de equivalencia (congruencia derecha) son las
clases laterales derechas.

A continuación veremos un ejemplo de cómo
un conjunto es particionado en celdas a partir de una
relación de equivalencia. Este ejemplo es importarte y
sirve para ejemplificar muchos conceptos que son tratados en
álgebra abstracta como el concepto que aquí nos
ocupa, el de GRUPO COCIENTE.

Nota 02.- Hasta aquí ya es
posible demostrar el importantísimo teorema de
Lagrange.

Ejemplo: Congruencia módulo n en el conjunto
de los enteros.

Monografias.com

Es fácil ver que el conjunto de los
números enteros se partió o dividió en dos
subconjuntos o clases: los enteros divisibles por dos y los
enteros que no son divisibles por dos.

Monografias.com

Es fácil ver que el conjunto de los
números enteros se divide en tres subconjuntos o
clases:

Monografias.com

Subgrupo
normal

DEFINICIÓN 03:

Monografias.com

Así se tiene que:

Monografias.com

El poder identificar los elementos de Monografias.comcon las aplicaciones
definidas anteriormente se debe a la poderosa idea de
isomorfismo, a través del cual dos conjuntos son
indistinguibles desde el punto de vista algebraico.

La tabla obtenida al realizar todas las posibles
"multiplicaciones" entre los elementos de Monografias.comse muestra más abajo.

Monografias.com

La tabla para el grupo será:

Monografias.com

De la tabla se puede deducir que:

Monografias.com

Teorema 02.-

Monografias.com

Hasta aquí hemos visto que un grupo puede ser
dividido en celdas, ¿será posible operar con estas
celdas?

DEFINICIÓN 04:

Monografias.com

Nota 05.-

Monografias.com

Ya tenemos los elementos necesarios construir nuestro
grupo, pues hablar de grupo implica tener un conjunto (como el
conjunto de clases laterales derechas o bien izquierdas),
¡ya lo tenemos! y una operación binaria ¡ya la
definimos! , ¿Podemos formar un grupo? veamos:

Grupo
cociente

Teorema 03.-

Monografias.com

Nótese que la definición de Monografias.comse hace para clases
derechas, igualmente resulta si se hace para clases
izquierdas.

Debe quedar claro que la idea de subgrupo normal es
aquí primordial, puesto que para cualquier subgrupo
Monografias.comde Monografias.comel conjunto de clases
laterales derechas o izquierdas no siempre será un grupo
con la operación inducida como podemos ver en
el:

Partes: 1, 2

Página siguiente 

Nota al lector: es posible que esta página no contenga todos los componentes del trabajo original (pies de página, avanzadas formulas matemáticas, esquemas o tablas complejas, etc.). Recuerde que para ver el trabajo en su versión original completa, puede descargarlo desde el menú superior.

Todos los documentos disponibles en este sitio expresan los puntos de vista de sus respectivos autores y no de Monografias.com. El objetivo de Monografias.com es poner el conocimiento a disposición de toda su comunidad. Queda bajo la responsabilidad de cada lector el eventual uso que se le de a esta información. Asimismo, es obligatoria la cita del autor del contenido y de Monografias.com como fuentes de información.

Categorias
Newsletter