Álgebra Moderna I: Caracterización de grupos cíclicos - [Detalles]
En los grupos cíclicos, existe un subgrupo único para cada divisor del orden del grupo. Este concepto será el enfoque inicial de esta explicación. Posteriormente, emplearemos un resultado de la teoría de números, utilizando la teoría de grupos para describir los grupos cíclicos de manera más detallada. Esta descripción, junto con sus implicaciones en los campos finitos, se basa en los materiales de los libros de Rotman y también se encuentra en el libro de Avella, Mendoza, Sáenz y Souto, que se mencionan en la bibliografía.
Grupos - "Casi grupos" - [Detalles]
Se dan ejemplos de conjuntos con operaciones que "casi" son grupos y se explican las propiedades de grupo que fallan.
Grupos - "Grupos y Cubos" - [Detalles]
Se presentan aplicaciones de grupos a "la vida real", concretamente para estudiar el grupo de rotaciones de un cubo.
Grupos - "Homomorfismos de grupos" - [Detalles]
Se recuerda la definición de homomorfismo de grupos y se presentan algunos ejemplos.
Grupos cíclicos - parte 2 - [Detalles]
Se dan más propiedades de los grupos cíclicos y su relación con la función phi de Euler, se da una caracterización de los grupos cíclicos finitos.
En este video comenzamos un pequeño detour por la teoría de grupos. Definiremos lo que es un grupo libre y enunciaremos su propiedad universal.
En este video continuamos nuestro pequeño detour por la teoría de grupos. Definiremos el producto libre de grupos y su propiedad universal.
Ejemplos de grupos - [Detalles]
Se explican algunos ejemplos y no-ejemplos de grupos.
Homomorfismos de grupos - [Detalles]
Se da la definición y un par de ejemplos de homomorfismos de grupos.
Producto directo de grupos - [Detalles]
Se da la definición del producto directo de grupos y se demuestran algunas propiedades.
Grupos simétricos (1) - [Detalles]
Se presentan más propiedades de los grupos simétricos, se estudian permutaciones con la misma estructura cíclica y se concluye que las permutaciones conjugadas son precisamente aquellas que tienen la misma estructura cíclica.
Álgebra Moderna I: Propiedades de grupos y Definición débil de grupo - [Detalles]
En primera instancia se definirán propiedades básicas de grupos como en cualquier otra estructura algebraica. En la cual, es de importancia mencionar la existencia de un neutro, asociatividad e inverso. Por ultimo, la definición débil de grupo.
Definición de grupos de homotopía - [Detalles]
Definimos una operación en los grupos de homotopía y probamos que está bien definida.
Espacios H y grupos H - [Detalles]
Definimos una versión homotópica de los grupos topologícos
Los grupos de homotopía sí son grupos - [Detalles]
Probamos que pi_n satisface las propiedades de grupo.
Functorialidad de los grupos de homotopía - [Detalles]
Vemos que pi_n forma un functor de la categoría de espacios topológicos a la categoría de grupos
Sucesión exacta larga de grupos de homotopía relativos - [Detalles]
Vemos que si tenemos una filtración de espacio A <B <X entonces podemos formar una sucesión exacta larga con los grupos de homotopía relativos de estos espacios. Esta sucesión sirve mucho para hacer calculos.
Propiedades de Grupos y Definición débil de grupo - [Detalles]
None
El grupo fundamental de un producto - [Detalles]
En este video demostramos que el grupo fundamental de un producto de espacios topológicos es el producto de los grupos fundamentales de los factores, es decir, el grupo fundamental abre productos.
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).
R^2 no es homeomorfo a R^n si n es diferente de 2 - [Detalles]
En este video demostramos que R^2 no es homeomorfo a R^n si n es diferente de 2. Para demostrar esto usamos el cálculo de los grupos fundamentales de las esferas. Este resultado es otro ejemplo de cómo usar nuestros invariantes algebraicos (el grupo fundamental) para resolver problemas en topología.
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.
Subgrupos normalmente generados - [Detalles]
En este video terminamos nuestro pequeño detour por la teoría de grupos. Definiremos el subgrupo normalmente generado por un subconjunto de un grupo G.
La demostración del teorema de van Kampen - [Detalles]
En este video damos la demostación del teorema de van Kampen. Este teorema es la herramienta computacional más poderosa para calcular grupos fundamentales.
Presentaciones de grupos - [Detalles]
En este video definimos lo que es una presentación de un grupo y damos algunos ejemplos.
Todo grupo es el grupo fundamental de algún espacio - [Detalles]
En este video demostraremos que todo grupos es el grupo fundamental de algún espacio. Las herramientas principales para demostrar este teorema es la existencia de una presentación y una aplicación muy directa del teorema de van Kampen.
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.
Homología singular - definición de homología singular - [Detalles]
En este video por fin definiremos la homología singular de un grupo X. Estos objetos (grupos abelianos o R-módulos) serán nuestro principal objeto de estudio en lo que resta de esta lista de reproducción.
Homología singular - la homología de un punto - [Detalles]
En este video haremos nuestro primer cálculo explícito de los grupos de homología de un espacio. El espacio en cuestión es el espacio que consiste de un solo punto.
Homología singular - funtorialidad - [Detalles]
En este video mostraremos que funciones continuas entre espacios topológicos inducen funciones de complejos de cadenas singulares y, por lo tanto, funciones entre grupos de homología.
Homología singular - homología realtiva - [Detalles]
En este video definimos los grupos de homología relativa y la sucesión exacta larga de la pareja.
Homología singular - la sucesión exacta de la tercia - [Detalles]
En este video deducimos una sucesión exacta larga que involucra grupos de homología relativas de tres espacios Z contenido en Y y Y contenido en X. Esta sucesión es muy parecida a la sucesión exacta larga de la pareja y se deduce usando el teorema fundamental del álgebra homológica.
Homología celular - definición y equivalencia con homología singular - [Detalles]
En este video definimos la homología celular y vemos que es isomorfa a los grupos de homología singular.
Isomorfismo. Definición y ejemplos - [Detalles]
Se da la definición y un par de ejemplos y no-ejemplos de isomorfismos de grupos.
Grupos - "Subgrupos" - [Detalles]
Se recuerda la definición de subgrupo y se presentan algunos ejemplos.
Grupos - "Construyendo subgrupos" - [Detalles]
Se construyen algunos subgrupos usando resultados y teoremas vistos en videos anteriores.
Grupos cíclicos - parte 1 - [Detalles]
Se da la definición de grupo cíclico y se exploran algunas de sus propiedades, se demuestra que todos los subgrupos de un grupo cíclico son cíclicos y que hay subgrupos para cada divisor del orden de un grupo cíclico.
Recordando a los enteros módulo n - [Detalles]
Se da la primera motivación para definir grupos cociente al recordar la definición de los enteros módulo n.
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.
El primer teorema de isomorfismo - [Detalles]
Se enuncia y demuestra el primer teorema de isomorfismo de grupos.
El segundo teorema de isomorfismo - [Detalles]
Se enuncia y demuestra el segundo teorema de isomorfismo de grupos.
El tercer teorema de isomorfismo - [Detalles]
Se enuncia y demuestra el tercer teorema de isomorfismo de grupos.
Producto directo de grupos - parte 2 - [Detalles]
Se continúa el estudio del producto directo, se enuncia y demuestra el teorema de factorización.
Producto directo de grupos - parte 3 - [Detalles]
Se demuestra que el producto de subgrupos normales es subgrupo normal del producto y que el cociente es isomorfo a un producto de cocientes.
Grupos simétricos (2) - [Detalles]
Continúa el estudio de la estructura cíclica de permutaciones, se demuestra que los subgrupos normales de Sn son precisamente aquellos que "cerrados" bajo estructura cíclica.
Grupo alternante (1) - [Detalles]
Se estudian las propiedades de los grupos alternantes, un lema sobre el índice de los centralizadores.
Grupo alternante (2) - [Detalles]
Se recuerda la definición de grupo simple y se explica la relación entre este concepto y los grupos alternantes: An es simple para n entre 1 y 5, excepto 4.
Álgebra Moderna I: Definición de Grupos - [Detalles]
Dentro de lo que se abordará como tema principal a continuación, es la definición de grupo y se facilitara la compresión de este nuevo concepto a través de varios ejemplos. Un concepto más es el de Grupo abeliano.
Álgebra Moderna I: Teorema de Lagrange - [Detalles]
A continuación, se revisara y demostrará uno de los teoremas mas importantes de la Teoría de Grupos, conocido como el Teorema de Lagrange. El cual nos dice que para un subgrupo H de G, el orden de G es un t veces del orden de H
Á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: 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: 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.
Álgebra Moderna I: Teorema de Cayley - [Detalles]
A partir de esta unidad veremos como cada uno de los elementos de los grupos (para cualquier grupo) se puede ver como una permutación. Todo grupo se puede pensar como un subgrupo de un grupo de permutaciones. El objetivo principal es converger en el Teorema de Cayley
La operación en los groups de homotopía - [Detalles]
Vemos que la operación en los grupos pi_n esta bien definida
La suma en pi_n no depende de la coordenada - [Detalles]
Vemos que hay otra manera de definir la suma en los grupos de homotopía y es equivalente a la operación que ya habíamos visto
Los grupos de homotopía superiores son abelianos - [Detalles]
Probamos que cuando n es mayor a 1 tenemos que pi_n es un grupo abeliano
Clases de homotopía de funciones con domino la n-esfera - [Detalles]
Vemos una manera equivalente de definir los grupos de homotopía
Equivalencia homotópica implica equivalencia homotópica debil - [Detalles]
Un mapeo entre espacios se dice que es una equivalencia homotópica débil si induce isomorfismos en todos los grupos de homotopía. En este video probamos que todas las equivalencias homotópicas son equivalencias homotópicas débiles.
Grupos de homotopía de un espacio H - [Detalles]
En este video vemos que si X es un espacio H entonces la operación en pi_n es la misma que la operación en X visto como espacio H
Acción del grupo fundamental - [Detalles]
Vemos que el grupo pi_1 actúa en los grupos de homotopía superiores
Grupos de homotopía de un producto - [Detalles]
Vemos una fórmula para pi_n(X x Y)
Grupos de homotopía relativos - [Detalles]
Si tenemos un espacio X y un subespacio A podemos definir un grupo pi_n(X,A,*)