El homomorfismo inducido por un cubriente - [Detalles]
En este video demostramos que el homomorfismo inducido en grupos fundamentales por una proyección cubriente es inyectivo. Este resultado es una consecuencia del teorema de levantamiento de homotopías.
Álgebra homológica - naturalidad del homomorfismo de conexión - [Detalles]
En este video demostramos la naturalidad del homomorfismo de conexión. Dicha naturalidad es en el sentido de la teoría de categorías.
Homología singular - grupo fundamental vs primer grupo de homología - parte 2 - [Detalles]
En este video demostramos que la función del grupo fundamental de X al primer grupo de homología de X está bien definida y es un homomorfismo. Además demostramos que si X es arco-conexo entonces dicho homomorfismo en suprayectivo. Calcularemos el kernel en el siguiente video.
Homología celular - una fórmula para el homomorfismo frontera - [Detalles]
En este video damos una fórmula explícita para el homomorfismo frontera en el complejo de cadenas celular. Esto termina de establecer cómo se comporta el complejo de cadenas celular de un complejo CW.
Álgebra Moderna I: Homomorfismo, Monomorfismo, Epimorfismo, Isomorfismo y Automorfismo - [Detalles]
En esta sección se analizara un tipo de correspondencia que se puede presentar entre dos grupos, lo cual nos llevara a definir el concepto de Homomorfismo. Por tanto, es necesario analizar sus propiedades y comportamientos bajo composición.
Álgebra Moderna I: Núcleo e Imagen de un Homomorfismo - [Detalles]
En esta entrada, nos enfocaremos en dos conjuntos fundamentales relacionados con los homomorfismos. En primer lugar, consideramos la colección de todos los elementos del dominio que son transformados en el elemento neutro del codominio. A este conjunto lo denominamos el núcleo del homomorfismo ϕ. Por otro lado, podemos tomar todos los elementos del dominio, aplicarles la función ϕ y obtener el subconjunto correspondiente en el codominio. A este conjunto lo llamamos la imagen de ϕ. Estos dos subconjuntos desempeñan un papel crucial en el análisis de los homomorfismos.
Homomorfismos inducidos - [Detalles]
En este video demostramos que cualquier función entre espacios topológicos induce una homomorfismo entre grupos fundamentales (con puntos bases adecuados).
Homotopias entre funciones - [Detalles]
En este video definimos homotopía entre funciones y homotopías que preservan el punto base. Luego demostramos que las homotopías que preservan el punto base inducen el mismo homomorfismo en grupos fundamentales.
Grupos - "Homomorfismos de grupos" - [Detalles]
Se recuerda la definición de homomorfismo de grupos y se presentan algunos ejemplos.
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.
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.
Álgebra Moderna I: Propiedades de los Homomorfismos - [Detalles]
En esta entrada, nos enfocaremos en proporcionar algunas propiedades adicionales de los homomorfismos. Específicamente, examinaremos cómo los homomorfismos interactúan con las potencias de los elementos del grupo. Posteriormente, exploraremos la relación entre el orden de un elemento en el grupo original y el orden de su imagen bajo un homomorfismo.
Álgebra Moderna I: Primer Teorema de Isomorfía y Diagrama de Retícula - [Detalles]
El teorema principal a estudiar en esta entrada es el primero de los cuatro teoremas de Isomorfía, el cual nos permite entender cómo están relacionados el dominio, el núcleo y la imagen de un homomorfismo de grupos, de forma similar al teorema de la dimensión en Álgebra lineal, que establece la relación entre el dominio, el núcleo y la imagen de una transformación lineal.