Licenciatura en Matemáticas
Asignatura: Algebra Moderna 1
Unidad 3. Teoremas Principales
Actividad 2. Producto de Subgrupos
Alumna: Elda Josefina Vázquez Calderón
Grupo: MT-MAMD1-2301-B2-001
Docente: Lic. Miguel Ángel Márquez Hidalgo
Teorema, definición
Un teorema es un enunciado que puede ser demostrado como verdadero mediante operaciones matemáticas y argumentos lógicos. En
matemática, un teorema es una proposición teórica, enunciado o fórmula que incorpora una verdad, axioma o postulado que es
comprobada por otros conjuntos de teorías o fórmulas.
Ejemplo de subgrupo
Producto de Subgrupos normal Homomorfismos de Grupos
Dados dos subconjuntos no vacíos H y K de un grupo G, el Sea G un grupo Un homomorfismo de grupos G y H
conjunto abeliano. Todo subgrup es una aplicación f : G → H tal que
HK = {g = xu / x ∈ H, u ∈ K} H de G para cualesquiera g1, g2 ∈ G se
de todos los resultados de operar un elemento de H con otro de Es un grupo normal. cumple:
K, se nombra como el producto de H por K. Suponiendo que H y Como gh=hg para todo f(g1g2) = f(g1) f(g2).
K sean subgrupos, en general HK no va a ser otro subgrupo. g∈ 𝐺 𝑦 ℎ ∈ 𝐻 ,
Proposición 01: Siempre se cumple que
Si H y K son subgrupos de un grupo abeliano G, se cumple que Gh=Hg
HK es otro subgrupo de G.
Teoremas y
Primer Teorema: Sea f:G→H un homomorfismo de grupos. Entonces
ejemplos de
existe un isomorfismo f ̅:G/(ker f)→im f , y por tanto G/(ker f)≅im f Donde π:G→G/kerf es
Isomorfía
La construcción del isomorfismo cuya existencia afirma el primer teorema la proyección canónica
Los teoremas de
de isomorfismo se puede expresar mediante el diagrama conmutativo de G en G/kerf en .
isomorfismo o,
siguiente:
más propiamente,
teoremas de
isomorfismo de
Noether, son tres Segundo teorema
resultados Si N y H son subgrupos con un grupo G, con N normal en G, entonces
importantes de la si H/(H∩N)≅(HN)/N.
teoría de grupos. Este segundo teorema se deduce el primero, pues si N es normal a G
Estos teoremas entonces lo es H∩N
relacionan a los En H, y puede demostrarse el hepimorfismo
grupos con sus φ:H→(HN)/N
grupos cociente, y h→hN
son de gran
utilidad para
construir
isomorfismos entre Tercer Teorema
diversos grupos y Si N y H son subgrupos normales de un grupo G con N ▁C H, entonces Donde φ1 φ2 son proyecciones
grupos cociente. G/H≅(G/N)(H/N) canónicas, id es la aplicación
El cual da lugar al diagrama conmutativo siguiente identidad y donde las flechas
horizontales forman una sucesión de
homomorfismos exacta
REFERENCIAS
UnADM Matemáticas/Algebra Moderna 1/Contenido nuclear Unidad 3 Teoremas
Principales/Actividad 1 Grupos Normales/México D.F. Diciembre 2015
David XC. Lay, Linear Algebra and its applications, Addison Wesley 1994.
Gene H. Golub, Charles F. van Loan, Matrix Computation, Third Ed. John Hopkins Univ. Press,
1996.
Kurmyshev, E.V. (2003). Fundamentos de métodos matemáticos para física e ingeniería.
México: Editorial Limusa.
