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.
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.
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.
Á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: Subgrupo Conjugado, Subgrupo Normal y Conmutatividad Parcial - [Detalles]
En esta entrada definiremos un producto entre dos clases izquierdas usando el producto en G. Para lo cual necesitamos dar formalmente que es un conjugado y un subgrupo N normal de G.
El grupo fundamental de la n-esfera - [Detalles]
En este video demostramos que el grupo fundamental de las esferas de dimensión al menos 2 es trivial. Este cálculo nos sigue dando herramientas para desarrollar intuición acerca del grupo fundamental.
Homología singular - invarianza de la dimensión - [Detalles]
En este video demostraremos que si dos abiertos de ciertos espacios euclideanos son homeomorfos, entonces los espacios tienen la misma dimensión. Este teorema es muy bonito porque es intuitivo el enunciado, la demostración no es nada trivial, pero con toda la herramienta que hemos desarrollado es posible demostrarlo en términos simples.
Homología singular - generadores para la homología de la esfera - [Detalles]
En este video calculamos explícitamente un generador para la homología enésima de la n-esfera con coeficientes en los enteros. Esta cuenta no es trivial y usamos muchos de los resultados obtenidos anteriormente.
Subgrupo generado por un subconjunto - parte 2 - [Detalles]
Se da una caracterización del subgrupo generado por un conjunto en términos de palabras.
El índice de un subgrupo - [Detalles]
Se define el índice de un subgrupo y se exploran algunos ejemplos.
Subgrupo conmutador - [Detalles]
Se define el conmutador de dos elementos y se define el subgrupo conmutador, se demuestra que el cociente módulo el conmutador es abeliano y es mínimo con esa propiedad.
Álgebra Moderna I: Orden de un elemento y Grupo cíclico - [Detalles]
¿Cualquier subconjunto X de un grupo G es un subgrupo? Esta premisa es abordada principalmente, necesitamos ver condiciones necesarias que pedirle a a X. Requiriendo la definición de orden de un elemento hasta llegar al concepto de subgrupo cíclico.
Álgebra Moderna I: Producto de subconjuntos y Clases Laterales - [Detalles]
En la primera sección, se establece una definición clara de nuestro producto y se ejemplifica mediante casos específicos. En la segunda parte, se busca abordar la cuestión de cuándo el producto de dos subconjuntos constituye un subgrupo. En la tercera sección, se explora un escenario particular: ¿Qué ocurre cuando uno de los subconjuntos es un conjunto unitario? Es decir, se analiza la multiplicación de un subgrupo de G con un único elemento de G.
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 1 - [Detalles]
En este video demostramos que dado un subgrupo H del grupo fundamental de X, existe un cubriente tal que su grupo fundamental es isomorfo a H.
El teorema de clasificación de cubrientes - parte 2 - [Detalles]
En este video demostramos que dado un subgrupo H del grupo fundamental de X, existe un único cubriente tal que su grupo fundamental es isomorfo a H.
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 generados - [Detalles]
Se repasa el concepto de subgrupo cíclico generado por un elemento y se presentan 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.
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.
Algunos teoremas de representaciones - [Detalles]
Se motiva la necesidad de representar a un grupo como subgrupo de otro más conocido y se muestran algunos teoremas de representación incluido el teorema de Cayley.
Álgebra Moderna I: Palabras. - [Detalles]
Se definirá el concepto de palabra en X, ya que estas permiten dar descripción del subgrupo generado. Así mismo, se establecerá el concepto de orden de un producto.
Álgebra Moderna I: Relación de equivalencia dada por un subgrupo e índice de H en G - [Detalles]
En esta entrada definiremos una relación de equivalencia en un grupo. Nos referimos al grupo de los enteros con la suma (Z,+) en el cual es posible establecer una relación de equivalencia que induce a una partición con exactamente n conjuntos.
Á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: 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.
Á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: Subgrupo Conmutador - [Detalles]
En esta entrada, el propósito es inicialmente establecer la noción de conmutador entre dos elementos del grupo G. Posteriormente, se pretende definir el conjunto generado por todos los conmutadores en el grupo. Estos pasos se dan con el fin de crear un grupo cociente abeliano, a pesar de que el grupo original G no lo sea.
Á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
Álgebra Moderna I: Una modificación al Teorema de Cayley - [Detalles]
Ya observamos la importancia del Teorema de Cayley, ya que nos permite visualizar a un grupo G como un subgrupo del grupo de permutaciones. En esta entrada relacionaremos al grupo G con un grupo simétrico mas pequeño que Sn . Utilizaremos los elementos de G no para mover sus propios elementos, si no, para mover clases laterales.