Subgrupos conjugados y normalizadores - [Detalles]
Se define la relación de conjugación entre subgrupos de un grupo y se definen los normalizadores.
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.
Demostrando propiedades de subgrupos - [Detalles]
Se presentan algunas propiedades que cumplen los subgrupos de un grupo: todo grupo es subgrupo de sí mismo, el unitario del neutro es subgrupo, todo subgrupo es un grupo.
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.
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.
Á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.
Rectas isogonales - [Detalles]
Estudiamos algunos resultados sobre rectas isogonales, puntos conjugados isogonales y triángulos pedales.
Puntos de Brocard - [Detalles]
Estudiamos algunas de las propiedades del primer y segundo punto de Brocard que son otro par de puntos conjugados isogonales del triangulo.
Los Elementos de Euclides: Teorema 28 - [Detalles]
En este video cubrimos el Teorema 28 de Los Elementos de Euclides. Aquí se demuestra que si al incidir una recta sobre otras dos hace los ángulos correspondientes iguales, o los ángulos conjugados internos suplementarios, entonces las dos últimas rectas son paralelas.
Los Elementos de Euclides: Teorema 29 - [Detalles]
En este video cubrimos el Teorema 29 de Los Elementos de Euclides. Aquí se demuestra la congruencia de los ángulos alternos internos y de los ángulos correspondientes. Además, que los ángulos conjugados internos son suplementarios.
None
Teoremas sobre subgrupos y Subgrupo generado por X - [Detalles]
None
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.
El teorema de clasificación de cubrientes - parte 3 - [Detalles]
En este video demostramos finalmente el teorema de clasificación de cubrientes. Es decir, establecemos una biyección entre el conjunto de subgrupos del grupo fundamental y clases de isomorfismo de cubrientes.
Qué es un subgrupo - [Detalles]
Se da la definición y ejemplos de subgrupos.
Grupos - "Subgrupos" - [Detalles]
Se recuerda la definición de subgrupo y se presentan algunos ejemplos.
Subgrupos cíclicos - Definición y ejemplos - [Detalles]
Se define el concepto de grupo cíclico y se muestran ejemplos.
Subgrupos cíclicos generados - [Detalles]
Se repasa el concepto de subgrupo cíclico generado por un elemento y se presentan ejemplos.
Subgrupo generado por un subconjunto - parte 1 - [Detalles]
Se define el concepto de subgrupo generado por un subconjunto de un grupo partiendo de que la intersección de subgrupos es un subgrupo.
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.
Consecuencias del teorema de Cauchy - [Detalles]
Se muestran algunas aplicaciones y consecuencias del teorema de Cauchy: ser p-grupo es equivalente a tener orden una potencia de p, todo p-grupo no trivial tiene centro no trivial, todo grupo de orden el cuadrado de un primo es abeliano, los subgrupos maximales de un p-grupo son normales y de índice p.
Consecuencias de los teoremas de Sylow - [Detalles]
Se presentan algunas aplicaciones y consecuencias de los teoremas de Sylow que involucran a los p-subgrupos de Sylow.
Álgebra Moderna I: Subgrupos - [Detalles]
La proxima estructura que nos interesa estudiar es la de la subcoleccion H de un grupo G, por tanto necesitamos conocer que necesita H para que sea un grupo en si mismo. Así mismo, hay que estudiar propiedades que heredan estas subcolecciones y las caracterizaciones. Por ultimo siempre es bueno revisar que pasa cuando son finitos.
Álgebra Moderna I: Teoremas sobre subgrupos y Subgrupo generado por X - [Detalles]
El primer teorema a probar dentro de la sección es el de si todo subgrupo de un cíclico, es cíclico también. Posterior a este resultado se busca encontrar al menor subgrupo que contiene a cualquier subconjunto X.
Á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.