Qué es un grupo. Definición explicada - [Detalles]
Se definen los conceptos básicos para dar con la noción de grupo.
Ejemplos de grupos - [Detalles]
Se explican algunos ejemplos y no-ejemplos de grupos.
Se define el concepto de grupo abeliano y se dan ejemplos y no-ejemplos.
Unicidad del elemento neutro y de inversos - [Detalles]
Se demuestra que en un grupo, el elemento neutro es único, y para cada elemento, su inverso también es único.
Potencias de un elemento en un grupo - [Detalles]
Se definen las potencias de elementos de un grupo y se explican sus propiedades.
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.
Orden de un elemento - [Detalles]
Se define el orden de un elemento y se dan ejemplos.
El orden de un grupo - [Detalles]
Se define el orden de un grupo y se dan ejemplos.
Algebra Moderna I: Operación binaria - [Detalles]
El objetivo de esta nota es definir el concepto de "operación binaria" dentro del Algebra Moderna. Así mismo, dejar definida la notación del concepto que se adoptará a lo largo de las notas del curso. Y por ultimo se ejemplifican algunas formas de construir este tipo de operaciones.
Álgebra Moderna I: Operación binaria asociativa y conmutativa - [Detalles]
A continuación se manejan dos tipos de operaciones especificas: las operaciones binarias asociativas y las operaciones conmutativas. Dentro de estos conceptos se espera que el lector pueda reconocer cuando una operación binaria recae dentro de alguno de estos dos tipos mencionados o no. En las notas, se da ejemplo de como reconocer la conmutatividad dentro de un arreglo de Tabla.
Á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: 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.
Álgebra Moderna I: Asociatividad Generalizada y Leyes de los Exponentes - [Detalles]
Dentro de las operaciones básicas de un grupo, podemos encontrar la asociatividad. La cual es tratada dentro de esta sección, además de algunas de sus consecuencias inmediatas y un teorema generalizando.
Qué es un subgrupo - [Detalles]
Se da la definición y ejemplos de 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 - "Subgrupos" - [Detalles]
Se recuerda la definición de subgrupo y se presentan algunos 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.
Subgrupo generado por un subconjunto - parte 2 - [Detalles]
Se da una caracterización del subgrupo generado por un conjunto en términos de palabras.
Grupos - "Construyendo subgrupos" - [Detalles]
Se construyen algunos subgrupos usando resultados y teoremas vistos en videos anteriores.
Á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.
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.
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.
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.
Á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: Orden de un grupo - [Detalles]
Es importante definir ahora el orden de un grupo, formalizando algunos conceptos del tema anterior como el del conjunto generado por un elemento a.
Á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: 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.
Permutaciones - un primer ejemplo - [Detalles]
Pequeña motivación del concepto de permutación que definiremos formalmente en el siguiente video.
Definición de permutación - [Detalles]
Definimos el concepto de permutación, introducimos algo de notación y vemos algunos ejemplos.
Conjunto de permutaciones de n elementos - [Detalles]
Se estudia el conjunto de permutaciones de n elementos.
El soporte de una permutación - [Detalles]
Definimos el concepto de fijar y mover elementos para una permutación. También definimos el soporte de una permutación. Finalmente damos algunos ejemplos que ilustran las definiciones.
Permutaciones cíclicas - [Detalles]
Definimos el concepto de permutación cíclica y damos algunos ejemplos ilustrativos.
Permutaciones cíclicas - [Detalles]
Repasamos el concepto de permutación cíclica con ejemplos concretos.
Permutaciones disjuntas - [Detalles]
Definimos el concepto de permutaciones disjuntas. Luego enunciamos el resultado que dice que permutaciones disjuntas conmutan y decimos la estrategia para demostrarlo.
Factorización en ciclos disjuntos - [Detalles]
Demostramos que toda permutación de un conjunto finito es una composición de ciclos disjuntos. Además damos un ejemplo para ilustrar la demostración.
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.
Factorización en ciclos disjuntos - [Detalles]
Se repasa el concepto de factorización en ciclos disjuntos.
Factorización en transposiciones - [Detalles]
Definimos lo que es una transposición y demostramos que toda permutación se puede factorizar como producto de transposiciones.
Paridad y signo de una permutación - [Detalles]
Paridad de una permutación y el signo de una permutación. Además damos algunos ejemplos ilustrativos.
Multiplicatividad del signo. Parte 1 - [Detalles]
Demostramos un par de lemas que serán útiles para, en el próximo video, demostrar que el signo del producto de dos permutaciones es igual al producto de los signos.
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.
La relación entre paridad y signo - [Detalles]
Demostramos que una permutación es par si y sólo si su signo es iguala 1. Equivalentemente, vemos que una permutación es impar si y sólo si su signo es igual a -1. Esto muestra que la noción de paridad y la de signo son equivalentes.
S3 y el signo de sus elementos - [Detalles]
Se analiza el signo de los elementos de S3.
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.
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.
Grupo alternante (3) - [Detalles]
Se demuestra el teorema principal de la sección: An es simple para todo n>=5. Para ello se prueban lemas preliminares.
Álgebra Moderna I: Permutaciones y Grupo Simétrico - [Detalles]
En primera instancia tenemos que definir lo que es una permutación de un conjunto X. Posteriormente podremos construir el concepto de Grupo Simétrico y la definición de un r-ciclo.
Álgebra Moderna I: Permutaciones disjuntas - [Detalles]
A continuación se discute el concepto de ciclos disjuntos y la propiedad de conmutatividad en las permutaciones disjuntas. Así mismo, las permutaciones pueden ser vistas como un producto de ciclos disjuntos.
Álgebra Moderna I: Factorización Completa - [Detalles]
Para este punto, tenemos que notar formas diferentes de expresar una permutación a partir del uso de uno ciclos, lo cual nos lleva a definir una factorización completa de una permutación A, con la cualidad de la unicidad.
Álgebra Moderna I: Misma Estructura Cíclica, Permutación Conjugada y Polinomio de Vandermonde. - [Detalles]
En este texto, se explora la unicidad de la factorización completa de las permutaciones y se analizan los ciclos que aparecen en esta factorización. La cantidad y longitud de los ciclos permanecen constantes independientemente de la factorización elegida. Esto conduce a las definiciones clave de estructura cíclica y permutación conjugada. Además, se menciona que las permutaciones pueden descomponerse en intercambios de elementos de dos en dos, lo que revela que toda permutación se puede expresar como un producto de una cantidad par o impar de intercambios.
Álgebra Moderna I: Paridad de una permutación - [Detalles]
A partir de la entrada anterior, se puede definir el signo de una permutación. Lo cual guía a introducir la función signo y probar que es multiplicativa. Posteriormente se descubre al Grupo alternante.
Clases laterales - definición y ejemplos - [Detalles]
Se da la definición de clase lateral y se presentan ejemplos.
Cuando dos clases laterales son iguales - [Detalles]
Se presenta un criterio para determinar cuándo dos clases laterales son iguales, también se demuestra que clases laterales son iguales o disjuntas.
Hay tantas clases laterales izquierdas como derechas - [Detalles]
Se demuestra que hay el mismo número de clases laterales derechas que izquierdas.
El índice de un subgrupo - [Detalles]
Se define el índice de un subgrupo y se exploran algunos ejemplos.
El teorema de Lagrange - [Detalles]
Se enuncia y demuestra el teorema de Lagrange.
Consecuencias del teorema de Lagrange - [Detalles]
Se exploran algunos corolarios y consecuencias del teorema de Lagrange.
Á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.
Á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
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.
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.
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.
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.
El teorema de la correspondencia - [Detalles]
Se enuncia y demuestra el teorema de la correspondencia.
Conjugación como relación de equivalencia - [Detalles]
Se explica la relación de conjugación y se demuestran algunas propiedades, se define el centro de un grupo.
Centralizadores y clases de conjugación - [Detalles]
Se definen los centralizadores y se exploran propiedades de las clases de conjugación.
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: 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: 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.
Á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.
Á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: 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.
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.
Productos de subconjuntos de un grupo - [Detalles]
Se extiende la definición de producto para incluir el producto de dos subconjuntos de un grupo.