Kerneles y subgrupos normales - [Detalles]
Se define el kernel de un homomorfismo y se define el concepto de subgrupo normal, se muestra que en grupos abelianos todos los subgrupos son normales.
Conjugación y conjugados - [Detalles]
Se define la relación de conjugación entre elementos de un grupo, y también la conjugación entre subgrupos.
Se define el concepto de grupo cociente, se demuestra que es en efecto un grupo y se muestra que la función cociente es un homomorfismo con kernel el subgrupo en cuestión.
Subgrupo conmutador - [Detalles]
Se define el conmutador de dos elementos y se define el subgrupo conmutador, se demuestra que el cociente módulo el conmutador es abeliano y es mínimo con esa propiedad.
El teorema de la correspondencia - [Detalles]
Se enuncia y demuestra el teorema de la correspondencia.
Conjugación como relación de equivalencia - [Detalles]
Se explica la relación de conjugación y se demuestran algunas propiedades, se define el centro de un grupo.
Centralizadores y clases de conjugación - [Detalles]
Se definen los centralizadores y se exploran propiedades de las clases de conjugación.
Subgrupos conjugados y normalizadores - [Detalles]
Se define la relación de conjugación entre subgrupos de un grupo y se definen los normalizadores.
Álgebra Moderna I: Relación de equivalencia dada por un subgrupo e índice de H en G - [Detalles]
En esta entrada definiremos una relación de equivalencia en un grupo. Nos referimos al grupo de los enteros con la suma (Z,+) en el cual es posible establecer una relación de equivalencia que induce a una partición con exactamente n conjuntos.
Álgebra Moderna I: Subgrupo Conjugado, Subgrupo Normal y Conmutatividad Parcial - [Detalles]
En esta entrada definiremos un producto entre dos clases izquierdas usando el producto en G. Para lo cual necesitamos dar formalmente que es un conjugado y un subgrupo N normal de G.
Álgebra Moderna I: Teoremas y Proposiciones relacionadas con subgrupos normales y grupo Alternante. - [Detalles]
Es fácil verificar que toda clase lateral derecha es una clase lateral izquierda y viceversa. En esta entrada, nos centraremos en demostrar formalmente este resultado y otros teoremas mas que sumen a las propiedades de subgrupos normales y el grupo alternante.
Álgebra Moderna I: Grupo Cociente - [Detalles]
La definición de subgrupos normales surgió de la necesidad de extender las propiedades de los enteros a grupos más generales. En los enteros, definimos una relación de equivalencia (módulo n) que nos permite obtener clases de equivalencia. Estas clases no solo generan una partición, sino que también constituyen un subgrupo de Z. La idea central es generalizar este concepto: buscamos definir una operación en ciertas clases de equivalencia para que también formen un grupo.
Álgebra Moderna I: Subgrupo Conmutador - [Detalles]
En esta entrada, el propósito es inicialmente establecer la noción de conmutador entre dos elementos del grupo G. Posteriormente, se pretende definir el conjunto generado por todos los conmutadores en el grupo. Estos pasos se dan con el fin de crear un grupo cociente abeliano, a pesar de que el grupo original G no lo sea.