Producto cruz ( producto vectorial) - [Detalles]
Definimos el producto cruz, el cual es una operación entre dos vectores que da como resultado otro vector (a diferencia del producto punto que resulta en un escalar). Mostramos como calcularlo por medio de un tipo de determinante y sus propiedades: Anticonmutativo, Distributivo, Saca escalares y que es perpendicular a cada uno de sus factores. También mencionamos la regla de la mano derecha y como está relacionado con el área y el ángulo entre los dos factores.
Ejercicios Producto Triple - [Detalles]
Realizamos varios ejercicios del producto triple, vemos en que caso el producto triple es cero, algunos ejercicios para obtener el volumen del paralelepípedo formado por los factores, y que significa que el producto triple sea cero, lo cual está relacionado a que los factores sean linealmente dependientes o independientes.
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.
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: 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.
Definimos el producto triple, el cual es una operación entre tres vectores de R^3 (a diferencia del producto punto o cruz, que es entre dos vectores). Damos la definición en término del producto punto y producto cruz. También mostramos como calcularlo mediante un determinante y sus propiedades: Cíclico, Anticonmutativo, Distribuye la suma, Saca escalares y que es el volumen del paralelepípedo formado por sus factores.
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.
Factorización completa y unicidad de la factorización - [Detalles]
Definimos lo que es una factorización completa y demostramos que la factorización completa de una permutación es única salvo el orden de los factores.
Multiplicatividad del signo. Parte 2 - [Detalles]
Demostramos que el signo de una composición de permutaciones es el producto de los signos de los factores.
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.
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.
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.