Asistido por IA

Demuestra que Si p es un primo y $p^n$ divide el orden de un grupo finito G, entonces G tiene un subgrupo de orden $p^n$

La demostración de que si $p$ es un primo y $p^n$ divide el orden de un grupo finito $G$, entonces $G$ tiene un subgrupo de orden $p^n$, se realiza mediante el Primer teorema de Sylow,, utilizando un argumento de inducción basado en el Teorema de Cauchy.

Sea $G$ un grupo finito y supongamos que su orden es $|G| = p^n m$, donde $p$ es un número primo y $p^n$ es la máxima potencia de $p$ que divide a $|G|$ (o una potencia que lo divide),. Queremos demostrar que $G$ contiene un subgrupo de orden $p^i$ para cada $i$ tal que $1 \leq i \leq n$.

Caso Base ($i=1$): Si $p$ divide a $|G|$, el Teorema de Cauchy (Teorema 18.2) garantiza que $G$ contiene un elemento de orden $p$, y por lo tanto, un subgrupo de orden $p$,.
Paso Inductivo: Asumamos que $G$ contiene un subgrupo $H$ de orden $p^i$, donde $i < n$. Demostraremos que $G$ contiene un subgrupo de orden $p^{i+1}$.
- Puesto que $i < n$, se deduce que $p$ divide al índice $[G: H]$.
- Se utiliza un lema (Lema 18.1) que establece que $p$ divide el índice $[N[H]: H]$, donde $N[H]$ es el normalizador de $H$ en $G$.
- Dado que $H$ es un subgrupo normal de $N[H]$, se puede formar el grupo cociente $N[H]/H$. El orden de este grupo cociente es $|N[H]/H| = [N[H]: H]$, el cual es divisible por $p$.
- Aplicando el Teorema de Cauchy al grupo factor $N[H]/H$, sabemos que este contiene un subgrupo $K$ de orden $p$,.
- Sea $\gamma: N[H] \rightarrow N[H]/H$ el homomorfismo canónico (proyección). La imagen inversa $L = \gamma^{-1}(K)$ es un subgrupo de $N[H]$.
- Por el Primer Teorema de Isomorfismo (Teorema 1.6.1), $K \cong L/H$. Por lo tanto, el orden de $L$ es el producto de los órdenes de $K$ y $H$: $|L| = |K| \cdot |H| = p \cdot p^i = p^{i+1}$,.
Hemos demostrado que si $G$ tiene un subgrupo de orden $p^i$, también tiene un subgrupo de orden $p^{i+1}$. Por inducción, esto se cumple hasta $i=n$, por lo que $G$ tiene un subgrupo de orden $p^n$.

Este resultado se conoce como el Primer Teorema de Sylow.

OTRA PRUEBA

La afirmación que mencionas es un resultado fundamental en teoría de grupos conocido como el **Primer Teorema de Sylow**. Sin embargo, para entenderlo desde conocimientos básicos (como el teorema de Lagrange y propiedades elementales), es necesario aclarar algunos puntos clave y distinguir entre casos específicos y el resultado general.

---

### **Contexto y aclaraciones previas**
- **Teorema de Lagrange**: Si $ H $ es un subgrupo de un grupo finito $ G $, entonces $ |H| $ divide a $ |G| $.
**¡Pero el recíproco no es cierto en general!** No todo divisor del orden de $ G $ garantiza la existencia de un subgrupo con ese orden.
**Ejemplo**: $ A_4 $ (grupo alternado de 4 elementos) tiene orden 12, pero no tiene un subgrupo de orden 6.

- **Excepción importante**: Para **potencias de primos**, sí existe un recíproco parcial. Esto es precisamente lo que afirma el **Primer Teorema de Sylow**.

---

### **Primer Teorema de Sylow (enunciado simplificado)**
> Si $ p $ es un número primo y $ p^n $ divide al orden de un grupo finito $ G $, entonces $ G $ contiene al menos un subgrupo de orden $ p^n $.

Este resultado **no se deduce directamente del teorema de Lagrange**; su demostración requiere herramientas más avanzadas (como acciones de grupos y ecuaciones de clases). Sin embargo, en casos especiales (como grupos abelianos), sí puede probarse con técnicas elementales.

---

### **Caso particular: Grupos abelianos**
Si $ G $ es **abeliano**, el resultado sí puede demostrarse usando solo el teorema de Lagrange, el **Teorema de Cauchy** y **inducción**:

1. **Base de inducción ($ n = 1 $)**:
Por el **Teorema de Cauchy** (que afirma que si un primo $ p $ divide a $ |G| $, entonces $ G $ tiene un elemento de orden $ p $), existe un subgrupo cíclico $ \langle x \rangle $ de orden $ p $.

2. **Paso inductivo**:
Supongamos que el resultado es cierto para $ n-1 $. Si $ p^n \mid |G| $, entonces:
- Por Cauchy, existe $ x \in G $ de orden $ p $. Como $ G $ es abeliano, $ H = \langle x \rangle $ es normal.
- Consideramos el grupo cociente $ G/H $, cuyo orden es $ |G|/p $. Como $ p^{n-1} \mid |G/H| $, por hipótesis de inducción, $ G/H $ tiene un subgrupo $ K/H $ de orden $ p^{n-1} $.
- El subgrupo $ K \subseteq G $ asociado a $ K/H $ tiene orden $ |K/H| \cdot |H| = p^{n-1} \cdot p = p^n $.

Este argumento **solo funciona para grupos abelianos**, donde todos los subgrupos son normales y el cociente está bien definido.

---

### **Caso general: Grupos no abelianos**
Para grupos no abelianos, la demostración del Primer Teorema de Sylow es más compleja y requiere:
1. **Acciones de grupos**: Se estudia la acción de $ G $ sobre conjuntos de subconjuntos (como los $ p $-subgrupos).
2. **Ecuación de clases**: Se analiza la descomposición de $ G $ en clases de conjugación para encontrar elementos o subgrupos adecuados.
3. **Inducción en el orden del grupo**: Se reduce el problema a subgrupos o cocientes de $ G $.

Un esquema simplificado:
- Si $ p $ divide al centro $ Z(G) $, usamos Cauchy en $ Z(G) $ y cocientamos.
- Si no, existe una clase de conjugación cuyo tamaño no es divisible por $ p $, lo que permite aplicar inducción en un subgrupo.

Este enfoque **va más allá de los conocimientos básicos** mencionados (Lagrange y propiedades elementales), pero es necesario para el caso general.

---

### **Conclusión**
- **En grupos abelianos**: La existencia de subgrupos de orden $ p^n $ se deduce de Cauchy y Lagrange mediante inducción.
- **En grupos generales**: Es el **Primer Teorema de Sylow**, un resultado profundo cuya demostración requiere técnicas avanzadas (acciones de grupos, ecuación de clases).

Este teorema es clave en la clasificación de grupos finitos y muestra que, aunque el recíproco de Lagrange no es cierto en general, **sí lo es para divisores que son potencias de primos**.

¿Te gustaría profundizar en algún caso específico o en la demostración detallada para grupos abelianos? 😊

Estoy revisando tarjetas didácticas basadas en las fuentes y me gustaría entender mejor una de ellas.

En el anverso pone: "¿Qué establece el Primer Teorema de Sylow?" La respuesta del anverso es: "Si $p$ es un primo y $p^n$ divide el orden de un grupo finito $G$, entonces $G$ tiene un subgrupo de orden $p^n$."

¿Podrías explicarme este tema más detalladamente?

El Primer Teorema de Sylow es un resultado fundamental en la teoría de grupos finitos, y su tarjeta didáctica establece su núcleo principal,.

El teorema establece, de manera concisa: Si $p$ es un número primo y $p^n$ divide al orden de un grupo finito $G$, entonces $G$ tiene un subgrupo de orden $p^n$,.

A continuación, se detalla este concepto, su significado y su alcance, según los recursos proporcionados:

1. Significado y Contexto

El Primer Teorema de Sylow aborda una de las preguntas más importantes que surgen a partir del Teorema de Lagrange. El Teorema de Lagrange establece que el orden de cualquier subgrupo de un grupo finito $G$ debe dividir al orden de $G$. Sin embargo, la conversión de este teorema es falsa en general; es decir, no todo divisor del orden de un grupo garantiza la existencia de un subgrupo con ese orden,,.

El Primer Teorema de Sylow proporciona un recíproco parcial de Lagrange, asegurando que para los divisores que son potencias de un número primo ($p^n$), la existencia de un subgrupo con ese orden sí está garantizada,,.

2. El Enunciado Completo y la Jerarquía

El teorema se formula de manera más completa al considerar la potencia máxima de $p$ que divide al orden de $G$.

Condición del Orden: Sea $|G| = p^n m$, donde $p$ es un número primo y $p$ no divide a $m$ ($p^n$ es la potencia máxima de $p$ que divide a $|G|$).
Garantía de Existencia: $G$ contiene un subgrupo de orden $p^i$ para cada entero $i$ tal que $1 \leq i \leq n$.

Este enunciado completo no solo garantiza la existencia del subgrupo de orden $p^n$ (la máxima potencia), sino que también asegura la existencia de subgrupos de todos los órdenes intermedios $p, p^2, \dots, p^{n-1}$,.

3. Conceptos Relacionados

$p$-Subgrupo de Sylow: Es el subgrupo de orden $p^n$, donde $p^n$ es la máxima potencia de $p$ que divide al orden de $G$,. En otras palabras, es un $p$-subgrupo maximal,.
$p$-Grupo: Un grupo se llama $p$-grupo si su orden es una potencia de un primo $p$,.

El Primer Teorema de Sylow demuestra que todo $p$-subgrupo que no sea un $p$-subgrupo de Sylow está contenido en uno mayor. De hecho, todo subgrupo de orden $p^i$ es un subgrupo normal de algún subgrupo de orden $p^{i+1}$ para $i < n$.

4. Estrategia de la Demostración

La prueba de este teorema es un ejemplo notable de cómo se utiliza la inducción matemática y se basa en el Teorema de Cauchy (Teorema 18.2),.

Caso Base ($i=1$): La existencia de un subgrupo de orden $p$ se establece directamente mediante el Teorema de Cauchy, el cual postula que si $p$ divide a $|G|$, entonces $G$ contiene al menos un elemento de orden $p$,,.
Paso Inductivo: Se asume que $G$ posee un subgrupo $H$ de orden $p^i$ (con $i < n$) y se demuestra que existe un subgrupo $L$ de orden $p^{i+1}$. Esta construcción utiliza el normalizador de $H$ en $G$, denotado $N[H]$.
Uso del Cociente: Dado que $p$ divide al índice $[G:H]$, se demuestra que $p$ también divide al índice $[N[H]:H]$,. Puesto que $H$ es un subgrupo normal de $N[H]$, se forma el grupo cociente $N[H]/H$. Al aplicar el Teorema de Cauchy a este grupo cociente (cuyo orden es divisible por $p$), se halla un subgrupo $K$ de orden $p$. La imagen inversa de $K$ en $G$ resulta ser el subgrupo $L$ de orden $p^{i+1}$ requerido.

SOBRE EL TEOREMA DE CAUCHY DE TEORÍA DE GRUPOS

Basado en las fuentes proporcionadas y siguiendo la secuencia del curso que hemos ido construyendo (donde la Lección 4 trató sobre Permutaciones y Cayley, y la Lección 5 sobre Subgrupos Normales y Cocientes), aquí tienes la explicación del Teorema de Cauchy y su ubicación ideal en el programa.

¿Qué es el Teorema de Cauchy?

El Teorema de Cauchy es un resultado fundamental en la teoría de grupos finitos que establece una condición suficiente para la existencia de subgrupos de un orden específico.

Enunciado: Si $G$ es un grupo finito y $p$ es un número primo que divide al orden de $G$ (es decir, $p \mid |G|$), entonces $G$ contiene al menos un elemento de orden $p$,.

Implicaciones clave:

Existencia de Subgrupos: Al garantizar la existencia de un elemento $g$ de orden $p$, el teorema asegura automáticamente que existe un subgrupo cíclico de orden $p$ generado por ese elemento, denotado como $\langle g \rangle$,.
Recíproco Parcial de Lagrange: El Teorema de Lagrange establece que el orden de cualquier subgrupo debe dividir al orden del grupo, pero no garantiza que para todo divisor exista un subgrupo (por ejemplo, el grupo alternante $A_4$ tiene orden 12 pero no tiene subgrupo de orden 6),. El Teorema de Cauchy ofrece un recíproco parcial: si el divisor es primo, el subgrupo sí existe,.
Clasificación de Grupos: Es una herramienta esencial para determinar la estructura de grupos finitos pequeños. Por ejemplo, permite demostrar que todo grupo de orden 6 es isomorfo a $Z_6$ o a $S_3$, o que todo grupo de orden $pq$ (con $p,q$ primos) tiene estructura específica,.

Ubicación en el Curso

Considerando que acabamos de terminar la Lección 5 (Subgrupos Normales y Grupos Cociente), el Teorema de Cauchy debería ser el punto de partida de la Lección 6.

Propuesta: Lección 6: Acciones de Grupo y Teoremas de Estructura

Hay dos razones pedagógicas y teóricas justificadas en tus fuentes para ubicarlo aquí:

Conexión con Acciones de Grupo: Aunque el teorema se puede enunciar sin ellas, su demostración más elegante y moderna utiliza la acción de un grupo sobre un conjunto (específicamente, actuando sobre el conjunto de $p$-uplas de elementos cuyo producto es la identidad),. Introducir las "Acciones de Grupo" es el paso natural después de entender los grupos como entes abstractos (Lección 5) y antes de estudiar su estructura profunda.
Preludio a Sylow: En casi todos los textos avanzados, el Teorema de Cauchy se presenta como el primer paso o un caso especial para desarrollar los Teoremas de Sylow (que generalizan a Cauchy para potencias de primos $p^n$),.

Contenido sugerido para la Lección 6:

Definición de Acción de Grupo: Un grupo actuando sobre un conjunto.
Ecuación de Clase: Relación entre el tamaño del grupo y sus órbitas/estabilizadores.
Teorema de Cauchy: Demostración utilizando acciones (o tuplas),.
Introducción a los $p$-grupos: Definidos como grupos donde el orden de todo elemento es potencia de $p$, una consecuencia directa del estudio iniciado por Cauchy,.

De esta forma, el Teorema de Cauchy sirve de puente entre los conceptos básicos (grupos, cocientes) y la teoría estructural avanzada (Sylow).

FIN DELA ENTRADA SOBRE EL TEOREMA DE CAUCHY

Ahora le pido a NotebookLM que mw prepare un curso sobre teoría de grupos. Lo que ha salido está muy bien, es muy parecido al curso de Álgebra I de la UNAM

https://blog.nekomath.com/am1/#Bibliografia_a_partir_de_la_cual_se_elaboro_el_curso

Elabora una guía de estudio en forma de temario de un curso sobre teoría de grupos para principiantes, dividido en varias lecciones. La primera lección contiene la definición de grupo, ejemplos y las primeras propieddes que se deducen de la definición, así como terminología básica. A partir de este momento el curso se centra en grupos finitos, con sólo alguna alusión al caso de infinitos elementos.
La lección segunda desarrolla la teoría hasta llegar al teorema de Lagrange.
A partir de ahí siguen cuatro, cinco o seis lecciones (quizá alguna más) en las que se va desarrollando la teoría hasta que se puedan enunciar y demostrar los teoremas de Sylow.
Tu misión es proporcionarme un índice detallado del curso, es decir un listado de los contenidos a trabajar, en orden lógico, agrupados en lecciones, entre seis y diez lecciones, aproximadamente.

Esta guía de estudio detalla el contenido de un curso introductorio a la Teoría de Grupos, con un enfoque en grupos finitos, organizado en diez lecciones progresivas que culminan en los Teoremas de Sylow.

Guía de Estudio: Introducción a la Teoría de Grupos

Lección 1: Fundamentos de Grupos y Estructura Básica

Esta lección establece la definición formal de un grupo y su terminología asociada.

Nociones Preliminares: Leyes de composición interna. Propiedad de cerradura.
Definición Formal de Grupo: Conjunto no vacío $G$ y operación binaria que satisface:
- Asociatividad ($\mathscr{G}1$).
- Elemento Neutro/Identidad ($\mathscr{G}2$).
- Elemento Inverso/Simétrico ($\mathscr{G}3$).
Tipos de Grupos: Grupos conmutativos o Abelianos. Grupos finitos e infinitos.
Terminología y Notación: Notación multiplicativa ($a\cdot b$ o $ab$, Neutro $1$, Inverso $a^{-1}$) y Notación aditiva ($a+b$, Neutro $0$, Inverso $-a$).
Propiedades Elementales: Unicidad del elemento neutro y del inverso. Leyes de Cancelación.
Ejemplos Fundamentales: Grupos numéricos (e.g., $(\mathbb{Z}, +)$, $(\mathbb{Q}^*, \cdot)$, $(\mathbb{C}, +)$). Tablas de grupo (Tablas de Cayley) para grupos finitos pequeños.

Lección 2: Subgrupos y Grupos Cíclicos

Esta lección introduce el concepto de subestructura y estudia la clase más simple de grupos.

Definición de Subgrupo: Subconjunto $H \subseteq G$ que es un grupo bajo la operación inducida. Criterios para ser un subgrupo.
Subgrupos Triviales, Propios e Impropios.
Grupos Cíclicos y Generadores: Definición de subgrupo cíclico $\langle a \rangle = {a^n | n \in \mathbb{Z}}$.
Orden de un Elemento: $o(a)$ es el orden del subgrupo $\langle a \rangle$. Relación entre el orden de un elemento y el orden del grupo (Corolario del Teorema de Lagrange).
Teorema Estructural para Grupos Cíclicos: Todo subgrupo de un grupo cíclico es cíclico.

Lección 3: Clases Laterales y el Teorema de Lagrange

Esta lección utiliza los subgrupos para particionar el grupo, conduciendo al primer gran teorema.

Clases Laterales: Definición de clases laterales izquierdas $aH$ y derechas $Ha$.
Propiedades de las Clases Laterales: Las clases laterales son disjuntas o idénticas y particionan el grupo.
Índice de un Subgrupo: Definición del índice $[G:H]$ (número de clases laterales).
Teorema de Lagrange: El orden de cualquier subgrupo $H$ de un grupo finito $G$ divide al orden de $G$: $|G| = [G:H] \cdot |H|$.
Aplicaciones Inmediatas: Todo grupo de orden primo $p$ es cíclico y abeliano.

Lección 4: Permutaciones y Grupos Simétricos

Introducción a la fuente de los ejemplos no abelianos y la universalidad de la estructura de grupo.

Permutaciones: Definición de permutación como biyección de un conjunto. Grupo Simétrico $S_n$. Orden de $S_n$ ($n!$).
Ciclos y Trasposiciones: Notación cíclica. Descomposición de permutaciones en ciclos disjuntos y en trasposiciones.
Grupos Alternados $A_n$: Permutaciones pares e impares. $A_n$ es el subgrupo normal de $S_n$ de índice 2.
Teorema de Cayley: Todo grupo $G$ es isomorfo a un subgrupo de un grupo de permutaciones $S_{|G|}$.

Lección 5: Subgrupos Normales y Grupos Cociente

Desarrollo de la condición necesaria para la existencia de una estructura de grupo en el cociente.

Automorfismos Internos y Conjugación: Definición del conjugado $g^{-1}hg$ y el automorfismo interno $\alpha_g$.
Subgrupos Normales $N \unlhd G$: Definición a partir de la invariancia bajo conjugación ($gNg^{-1} = N$). Criterios de normalidad: $N$ es normal si y solo si $gN = Ng$.
Grupo Cociente/Factor $G/N$: Definición de la operación de clases laterales cuando $N$ es normal. El cociente $G/N$ es un grupo.
Teorema de la Correspondencia: Biyección entre los subgrupos de $G/N$ y los subgrupos de $G$ que contienen a $N$.

Lección 6: Homomorfismos y Teoremas de Isomorfismo

Formalización de las relaciones de estructura entre grupos mediante funciones.

Homomorfismos de Grupos: Definición y propiedades básicas ($f(1)=1$, $f(g^{-1})=f(g)^{-1}$).
Núcleo (Kernel) y Imagen: El núcleo $\ker(f)$ es un subgrupo normal; la imagen $\operatorname{Im}(f)$ es un subgrupo.
Primer Teorema de Isomorfismo: $G/\ker(f) \cong \operatorname{Im}(f)$.
Segundo y Tercer Teoremas de Isomorfismo: Estructura de subgrupos y cocientes: $HN/N \cong H/(H \cap N)$ y $(G/K)/(H/K) \cong G/H$ (cuando $N$ y $K$ son normales, y $K \subseteq H \subseteq G$).

Lección 7: Productos Directos y Estructura de Grupos Abelianos Finitos

Clasificación completa de los grupos abelianos finitos.

Producto Directo de Grupos: Producto Directo Externo $G_1 \times \cdots \times G_n$ y Producto Directo Interno.
Condiciones para el Producto Directo Interno: $G \cong H \times K$ si $H, K \unlhd G$, $G=HK$, y $H \cap K = {e}$.
Teorema Estructural para Grupos Abelianos Finitos: Todo grupo abeliano finito $G$ es isomorfo a un producto directo de grupos cíclicos, cuya descomposición es única si los órdenes son potencias de primos (Divisores Elementales) o satisfacen $m_i | m_{i+1}$ (Factores Invariantes/Coeficientes de Torsión).

Lección 8: Acciones de Grupos y Teorema de Cauchy

Introducción a la herramienta clave para la demostración de los Teoremas de Sylow.

Acción de un Grupo en un Conjunto: Definición de $G$-conjunto, $\phi: G \times X \to X$. Núcleo de la acción.
Estabilizador y Órbita: Definición de estabilizador $G_x$ y órbita $xG$.
Teorema Órbita-Estabilizador: $|xG| = [G:G_x]$.
Clases de Conjugación: Aplicación de la acción sobre $G$ por conjugación. Ecuación de Clases.
$p$-Grupos: Definición y propiedades de $p$-grupos finitos (orden $p^n$). El centro de un $p$-grupo no trivial es no trivial.
Teorema de Cauchy: Si $p$ divide a $|G|$, entonces $G$ tiene un elemento de orden $p$.

Lección 9: Teoremas de Sylow I: Existencia y Conjugación

Establecimiento de la existencia de subgrupos de orden potencia de primo.

$p$-Subgrupos y $p$-Subgrupos de Sylow: Definiciones precisas y orden máximo ($p^n$).
Normalizador de un Subgrupo $N[H]$: $H \unlhd N[H] \unlhd G$.
Primer Teorema de Sylow: Existencia de subgrupos de orden $p^i$ para $1 \leq i \leq n$.
Segundo Teorema de Sylow: Dos $p$-subgrupos de Sylow cualesquiera de $G$ son conjugados.

Lección 10: Teoremas de Sylow II: Enumeración y Aplicaciones

El teorema final de la clasificación de grupos finitos no abelianos.

Tercer Teorema de Sylow: El número de $p$-subgrupos de Sylow ($n_p$) satisface $n_p \equiv 1 \pmod p$ y $n_p$ divide a $|G|$.
Aplicaciones: Uso de los Teoremas de Sylow para probar la no-simplicidad de grupos de órdenes específicos (e.g., $|G|=15$ o $pq$).
Clasificación de Grupos Pequeños: Determinación de la estructura de grupos de orden $pq$ (primos $p < q$). Si $q \nmid p-1$, el grupo es cíclico; si $q|p-1$, existe un único grupo no abeliano.

OTRA VERSIÓN DEL TEMARIO

### **Guía de Estudio: Teoría de Grupos para Principiantes**
*(Enfoque en grupos finitos, con menciones puntuales a grupos infinitos)*

---

#### **Lección 1: Fundamentos de Grupos**
- **Definición de grupo**:
- Axiomas (cerradura, asociatividad, identidad, inversos).
- Notación multiplicativa vs. aditiva.
- **Ejemplos clave**:
- Finitos: $ \mathbb{Z}_n $ (enteros módulo $ n $), $ S_n $ (grupo simétrico), $ D_n $ (grupo diédrico).
- Infinitos (mención breve): $ \mathbb{Z} $, $ \mathbb{R}^* $, $ GL(n, \mathbb{R}) $.
- **Propiedades básicas**:
- Unicidad del elemento identidad y de inversos.
- Leyes de cancelación.
- **Terminología**:
- Grupo abeliano vs. no abeliano.
- Orden de un grupo ($ |G| $) y orden de un elemento.
- **Ejercicios introductorios**: Verificar axiomas en ejemplos concretos (ej: $ \mathbb{Z}_4 $, $ S_3 $).

---

#### **Lección 2: Subgrupos y Teorema de Lagrange**
- **Subgrupos**:
- Criterios de subgrupo (cerradura bajo operación e inversos).
- Subgrupos triviales y propios.
- **Subgrupos cíclicos**:
- Generadores y notación $ \langle g \rangle $.
- Ejemplos: subgrupos de $ \mathbb{Z}_6 $, $ S_3 $.
- **Clases laterales (cosets)**:
- Definición de clases izquierdas/derechas.
- Partición del grupo en clases.
- **Teorema de Lagrange**:
- Enunciado y demostración (usando partición en clases).
- Consecuencias:
- El orden de un elemento divide al orden del grupo.
- Grupos de orden primo son cíclicos.
- **Límites del teorema**: Ejemplo de $ A_4 $ (no hay subgrupo de orden 6).

---

#### **Lección 3: Homomorfismos y Subgrupos Normales**
- **Homomorfismos**:
- Definición, núcleo ($ \ker $) e imagen ($ \operatorname{im} $).
- Ejemplos: homomorfismos entre $ \mathbb{Z}_n $ y $ S_n $.
- **Subgrupos normales**:
- Definición ($ gH = Hg $ para todo $ g \in G $).
- Criterios de normalidad (ej: subgrupos de índice 2).
- **Grupos cociente**:
- Construcción de $ G/N $ para $ N \trianglelefteq G $.
- Ejemplos: $ \mathbb{Z}/n\mathbb{Z} $, $ S_3/A_3 $.
- **Primer Teorema de Isomorfía**:
- Enunciado y demostración.
- Aplicación: $ \mathbb{Z}/n\mathbb{Z} \cong \mathbb{Z}_n $.

---

#### **Lección 4: Acción de Grupos y Ecuación de Clases**
- **Acciones de grupos**:
- Definición (homomorfismo $ G \to \operatorname{Sym}(X) $).
- Ejemplos: acción por conjugación, acción en subconjuntos.
- **Órbitas y estabilizadores**:
- Definiciones y ejemplos concretos (ej: acción de $ S_3 $ en $ \{1,2,3\} $).
- **Teorema Órbita-Estabilizador**:
- Enunciado y demostración.
- Aplicación al conteo de elementos.
- **Ecuación de clases**:
- Descomposición del grupo en clases de conjugación.
- Fórmula: $ |G| = |Z(G)| + \sum [G : C_G(x_i)] $.
- Ejemplo: cálculo para $ S_3 $ y $ D_4 $.

---

#### **Lección 5: p-Grupos y Teorema de Cauchy**
- **p-Grupos**:
- Definición (grupos de orden $ p^k $).
- Propiedades clave:
- El centro $ Z(G) $ es no trivial (demostración usando ecuación de clases).
- Ejemplos: $ \mathbb{Z}_{p^2} $, grupo de cuaterniones.
- **Teorema de Cauchy**:
- Enunciado: Si $ p $ divide a $ |G| $, existe un elemento de orden $ p $.
- Demostración para grupos abelianos (inducción).
- Demostración general (usando ecuación de clases).
- **Aplicaciones**: Clasificación preliminar de grupos de orden pequeño (ej: orden 6).

---

#### **Lección 6: Teoremas de Sylow (Enunciados y Aplicaciones)**
- **p-Subgrupos de Sylow**:
- Definición: subgrupos de orden $ p^n $ donde $ p^n \mid |G| $ pero $ p^{n+1} \nmid |G| $.
- **Teoremas de Sylow**:
1. **Existencia**: $ G $ tiene al menos un $ p $-subgrupo de Sylow.
2. **Conjugación**: Todos los $ p $-subgrupos de Sylow son conjugados.
3. **Número**: El número de $ p $-subgrupos de Sylow ($ n_p $) satisface $ n_p \equiv 1 \pmod{p} $ y $ n_p \mid |G| $.
- **Ejemplos concretos**:
- Grupos de orden 12 ($ A_4 $, $ D_6 $), 15 (cíclico), 21.
- Uso de $ n_p $ para determinar normalidad.

---

#### **Lección 7: Demostración de los Teoremas de Sylow**
- **Herramientas clave**:
- Acción de $ G $ en el conjunto de subconjuntos de tamaño $ p^n $ (idea de Wielandt).
- Uso de la ecuación de clases y propiedades de $ p $-grupos.
- **Demostración detallada**:
- Existencia (construcción de un $ p $-subgrupo maximal).
- Conjugación (acción por conjugación en el conjunto de Sylow $ p $-subgrupos).
- Número ($ n_p \equiv 1 \pmod{p} $ via conteo de órbitas).
- **Discusión de casos límite**: ¿Cuándo es único un Sylow $ p $-subgrupo? (Ej: $ n_p = 1 \iff $ normal).

---

#### **Lección 8: Aplicaciones y Clasificación de Grupos**
- **Clasificación de grupos pequeños**:
- Grupos de orden $ pq $ (con $ p, q $ primos).
- Grupos de orden 8 ($ \mathbb{Z}_8 $, $ \mathbb{Z}_4 \times \mathbb{Z}_2 $, $ D_4 $, cuaterniones).
- **Simplicidad de $ A_5 $**:
- Uso de Sylow para probar que no tiene subgrupos normales no triviales.
- **Teoremas de transferencia**:
- Breve introducción al uso de Sylow en teoría de grupos finitos.
- **Problemas abiertos y perspectivas**:
- Clasificación de grupos finitos simples (mención histórica).

---

### **Notas Adicionales**
- **Enfoque pedagógico**: Cada lección incluye ejemplos concretos, ejercicios graduales y aplicaciones para motivar conceptos abstractos.
- **Grupos infinitos**: Solo se mencionan en la Lección 1 (ej: $ \mathbb{Z} $) y en contextos específicos (ej: $ GL(n, \mathbb{R}) $ como motivación para acciones).
- **Prerrequisitos mínimos**: Álgebra básica (operaciones binarias, congruencias) y lógica matemática elemental.

Este temario equilibra rigor y accesibilidad, preparando al estudiante para abordar temas avanzados como la teoría de Galois o la clasificación de grupos finitos. 📚✨

LA LECCIÓN PRIMERA NO LA DESARROLLO PORQUE LA HE VISTO DEMASIADAS VECES

LECCIÓN SEGUNDA

Desarrolla la lección segunda, como si fuera un libro de texto

Recuerdo el índice de la lección segunda

Lección 2: Subgrupos y Grupos Cíclicos

Esta lección introduce el concepto de subestructura y estudia la clase más simple de grupos.

Definición de Subgrupo: Subconjunto $H \subseteq G$ que es un grupo bajo la operación inducida. Criterios para ser un subgrupo.
Subgrupos Triviales, Propios e Impropios.
Grupos Cíclicos y Generadores: Definición de subgrupo cíclico $\langle a \rangle = {a^n | n \in \mathbb{Z}}$.
Orden de un Elemento: $o(a)$ es el orden del subgrupo $\langle a \rangle$. Relación entre el orden de un elemento y el orden del grupo (Corolario del Teorema de Lagrange).
Teorema Estructural para Grupos Cíclicos: Todo subgrupo de un grupo cíclico es cíclico.

Ahora, el desarrollo que hace Notebook LM de su propia propuesta

Lección 2: Subgrupos y Grupos Cíclicos

Esta lección explora la noción de subestructura dentro de un grupo, introduciendo formalmente el concepto de subgrupo y, a continuación, se centra en la clase más elemental y mejor comprendida de grupos: los grupos cíclicos.

1. Subgrupos

1.1. Definición y Criterios

Definición de Subgrupo: Sea $(G, \cdot)$ un grupo y $H$ un subconjunto no vacío de $G$ ($H \subseteq G$). Decimos que $H$ es un subgrupo de $G$ (denotado $H \leq G$ o $H < G$) si, con la operación $\cdot$ de $G$ restringida a $H$, $H$ es en sí mismo un grupo,,.

Para que $H$ sea un subgrupo, debe cumplir las propiedades de cerradura, asociatividad, existencia de neutro y existencia de inverso. Sin embargo, dado que $H$ utiliza la misma operación que $G$, la asociatividad se hereda directamente de $G$,.

Por lo tanto, la condición de ser subgrupo se reduce a verificar tres propiedades esenciales en $H$,:

Existencia de Neutro (o No Vacío): El elemento neutro $e$ de $G$ debe pertenecer a $H$.
Cerradura: Si $a, b \in H$, entonces $ab \in H$,.
Existencia de Inverso: Si $a \in H$, entonces $a^{-1} \in H$,.

Criterios de Subgrupo (Condiciones Equivalentes):

Criterio de las dos propiedades (general): Un subconjunto no vacío $H \subseteq G$ es un subgrupo si y solo si cumple la cerradura ($a b \in H$) y la existencia de inversos ($a^{-1} \in H$).
Criterio de una propiedad (compacto): Un subconjunto no vacío $H \subseteq G$ es un subgrupo si y solo si, para cualesquiera $a, b \in H$, se tiene que $ab^{-1} \in H$,,. (Esto implica automáticamente la existencia del neutro $e = a a^{-1}$ y del inverso $a^{-1} = e a^{-1}$),.
Criterio para subgrupos finitos: Si $G$ es un grupo y $H$ es un subconjunto finito no vacío, $H$ es un subgrupo si y solo si $H$ es cerrado bajo la operación de $G$ (es decir, $a b \in H$ para todo $a, b \in H$),.

NOTA: DESARROLLO Y DEMOSTRACIÓN DEL CRITERIO PARA GRUPOS FINITOS

Esta propiedad es una herramienta extremadamente útil en la teoría de grupos finitos, ya que simplifica enormemente la verificación de la estructura de subgrupo.

Criterio para Subgrupos Finitos

Teorema 3.2: Sea $G$ un grupo y $H$ un subconjunto no vacío de $G$. Si $H$ es finito, entonces $H$ es un subgrupo de $G$ si y solo si $H$ es cerrado bajo la operación de $G$ (es decir, $ab \in H$ para todo $a, b \in H$).

Explicación

En la definición general de subgrupo, si $H$ es un subconjunto no vacío de $G$, debe satisfacer tres condiciones (o una condición compacta equivalente): 1) cerradura, 2) contener el elemento neutro, y 3) contener los inversos de sus elementos.

El teorema anterior establece que, si el subconjunto $H$ es finito, la condición de cerradura es suficiente para garantizar las otras dos (existencia del neutro y de los inversos). Esto proporciona un recíproco parcial al Teorema de Lagrange (que establece que el orden de un subgrupo siempre divide al orden del grupo), limitando la necesidad de verificar solo una de las propiedades del grupo.

Demostración

La demostración consta de dos partes: la necesidad (si $H$ es un subgrupo, entonces es cerrado) y la suficiencia (si $H$ es un subconjunto finito no vacío y es cerrado, entonces es un subgrupo).

1. Necesidad ($\Rightarrow$)

Si $H$ es un subgrupo de $G$, por definición, la operación del grupo $G$ es cerrada en $H$. Es decir, si $a, b \in H$, entonces $ab \in H$.

2. Suficiencia ($\Leftarrow$)

Sea $G$ un grupo y $H \subseteq G$ un subconjunto finito no vacío que es cerrado bajo la operación de $G$. Debemos demostrar que:

A. $H$ contiene el elemento neutro $e$ de $G$. B. Para cada $a \in H$, su inverso $a^{-1}$ está en $H$.

Paso 1: Existencia del elemento neutro ($e \in H$)

Escojamos un elemento arbitrario $c \in H$.
Consideremos la aplicación $f_c: H \rightarrow H$ definida por $f_c(x) = cx$. Puesto que $H$ es cerrado, esta aplicación está bien definida y mapea $H$ en sí mismo.
La aplicación $f_c$ es inyectiva (uno a uno), ya que si $cx = cy$, la ley de cancelación del grupo $G$ implica necesariamente que $x = y$.
Dado que $H$ es finito y $f_c$ es una aplicación inyectiva de $H$ en sí mismo, $f_c$ debe ser también suprayectiva (sobre).
Puesto que $f_c$ es suprayectiva, debe existir un elemento $e_c \in H$ tal que $f_c(e_c) = c$. Es decir, $c e_c = c$.
Aplicando la ley de cancelación a la igualdad $c e_c = c e$, se concluye que $e_c = e$, donde $e$ es el elemento neutro de $G$. Por lo tanto, $\mathbf{e \in H}$.

Paso 2: Existencia del inverso ($a^{-1} \in H$)

Sea $a$ un elemento arbitrario en $H$. Ya que $H$ es cerrado y $e \in H$ (Paso 1), podemos intentar encontrar $a^{-1}$.
Consideremos nuevamente la aplicación $f_a: H \rightarrow H$ definida por $f_a(x) = ax$. Como se estableció en el Paso 1, $f_a$ es suprayectiva.
Puesto que $e \in H$ y $f_a$ es suprayectiva, debe existir un elemento $a' \in H$ tal que $f_a(a') = e$. Es decir, $a a' = e$.
Por la unicidad del inverso en $G$, $a'$ debe ser el inverso $a^{-1}$ de $a$ en $G$. Por lo tanto, $\mathbf{a^{-1} \in H}$.

Dado que $H$ es un subconjunto no vacío que satisface la cerradura y contiene el elemento neutro y los inversos, $H$ es un subgrupo de $G$.

Este criterio puede entenderse como una propiedad de regeneración forzada: si tomas un grupo finito y lo cierras bajo la operación, es como si tomaras una cuerda finita de ADN; la operación, repetida, debe regenerar todas las piezas necesarias (el elemento neutro y los inversos) antes de que la estructura se repita sobre sí misma, asegurando que es una subestructura completa.

FIN DE LA NOTA

Observación

Si $H \leq G$, el elemento neutro de $H$ es el mismo que el de $G$, y el inverso de cualquier elemento $a \in H$ es el mismo en $H$ que en $G$,.

1.2. Tipos de Subgrupos

Todo grupo $G$ tiene al menos dos subgrupos,:

Subgrupo Total o Impropio: El grupo $G$ mismo.
Subgrupo Trivial: El subgrupo que consiste únicamente en el elemento neutro $e$, es decir, ${e}$,.

Cualquier subgrupo que no sea $G$ se denomina subgrupo propio. De forma más estricta, un subgrupo propio es aquel diferente tanto de $G$ como de ${e}$.

2. Grupos Cíclicos y Orden de un Elemento

2.1. Grupos Cíclicos y Generadores

Definición de Subgrupo Cíclico: Sea $G$ un grupo y $a \in G$. El subgrupo cíclico generado por $a$ se denota $\langle a \rangle$ (o $[a]$) y es el conjunto de todas las potencias enteras de $a$: $$\langle a \rangle := {a^n | n \in \mathbb{Z}}$$ Este conjunto $\langle a \rangle$ es, por el Teorema 3.2, siempre un subgrupo de $G$,,. Es el menor subgrupo de $G$ que contiene a $a$,.

Definición de Grupo Cíclico: Un grupo $G$ es cíclico si existe un elemento $a \in G$ tal que $G = \langle a \rangle$,. El elemento $a$ se llama generador de $G$,.

Un hecho fundamental es que todo grupo cíclico es abeliano,.

2.2. Orden de un Elemento

Definición de Orden: Sea $a \in G$. El orden de $a$, denotado $o(a)$ o $|a|$, es igual al orden del subgrupo cíclico que genera, $o(\langle a \rangle)$,.

Si $a$ tiene orden finito $n$, esto significa que $n$ es el menor entero positivo tal que $a^n = e$ (donde $e$ es el neutro),,.

DEMOSTRACIÓN DETALLADA

Esta es una propiedad fundamental que define el concepto del **orden de un elemento** en la Teoría de Grupos.

### Propiedad: Definición del Orden de un Elemento

Sea $G$ un grupo con elemento neutro $e$. El orden de un elemento $a \in G$, denotado $o(a)$ o $|a|$, es igual al cardinal del subgrupo cíclico que genera, $\langle a \rangle = \{a^n | n \in \mathbb{Z}\}$.

Si este orden es **finito** ($n$), entonces $n$ es precisamente el **menor entero positivo** tal que al elevar $a$ a esa potencia se obtiene el elemento neutro $e$. Es decir:
$$o(a) = n \iff n = \min\{m \in \mathbb{Z}^+ : a^m = e\}$$

### Demostración Detallada

La demostración consiste en probar que el cardinal del subgrupo $\langle a \rangle$ es exactamente igual al menor exponente positivo que anula a $a$.

1. **Existencia del Mínimo Exponente:** Dado que el orden de $a$ es finito ($n$), el subgrupo $\langle a \rangle$ también es finito. Si la secuencia de potencias de $a$ fueran todas distintas, el grupo $\langle a \rangle$ sería infinito, lo cual es una contradicción. Por lo tanto, debe existir un entero positivo $m$ tal que $a^m = e$. Por el **Principio del Buen Orden** (o el hecho de que el conjunto de exponentes positivos que anulan $a$ no es vacío), existe un **menor entero positivo** $m$ tal que $a^m = e$.

2. **Los Elementos son Distintos:** Demostraremos que los elementos $e, a, a^2, \dots, a^{m-1}$ son todos distintos.
* Supongamos, por contradicción, que existen dos exponentes $i$ y $j$ tales que $0 \leq j < i < m$ y $a^i = a^j$.
* Multiplicando por $a^{-j}$, obtenemos $a^{i-j} = e$.
* Dado que $i$ y $j$ son menores que $m$, tenemos que $0 < i-j < m$.
* Esto contradice la elección de $m$ como el **menor entero positivo** que satisface $a^m = e$.
* Por lo tanto, los elementos $\{e, a, a^2, \dots, a^{m-1}\}$ son $m$ elementos distintos de $G$.

3. **Generación Completa del Subgrupo:** Demostraremos ahora que cualquier potencia entera de $a$, $a^k$ (donde $k \in \mathbb{Z}$), es igual a uno de los $m$ elementos anteriores.
* Sea $a^k \in \langle a \rangle$. Aplicando el **Algoritmo de la División** a $k$ y $m$, existen enteros únicos $q$ y $r$ tales que $k = mq + r$, con $0 \leq r < m$.
* Entonces, $a^k = a^{mq+r} = a^{mq} a^r = (a^m)^q a^r$.
* Dado que $a^m = e$ (por definición de $m$), tenemos $a^k = e^q a^r = a^r$.
* Puesto que $0 \leq r < m$, $a^k$ pertenece necesariamente al conjunto $\{e, a, a^2, \dots, a^{m-1}\}$.

4. **Conclusión:** El conjunto $\langle a \rangle$ está formado exactamente por los $m$ elementos distintos $\{e, a, a^2, \dots, a^{m-1}\}$. Por lo tanto, el orden del subgrupo $\langle a \rangle$ es $|\langle a \rangle| = m$.

Dado que $n = o(a) = |\langle a \rangle|$, se concluye que $n = m$, probando que el orden del elemento es, en efecto, el menor exponente positivo que lo anula.

FIN DE LA DEMOSTRACIÓN

Recuerda que: Si $G$ es un grupo finito, el orden de cualquier elemento $a \in G$ siempre será finito.

2.3. Corolario del Teorema de Lagrange

El Teorema de Lagrange establece que el orden de cualquier subgrupo $H$ de un grupo finito $G$ divide el orden de $G$,.

Como consecuencia directa de este teorema:

El orden de un elemento $a$ de un grupo finito $G$ es finito y divide el orden del grupo $|G|$,,.
Si $|G| = n$, entonces $a^n = e$ para todo $a \in G$,.

3. Teorema Estructural para Grupos Cíclicos

El siguiente resultado es crucial para comprender la estructura de los grupos cíclicos:

Teorema: Todo subgrupo de un grupo cíclico es cíclico,,.

Ejemplo: Si tomamos el grupo cíclico de los enteros $(\mathbb{Z}, +)$, todos sus subgrupos son de la forma $n\mathbb{Z}$ (el conjunto de todos los múltiplos de $n$), y todos estos subgrupos son también cíclicos (generados por $n$ o $-n$).

DEMOSTRACIÓN DEL TEOREMA ESTRUCTURAL DE LOS GRUPOS CÍCLICOS

El Teorema Estructural para Grupos Cíclicos establece un principio fundamental de conservación de la estructura: Todo subgrupo de un grupo cíclico es, a su vez, un grupo cíclico.

Este resultado es notable porque demuestra que, aunque un subgrupo sea una subestructura del grupo original, si el grupo grande tiene la propiedad de ser generado por un solo elemento (cíclico), esa simplicidad se mantiene en todos sus subgrupos.

Demostración Detallada

Sea $G$ un grupo cíclico. Por definición, existe un elemento $a \in G$ que lo genera, de modo que $G = \langle a \rangle$. Esto significa que cada elemento de $G$ es una potencia entera de $a$, $G = {a^n | n \in \mathbb{Z}}$. Sea $H$ un subgrupo arbitrario de $G$ ($H \leq G$). Queremos demostrar que $H$ también es cíclico.

1. Caso Trivial

Si $H$ es el subgrupo trivial, $H = {e}$, donde $e$ es el elemento neutro, es claro que $H$ es cíclico, generado por $e$ (pues $e^1 = e$).

2. Caso No Trivial

Supongamos que $H \neq {e}$.

Identificación del Generador: Puesto que $H$ es un subgrupo de $G$, todos sus elementos son de la forma $a^n$ para algún $n \in \mathbb{Z}$. Dado que $H \neq {e}$, debe contener elementos con exponente $n \neq 0$. Si $a^n \in H$, su inverso $a^{-n}$ también está en $H$. Por lo tanto, el conjunto de exponentes positivos $n$ tales que $a^n \in H$ no es vacío.
Sea $m$ el menor entero positivo tal que $a^m \in H$,. Definimos $c = a^m$. Afirmamos que $c$ es el generador de $H$, es decir, $H = \langle c \rangle$.
Aplicación del Algoritmo de la División: Tomemos un elemento cualquiera $b \in H$. Como $b \in G$, $b$ es de la forma $a^n$ para algún $n \in \mathbb{Z}$. Aplicamos el Algoritmo de la División a los enteros $n$ y $m$, lo cual nos da: $$n = mq + r$$ donde $q$ y $r$ son enteros únicos, y $0 \leq r < m$.
Conclusión por Minimalidad: Sustituyendo esta relación en $b$: $$b = a^n = a^{mq+r} = (a^m)^q a^r$$ Para despejar $a^r$, multiplicamos por el inverso $(a^m)^{-q}$: $$a^r = a^n (a^m)^{-q}$$ Dado que $b=a^n \in H$ y $c=a^m \in H$, y como $H$ es un subgrupo y está cerrado bajo productos e inversos, la combinación $a^n (a^m)^{-q}$ debe pertenecer a $H$. Hemos encontrado que $a^r \in H$, donde $r$ es un exponente tal que $0 \leq r < m$. Puesto que $m$ fue elegido como el menor entero positivo con la propiedad de que $a^m \in H$, la única posibilidad para $r$ es $r=0$.
Resultado Final: Si $r=0$, entonces $n = mq$. Sustituyendo de nuevo en $b$: $$b = a^n = a^{mq} = (a^m)^q = c^q$$ Esto demuestra que todo elemento $b \in H$ es una potencia de $c = a^m$. Por lo tanto, $H$ es el subgrupo cíclico generado por $c$, y concluimos que $H$ es cíclico.

Fin de la demostración y del tema

FIN DE LA LECCIÓN SEGUNDA

LECCIÓN TERCERA

RECUERDO EL TEMARIO O ÍNDICE DE TEMAS DE QUE TRATA LA LECCIÓN TERCERA

Lección 3: Clases Laterales y el Teorema de Lagrange

Esta lección utiliza los subgrupos para particionar el grupo, conduciendo al primer gran teorema.

Clases Laterales: Definición de clases laterales izquierdas aH y derechas Ha.
Propiedades de las Clases Laterales: Las clases laterales son disjuntas o idénticas y particionan el grupo.
Índice de un Subgrupo: Definición del índice [G:H] (número de clases laterales).
Teorema de Lagrange: El orden de cualquier subgrupo H de un grupo finito G divide al orden de G: |G|=[G:H]⋅|H|.
Aplicaciones Inmediatas: Todo grupo de orden primo p es cíclico y abeliano.

DESARROLLO DE LA LECCIÓN TERCERA COMO SI FUERA UN LIBRO DE TEXTO

Lección 3: Clases Laterales y el Teorema de Lagrange

Esta lección desarrolla cómo la existencia de subgrupos dentro de un grupo finito impone restricciones fundamentales en la estructura del grupo, culminando en el Teorema de Lagrange, el primer gran resultado de la teoría de grupos.

1. Clases Laterales

Al considerar un subgrupo $H$ de un grupo $G$, podemos usar los elementos de $G$ para "trasladar" o "replicar" a $H$ a través de todo el grupo, creando conjuntos llamados clases laterales.

Definición

Sea $(G, \cdot)$ un grupo y $H$ un subgrupo de $G$.

Clase Lateral Izquierda ($aH$): Es el conjunto formado por todos los productos de un elemento fijo $a \in G$ por cada elemento de $H$: $$aH := {ax : x \in H}$$
Clase Lateral Derecha ($Ha$): Es el conjunto formado por todos los productos de cada elemento de $H$ por un elemento fijo $a \in G$: $$Ha := {xa : x \in H}$$

En el caso en que la operación del grupo sea la suma (notación aditiva), las clases se escriben como $a+H$ (izquierda) y $H+a$ (derecha),.

Observación Importante: Aunque una clase lateral $aH$ o $Ha$ es un subconjunto de $G$, generalmente no es un subgrupo de $G$, a menos que $a$ sea un elemento de $H$.

2. Propiedades de las Clases Laterales

Las clases laterales poseen propiedades clave que demuestran que, lejos de ser subgrupos aleatorios, son conjuntos estructurales que organizan el grupo completo.

A. Partición del Grupo

La colección de todas las clases laterales izquierdas (o derechas) de $H$ en $G$ forma una partición de $G$,,. Esto significa que cumplen dos condiciones fundamentales:

Cubren el Grupo: Todo elemento $a \in G$ pertenece al menos a una clase lateral (siempre pertenece a $aH$ y $Ha$).
Disyunción o Identidad: Dos clases laterales distintas cualesquiera son ajenas (disjuntas, sin elementos en común) o son idénticas,,.

Esta última propiedad significa que si dos clases laterales, digamos $aH$ y $bH$, comparten al menos un elemento, entonces deben ser iguales: $aH = bH$,. La condición para que $aH = bH$ se satisface si y solo si $b^{-1}a \in H$.

B. Equipotencia de Clases

Todas las clases laterales izquierdas de $H$ en $G$ (y de igual modo las clases laterales derechas) tienen exactamente el mismo número de elementos que el subgrupo $H$,,.

Formalmente, si $aH$ es cualquier clase lateral izquierda, su cardinalidad es igual a la cardinalidad de $H$: $ Card(aH) = |H|$. ($Card A$ se lee "cardinal de A", es decir, número de elementos del conjunto A). Esto se debe a que existe una correspondencia biyectiva (uno a uno y sobre) entre $H$ y cualquier clase lateral $aH$,.

Antes de pasar al siguiente punto, vamos a probar que todas las clases laterales izquierdas tienen el mismo número de elementos

La propiedad que requiere demostración es que todas las clases laterales izquierdas y derechas de un subgrupo $H$ en un grupo $G$ poseen la misma cardinalidad que el subgrupo $H$ mismo. Esta relación es crucial, ya que establece la base para la partición uniforme del grupo $G$ y conduce directamente al Teorema de Lagrange.

La demostración se basa en construir una correspondencia biyectiva (uno a uno y sobreyectiva) entre los elementos del subgrupo $H$ y los elementos de cualquier clase lateral $aH$ (o $Ha$).

1. Demostración para Clases Laterales Izquierdas ($aH$)

Sea $H$ un subgrupo de $G$ y sea $aH$ una clase lateral izquierda, donde $a$ es cualquier elemento de $G$. Queremos demostrar que $|aH| = |H|$.

Definimos una función $\lambda_a$ (o $f_a$) del subgrupo $H$ a la clase lateral $aH$: $$\lambda_a: H \rightarrow aH$$ $$h \mapsto \lambda_a(h) = ah$$

a) Es Inyectiva (Uno a Uno): Si tomamos dos elementos $h_1, h_2 \in H$ tales que sus imágenes son iguales, $\lambda_a(h_1) = \lambda_a(h_2)$, entonces por definición $ah_1 = ah_2$. Multiplicando ambos lados por el inverso de $a$ por la izquierda ($a^{-1}$), o utilizando la Ley de Cancelación, se deduce que $h_1 = h_2$. Por lo tanto, la función es inyectiva.

b) Es Suprayectiva (Sobre): Por definición, cualquier elemento $y$ en la clase lateral $aH$ es de la forma $y = ah$ para algún elemento $h \in H$,. Dado que $y$ se obtiene como imagen de un elemento $h$ en $H$ a través de $\lambda_a$, la función $\lambda_a$ es suprayectiva.

Puesto que $\lambda_a$ es tanto inyectiva como suprayectiva, es una biyeción. Por lo tanto, el subgrupo $H$ y la clase lateral izquierda $aH$ tienen el mismo cardinal,.

2. Demostración para Clases Laterales Derechas ($Ha$)

De manera similar, se demuestra que todas las clases laterales derechas $Ha$ tienen el mismo número de elementos que $H$.

Definimos una función $\rho_a$ del subgrupo $H$ a la clase lateral $Ha$: $$\rho_a: H \rightarrow Ha$$ $$h \mapsto \rho_a(h) = ha$$

Inyectividad: Si $h_1 a = h_2 a$, la Ley de Cancelación implica que $h_1 = h_2$.
Suprayectividad: Cualquier elemento en $Ha$ es, por definición, de la forma $ha$ para algún $h \in H$.

Por lo tanto, $\rho_a$ es una biyección, lo que demuestra que todas las clases laterales derechas tienen el mismo cardinal que $H$.

Conclusión

Como todas las clases laterales izquierdas y todas las clases laterales derechas son equipotentes al subgrupo $H$, se concluye que todas ellas tienen exactamente el mismo número de elementos,. Si $G$ es finito, el índice de $H$ en $G$, denotado $[G: H]$, es el número total de estas clases, y se cumple que $|G| = [G: H] \cdot |H|$.

FIN DE LA DEMOSTRACIÓN

3. Índice de un Subgrupo

El concepto de índice captura cuántas veces cabe el subgrupo $H$ en el grupo $G$.

Definición de Índice: Sea $H$ un subgrupo del grupo $G$. El índice de $H$ en $G$, denotado $[G:H]$ (o $|G:H|$), es el número de clases laterales distintas de $H$ en $G$,,.

Si $G$ es un grupo finito, el índice siempre es un entero positivo.

4. Teorema de Lagrange

El Teorema de Lagrange (Teorema 5.4) utiliza la propiedad de partición de las clases laterales para establecer una relación fundamental entre los órdenes de un grupo y sus subgrupos,.

Enunciado del Teorema de Lagrange:

Si $G$ es un grupo finito y $H$ es un subgrupo de $G$, entonces el orden de $H$ divide al orden de $G$,,.

Fórmula: La relación se expresa mediante la fórmula: $$|G| = [G:H] \cdot |H|$$ El orden de $G$ es igual al producto del índice de $H$ en $G$ por el orden de $H$,,.

Idea de la Demostración: Dado que $G$ se divide en $[G:H]$ clases laterales distintas y todas ellas tienen el mismo tamaño $|H|$ (equipotencia), la suma de las cardinalidades de estas clases debe ser igual a la cardinalidad total de $G$,.

INSTRUCCIÓN QUE LE DOY A LA MÁQUINA PARA QUE DEMUESTRE EN DETALLE EL TEOREMA DE lAGRANGE:

Demuestra el teorema de Lagrange que tú misma enunciaste y del que diste una cierta idea o esquema de demostración así: La propiedad que requiere demostración es que todas las clases laterales izquierdas y derechas de un subgrupo $H$ en un grupo $G$ poseen la misma cardinalidad que el subgrupo $H$ mismo. Esta relación es crucial, ya que establece la base para la partición uniforme del grupo $G$ y conduce directamente al Teorema de Lagrange. Enunciado del Teorema de Lagrange:

Si $G$ es un grupo finito y $H$ es un subgrupo de $G$, entonces el orden de $H$ divide al orden de $G$,,

Fórmula: La relación se expresa mediante la fórmula: $$|G| = [G:H] \cdot |H|$$ El orden de $G$ es igual al producto del índice de $H$ en $G$ por el orden de $H$,,.

Idea de la Demostración: Dado que $G$ se divide en $[G:H]$ clases laterales distintas y todas ellas tienen el mismo tamaño $|H|$ (equipotencia), la suma de las cardinalidades de estas clases debe ser igual a la cardinalidad total de $G$,. Tu tarea es demostrar el Teorema de Lagrange con detalle para que lo entienda un principiante como yo

RESPUESTA DE LA MÁQUINA:

La demostración del Teorema de Lagrange es fundamental ya que establece una propiedad estructural clave en la teoría de grupos finitos, revirtiendo parcialmente el problema de determinar el orden de los subgrupos. El teorema se enuncia formalmente así:

Si $G$ es un grupo finito y $H$ es un subgrupo de $G$, entonces el orden de $H$ divide al orden de $G$.

La relación se expresa mediante la fórmula: $$\mathbf{|G| = [G:H] \cdot |H|}$$ donde $|G|$ y $|H|$ son los órdenes de los grupos y $[G:H]$ es el índice de $H$ en $G$ (el número de clases laterales distintas).

La demostración se basa en dos pasos esenciales: primero, que las clases laterales de $H$ particionan a $G$; y segundo, que todas las clases laterales tienen el mismo tamaño que $H$.

I. Propiedad de Partición del Grupo

Sea $G$ un grupo finito y $H$ un subgrupo. Una clase lateral izquierda de $H$ generada por $a \in G$ es el conjunto $aH = {ax : x \in H}$.

Demostramos que la colección de todas las clases laterales izquierdas distintas (denotada $G/H$) forma una partición de $G$, lo que significa que cubren todo $G$ y son disjuntas o idénticas.

Cubrimiento (Cada elemento está en alguna clase): Puesto que $H$ es un subgrupo, contiene al elemento neutro $e$ de $G$. Por lo tanto, para cualquier elemento $a \in G$, se cumple que $a = a e$, lo que implica que $a$ pertenece a la clase lateral $aH$.
Disyunción o Identidad (Las clases no se solapan parcialmente): Supongamos que dos clases laterales, $aH$ y $bH$, no son disjuntas y contienen al menos un elemento en común. Sea $z$ ese elemento. $$z = ah_1 = bh_2 \quad \text{para algunos } h_1, h_2 \in H$$ Multiplicando por $b^{-1}$ por la izquierda, obtenemos que $b^{-1} a = h_2 h_1^{-1}$. Como $H$ es un subgrupo, es cerrado bajo la operación y contiene inversos, por lo tanto, $h_2 h_1^{-1}$ es un elemento de $H$. La condición de que $b^{-1} a \in H$ es equivalente a que las dos clases laterales sean idénticas: $aH = bH$.

Dado que las clases laterales cubren $G$ y son disjuntas o idénticas, forman una partición de $G$.

II. Propiedad de Equipotencia (Mismo Tamaño)

A continuación, demostramos que todas las clases laterales tienen exactamente el mismo número de elementos que el subgrupo $H$.

Para ello, definimos una función $\phi$ que va del subgrupo $H$ a una clase lateral arbitraria $aH$: $$\phi: H \rightarrow aH \quad \text{dada por} \quad \phi(h) = ah$$

Inyectividad (Uno a uno): Supongamos que $\phi(h_1) = \phi(h_2)$ para $h_1, h_2 \in H$. Esto implica $a h_1 = a h_2$. Aplicando la ley de cancelación en el grupo $G$, se deduce que $h_1 = h_2$. Por lo tanto, $\phi$ es inyectiva.
Suprayectividad (Sobre): Por definición, cualquier elemento en la clase lateral $aH$ es de la forma $ah$, donde $h \in H$. Pero $ah = \phi(h)$, lo que significa que todo elemento en $aH$ es la imagen de algún elemento en $H$. Por lo tanto, $\phi$ es suprayectiva.

Como $\phi$ es una biyección, concluimos que $|aH| = |H|$.

III. Conclusión del Teorema de Lagrange

Sea $r = [G:H]$ el número de clases laterales distintas de $H$ en $G$. Puesto que $G$ es finito y las clases laterales forman una partición disjunta de $G$ (Paso I), $G$ puede escribirse como la unión disjunta de estas $r$ clases laterales: $$G = a_1 H \cup a_2 H \cup \cdots \cup a_r H$$ El cardinal de $G$ es la suma de los cardinales de las clases: $$|G| = |a_1 H| + |a_2 H| + \cdots + |a_r H|$$ Como todas las clases tienen el mismo cardinal $|H|$ (Paso II), sustituimos: $$|G| = \underbrace{|H| + |H| + \cdots + |H|}_{r \text{ veces}} = r \cdot |H|$$ Sustituyendo $r$ por la notación de índice, obtenemos la fórmula fundamental: $$\mathbf{|G| = [G:H] \cdot |H|}$$ Dado que $|G|$, $[G:H]$, y $|H|$ son todos enteros positivos, se concluye que el orden del subgrupo $|H|$ divide necesariamente al orden del grupo $|G|$.

Final de la demostración y de la respuesta de la máquina

5. Aplicaciones Inmediatas

El Teorema de Lagrange tiene consecuencias inmediatas que son cruciales para entender los grupos finitos:

El orden de cualquier elemento $a \in G$ divide al orden del grupo $|G|$,,. Esto se debe a que el orden de un elemento $o(a)$ es, por definición, el orden del subgrupo cíclico $\langle a \rangle$ que genera, y Lagrange garantiza que el orden de cualquier subgrupo es divisor del orden del grupo,.
Todo elemento $a$ de un grupo finito $G$ elevado a la potencia $|G|$ es igual al elemento neutro $e$ ($a^{|G|} = e$),.
Clasificación de Grupos de Orden Primo: Si un grupo $G$ tiene un orden que es un número primo $p$, entonces $G$ no puede tener subgrupos propios no triviales,. Por lo tanto, cualquier elemento $a \in G$ distinto de la identidad debe tener un orden que divida a $p$ y que sea mayor que 1; el único orden posible es $p$,. Consecuentemente, todo grupo de orden primo $p$ es cíclico,.
Grupos de Orden Primo son Abelianos: Puesto que todo grupo cíclico es abeliano (conmutativo), y todo grupo de orden primo es cíclico, se deduce que todo grupo de orden primo es abeliano.

Demuestra con detalle la propiedad: Todo elemento $a$ de un grupo finito $G$ elevado a la potencia $|G|$ es igual al elemento neutro $e$ ($a^{|G|} = e$),.

Esta propiedad es una consecuencia inmediata y muy importante del Teorema de Lagrange,, y su demostración se basa en relacionar el orden de un elemento con el orden del grupo,.

El enunciado de la propiedad es: Todo elemento $a$ de un grupo finito $G$ elevado a la potencia $|G|$ es igual al elemento neutro $e$ ($a^{|G|} = e$),.

Demostración Detallada

La prueba se construye a partir de dos resultados intermedios, que se basan en el Teorema de Lagrange:

1. Orden de un Elemento y Orden del Grupo

Sea $a$ un elemento arbitrario en el grupo finito $G$.

El orden de $a$ ($o(a)$) se define como el orden del subgrupo cíclico $\langle a \rangle$ que genera.
El Teorema de Lagrange establece que el orden de cualquier subgrupo $H$ debe dividir al orden del grupo $G$.
Por lo tanto, el orden de $a$ (que es el orden del subgrupo $\langle a \rangle$) debe ser finito y dividir al orden del grupo $|G|$.

2. La Conclusión ($a^{|G|} = e$)

Sea $m = |G|$ el orden del grupo y sea $k = o(a)$ el orden del elemento $a$.

Puesto que $k$ divide a $m$ (según el punto anterior), existe algún entero $n$ tal que $m = k \cdot n$.
Por la definición del orden de un elemento, $k$ es el menor entero positivo tal que $a^k = e$.
Sustituimos $m$ en la expresión $a^{|G|}$: $$a^{|G|} = a^m = a^{k \cdot n}$$
Aplicando las leyes de los exponentes, podemos reescribir esto como una potencia del elemento neutro: $$a^{k \cdot n} = (a^k)^n$$
Como $a^k = e$, se obtiene: $$(a^k)^n = e^n$$
Dado que $e^n = e$, la conclusión es que $a^{|G|} = e$.

Esta es una aplicación directa de la fórmula general del Teorema de Lagrange, que indica que $|G| = [G:H] \cdot |H|$, al tomar $H = \langle a \rangle$.

FIN DE LA DEMOSTRACIÓN Y DE LA LECCIÓN TERCERA

FIN DE LA LECCIÓN TERCERA

LECCIÓN CUARTA: permutaciones y grupos simétricos

Recordemos el índice de temas a tratar que perpetró la máquina:

Lección 4: Permutaciones y Grupos Simétricos

Introducción a la fuente de los ejemplos no abelianos y la universalidad de la estructura de grupo.

Permutaciones: Definición de permutación como biyección de un conjunto. Grupo Simétrico Sn. Orden de Sn (n!).
Ciclos y Trasposiciones: Notación cíclica. Descomposición de permutaciones en ciclos disjuntos y en trasposiciones.
Grupos Alternados An: Permutaciones pares e impares. An es el subgrupo normal de Sn de índice 2.
Teorema de Cayley: Todo grupo G es isomorfo a un subgrupo de un grupo de permutaciones S|G|.

¡¡ATENCIÓN, ATENCIÓN!! WARNING DANGER ALARMA

LOS PUNTOS SEGUNDO Y TERCERO PODRÍAN SER LARGOS, TEDIOSOS Y CONCEPTUALMENTE DIFÍCILES Y REQUERIR DESARROLLOS O ACLARACIONES POSTERIORES. Ya veremos como solventamos las dificultades que puedan surgir

Voy a dejar la lección tal y como la desarrolla la máquina y luego le diré que ponga demostraciones detalladas. Probablemente tenga que recurrir a libros que despliegan la materia de manera más intuitiva.

DESARROLLO DE LA LECCIÓN CUARTA

Lección 4: Permutaciones y Grupos Simétricos

Esta lección marca un punto de inflexión, ya que introduce el concepto de permutación, la fuente de los primeros ejemplos de grupos no abelianos que examinaremos,. Además, sentaremos las bases para el Teorema de Cayley, que demuestra la universalidad de la estructura de grupo al mostrar que todo grupo puede verse, estructuralmente, como un grupo de permutaciones,.

1. Permutaciones y el Grupo Simétrico $S_n$

Definición y Notación

Una permutación de un conjunto $X$ es una función biyectiva $\alpha: X \to X$,,. Esto significa que la función es uno a uno (inyectiva) y sobre (suprayectiva).

El conjunto de todas las permutaciones posibles de $X$, denotado $S_X$, forma un grupo bajo la composición de funciones (multiplicación de permutaciones),.

Cuando $X$ es un conjunto finito de $n$ elementos, generalmente el conjunto ${1, 2, \dots, n}$,, este grupo se denomina Grupo Simétrico de $n$ letras y se denota $S_n$,,.

El orden del grupo simétrico $S_n$, es decir, el número total de permutaciones posibles, es $n!$ (n factorial),. Por ejemplo, el grupo $S_3$ tiene un orden de $3! = 6$ elementos.

Las permutaciones se representan comúnmente en notación de dos filas, donde el renglón superior lista los elementos del dominio y el renglón inferior sus imágenes: $$\sigma = \begin{pmatrix} 1 & 2 & 3 & \dots & n \\ \sigma(1) & \sigma(2) & \sigma(3) & \dots & \sigma(n) \end{pmatrix}$$.

2. Ciclos y Estructura Interna

Ciclos y Descomposición

Un ciclo es una permutación $\sigma$ que mueve únicamente un subconjunto de elementos ${i_1, i_2, \dots, i_r}$ de forma cíclica ($i_1 \to i_2 \to \dots \to i_r \to i_1$), manteniendo fijos a todos los demás elementos,,. Los ciclos se denotan abreviadamente como $\sigma = (i_1, i_2, \dots, i_r)$. La longitud de un ciclo es el número de elementos que mueve.

Un resultado fundamental en la teoría de $S_n$ es el siguiente: Teorema de Descomposición Cíclica: Toda permutación $\sigma \in S_n$ (que no sea la identidad) se puede expresar de manera única (salvo por el orden en que aparecen) como un producto de ciclos disjuntos,,,.

Esta descomposición es vital porque los ciclos disjuntos conmutan entre sí,.

Orden de una Permutación

El orden de una permutación, $o(\sigma)$, está íntimamente ligado a su descomposición:

El orden de un ciclo es igual a su longitud,.
El orden de una permutación que es producto de ciclos disjuntos es el mínimo común múltiplo (mcm) de las longitudes de sus ciclos,,,.

3. Trasposiciones y Grupos Alternados

Trasposiciones y Paridad

Un 2-ciclo o trasposición es un ciclo de longitud 2,,. Una trasposición es simplemente el intercambio de dos elementos.

Las transposiciones son los "ladrillos" de las permutaciones: toda permutación $\sigma \in S_n$ puede escribirse como un producto de transposiciones, lo que significa que las trasposiciones son generadores de $S_n$,,.

La paridad de una permutación clasifica si el número de transposiciones en cualquiera de sus factorizaciones es par o impar,,. Esta paridad es un invariante de la permutación.

La signatura de $\sigma$, $\operatorname{sgn}(\sigma)$, es una aplicación que toma el valor +1 si $\sigma$ es par y -1 si $\sigma$ es impar,. La aplicación signatura es un homomorfismo de grupos.

El Grupo Alternado $A_n$

El Grupo Alternado $A_n$ (Alternating Group) se define como el conjunto de todas las permutaciones pares de $S_n$,,.

Dado que $A_n$ es el núcleo (kernel) del homomorfismo signatura,, se concluye inmediatamente que $A_n$ es un subgrupo normal de $S_n$,.

El orden de $A_n$ es $\mathbf{n!/2}$,.
El grupo $A_n$ es de índice 2 en $S_n$,.
Para $n \ge 3$, $A_n$ está generado por los 3-ciclos,,.

4. Universalidad de Grupos: Teorema de Cayley

El estudio de los grupos de permutaciones es fundamental porque la estructura de grupo es, en esencia, la misma para cualquier grupo que para algún grupo de permutaciones,.

Teorema de Cayley: Todo grupo $G$ es isomorfo a un subgrupo de un grupo de permutaciones,,.

La prueba establece que, si $G$ es un grupo finito de orden $n$, existe un isomorfismo entre $G$ y un subgrupo de $S_n$ (el grupo simétrico sobre sus propios elementos, $S_G$).

La demostración procede asociando a cada elemento $a \in G$ una permutación $\rho_a$ (llamada multiplicación derecha por $a$) definida por $\rho_a(x) = xa$. La aplicación que envía $a \to \rho_a$ es un monomorfismo (homomorfismo inyectivo), lo que prueba que $G$ es isomorfo a su imagen $G' = {\rho_a | a \in G}$, la cual es un subgrupo de $S_G$.

Aunque este resultado no resulta útil para cálculos en la práctica debido a que el grupo $S_G$ suele ser muy grande (orden $n!$),, sí establece una conexión filosófica profunda: todo grupo abstracto es, en el fondo, un grupo de movimientos o reordenamientos.

EL PRIMER TRUCO QUE VOY A EMPLEAR es dejar la lección así desarrollada en primer grado y luego cuando se haya leído entera, poner las demostraciones detalladas.

En el segundo grado intentaremos dar demostraciones pormenorizadas de cada uno de los enunciados que se acaban dedar.

Posiblemente haya que recurrir a un tercer grado en el que se den las mismas demostraciones pormenorizadas pero ejemplificadas antes, después y durante el proceso de la prueba.

Vamos a comenzar el segundo grado de exposición dando demostraciones pormenorizadas.

Veremos punto por punto y en cada punto comentaremos los apartados que requieran demostraciones o práctica para dominar la notación.

1. Permutaciones y el Grupo Simétrico Sn

1) El conjunto de todas las permutaciones posibles de X, denotado SX, forma un grupo bajo la composición de funciones (multiplicación de permutaciones),.

Esto es muy fácil de ver: el producto de permutaciones es composición de aplicaciones biyectivas de un conjunto en sí mismo, y esa composición vuelve a ser biyectiva del conjunto en sí mismo, por tanto las permutaciones de un conjunto forman otro conjunto que es cerrado respecto a la operación de multiplicación de permutaciones. La operación es asociativa porque lo es la composición de funciones. La identidad es aplicación biyectiva del conjunto en sí mismo y ejerce de elemento neutro, y la inversa de una función biyectiva es biyectiva, y eso nos da el elemento inverso.

2) El orden del grupo simétrico Sn, es decir, el número total de permutaciones posibles, es n! (n factorial),. Por ejemplo, el grupo S3 tiene un orden de 3!=6 elementos

A ver si nos sale demostrarlo por inducción completa:

El Teorema que establece que el orden del grupo simétrico $S_n$, es decir, el número total de permutaciones de un conjunto de $n$ elementos, es $n!$ (n factorial), es un resultado fundamental en el estudio de los grupos finitos.

Demostración por Inducción sobre $n$

Sea $P(n)$ la proposición: el orden del grupo simétrico $S_n$, denotado $|S_n|$, es igual a $n!$.

El grupo simétrico $S_n$ se define como el grupo de todas las funciones biyectivas (permutaciones) del conjunto $I_n = {1, 2, \dots, n}$ en sí mismo. El factorial de $n$, $n!$, se define como el producto de los primeros $n$ números naturales: $n! = n \cdot (n-1) \cdot \dots \cdot 1$.

Paso 1: Caso Base ($n=1$)

Debemos verificar que la proposición $P(1)$ es cierta.

El grupo $S_1$ es el conjunto de todas las permutaciones del conjunto ${1}$. Solo existe una función biyectiva posible, $\sigma(1)=1$.

Por otro lado, $1! = 1$.

Puesto que $|S_1| = 1 = 1!$, la proposición es cierta para $n=1$.

Paso 2: Hipótesis de Inducción

Asumimos que la proposición $P(k)$ es verdadera para un entero positivo $k$: $$|S_k| = k!$$

Paso 3: Paso Inductivo ($P(k) \implies P(k+1)$)

Debemos demostrar que el orden del grupo $S_{k+1}$ es $(k+1)!$.

Consideremos el conjunto $I_{k+1} = {1, 2, \dots, k, k+1}$. Una permutación $\sigma$ en $S_{k+1}$ debe asignar una imagen a cada uno de estos $k+1$ elementos.

Nos enfocaremos en el elemento $(k+1)$ y su imagen $\sigma(k+1)$.

Elección de la imagen para $(k+1)$: La imagen $\sigma(k+1)$ puede ser cualquiera de los $k+1$ elementos en el conjunto $I_{k+1}$. Hay $k+1$ opciones para $\sigma(k+1)$.
Permutación de los elementos restantes: Una vez que se ha elegido un valor para $\sigma(k+1)$ (por ejemplo, $\sigma(k+1) = j$), este valor $j$ no puede ser la imagen de ningún otro elemento. Los $k$ elementos restantes del dominio, ${1, 2, \dots, k}$, deben ser mapeados a los $k$ elementos restantes del codominio, $I_{k+1} \setminus {j}$.

La acción de $\sigma$ sobre los primeros $k$ elementos constituye, esencialmente, una permutación de $k$ elementos. Por la Hipótesis de Inducción, sabemos que el número de formas de permutar estos $k$ elementos es $k!$.

Total de Permutaciones: Dado que hay $(k+1)$ opciones para la imagen del último elemento, y para cada una de esas opciones hay $k!$ maneras de completar el resto de la permutación, el número total de permutaciones en $S_{k+1}$ es el producto: $$|S_{k+1}| = (k+1) \cdot k!$$

Por la definición del factorial, $(k+1) \cdot k! = (k+1)!$.

Por lo tanto, $|S_{k+1}| = (k+1)!$, y la proposición $P(k+1)$ es cierta.

Mediante el Principio de Inducción, se concluye que $|S_n| = n!$ para todo entero positivo $n$.

NOTA: Para comprender bien el razonamiento te sugiero que empieces con un conjunto de un elemento y veas cómo se aplica el razonamiento del teorema para probar que de $ |S_1| = 1! = 1 $ se deduce $ |S_2| = 2!=2 $ y que de ahí, de $ |S_2| = 2!=2 $ se deduce $ |S_3| = 3!=6 $, y sin necesidad de llegar a formar todas las permutaciones, que de $ |S_3| = 3!=6 $ se deduce, razonando como hace el teorema que $ |S_4| = 4!=24 $. Si consigues comprender esto, ya habrás comprendido el teorema, la demostración quiero decir.

3) En cuanto a la notación de permutaciones y cómo se halla la composición (o producto, o multiplicación de dos permutaciones, te pongo un par de ejemplos que la máquina detalla:

La composición de permutaciones (o producto/multiplicación) es la operación binaria fundamental del grupo simétrico $S_n$, y se define como la composición de funciones. Si $\sigma$ y $\rho$ son dos permutaciones, su producto $\sigma\rho$ significa que se aplica primero la función $\rho$ (la que está a la derecha) y luego la función $\sigma$ (la que está a la izquierda), es decir, $(\sigma\rho)(x) = \sigma(\rho(x))$.

Las permutaciones se representan frecuentemente en notación de dos filas, donde el renglón superior lista los elementos del dominio y el renglón inferior lista sus imágenes.

Ejemplo 1: Composición de permutaciones en $S_3$

El grupo simétrico $S_3$ consta de $3! = 6$ elementos (permutaciones) del conjunto ${1, 2, 3}$.

Tomemos dos permutaciones, $\sigma$ y $\rho$, que no sean la identidad:

Permutación $\sigma$ (Rotación): $$\sigma = \begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix}$$ (Es decir, $\sigma$ envía 1 a 2, 2 a 3, y 3 a 1).
Permutación $\rho$ (Reflexión): $$\rho = \begin{pmatrix} 1 & 2 & 3 \\ 1 & 3 & 2 \end{pmatrix}$$ (Es decir, $\rho$ envía 1 a 1, 2 a 3, y 3 a 2).

Para hallar el producto $\sigma\rho$, aplicamos $\rho$ y luego $\sigma$ a cada elemento:

Elemento $x$	Acción de $\rho$	Imagen $\rho(x)$	Acción de $\sigma$ sobre $\rho(x)$	Resultado $\sigma(\rho(x))$
1	$1 \to 1$	$1$	$1 \to 2$	2
2	$2 \to 3$	$3$	$3 \to 1$	1
3	$3 \to 2$	$2$	$2 \to 3$	3

El producto $\sigma\rho$ es, por lo tanto: $$\sigma\rho = \begin{pmatrix} 1 & 2 & 3 \\ 2 & 1 & 3 \end{pmatrix}$$

Ejemplo 2: Composición de permutaciones en $S_4$

El grupo simétrico $S_4$ contiene $4! = 24$ permutaciones del conjunto ${1, 2, 3, 4}$. Tomemos dos permutaciones $\sigma$ y $\rho$ en $S_4$:

Permutación $\sigma$ (Intercambio): $$\sigma = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 4 & 2 & 3 & 1 \end{pmatrix}$$ (Es decir, $\sigma$ envía 1 a 4, 2 a 2, 3 a 3, y 4 a 1).
Permutación $\rho$ (Ciclo): $$\rho = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 4 & 1 & 3 \end{pmatrix}$$ (Es decir, $\rho$ envía 1 a 2, 2 a 4, 3 a 1, y 4 a 3).

Para calcular el producto $\sigma\rho$, seguimos el camino directo aplicando $\rho$ y luego $\sigma$:

Elemento $x$	Acción de $\rho$	Imagen $\rho(x)$	Acción de $\sigma$ sobre $\rho(x)$	Resultado $\sigma(\rho(x))$
1	$1 \to 2$	$2$	$2 \to 2$	2
2	$2 \to 4$	$4$	$4 \to 1$	1
3	$3 \to 1$	$1$	$1 \to 4$	4
4	$4 \to 3$	$3$	$3 \to 3$	3

El producto $\sigma\rho$ es: $$\sigma\rho = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 1 & 4 & 3 \end{pmatrix}$$ Esta permutación representa, por ejemplo, el ciclo doble $(1, 2)(3, 4)$. La composición de funciones es asociativa, lo cual es una propiedad clave que se hereda de la composición general de mapeos.

NOTA: Un detalle que enseguida se explicará es que hay otra notación para las permutaciones, que es a base de ciclos. La permutación que lleva 1 a 2, 2 a 4, 3 a 1 y 4 a 3, la dices en orden de empezar por 1 y luego poner detrás de cada número su imagen por la permutación, y se entiende que el último se transforma en el primero: 1 a 2, 2 a 4, 4 a 3 y 3 a 1 Entonces escribimos (1 2 4 3) de manera que la imagen de cada número es el siguiente en esta escritura, y la imagen del último es el primero.

Así (1 2 4 3 ) que también se escribe (1, 2, 4, 3) es $\begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 4 & 1 & 3 \end{pmatrix}$

La notación (1, 2)(3, 4 ) significa que 1 se transforma en 2, 2 se transforma en 1 y 3 se transforma en 4 y 4 se transforma en 3 con lo cual tenemos $\begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 1 & 4 & 3 \end{pmatrix}$

Hay familiarizarse con las dos notaciones y con el paso de una a otra y de la otra a la una. Esto quiere decir que hay que hacer un cerro de ejercicios sobre esto. ¿Cuántos? Los suficientes hasta que uno esté familiarizado, cada uno y cada una los que necesite, 10, 100, 1000 .... los que hagan falta, ni uno más ni uno menos.

Todo esto volverá a salir en los siguientes apartados.

FIN DE LA NOTA

2. Ciclos y Estructura Interna

Ciclos y Descomposición

Un ciclo es una permutación σ que mueve únicamente un subconjunto de elementos i1,i2,…,ir de forma cíclica (i1→i2→⋯→ir→i1), manteniendo fijos a todos los demás elementos,,. Los ciclos se denotan abreviadamente como σ=(i1,i2,…,ir). La longitud de un ciclo es el número de elementos que mueve.

Esto es lo que quise explicar preliminarmente en la nota:
Ejemplo: Consideramos $S_7$ y un elemento de $S_7$, es decir una permutación de 7 símbolos que transforma 2 en 4, 4 en 5 y 5 en 7 y 7 en 2 Esta permutación se escribe (2, 4, 5, 7) y es igual a

$\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ 1 & 4 & 3 & 5 & 7 & 6 & 2 \end{pmatrix}$

Otro ejemplo:

La misma permutación anterior (2, 4, 5, 7) considerada como permutación elemento de $S_9$

sería igual a $\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 1 & 4 & 3 & 5 & 7 & 6 & 2 & 8 & 9 \end{pmatrix}$

Ahora (1,3)(2,5,8) considerado como elemento o permutación de $S_8$ sería $\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\ 3 & 5 & 1 & 4 & 8 & 6 & 7 & 2 \end{pmatrix}$

Si la consideramos como elemento de $S_{12}$ entonces $(1,3)(2,5,8)= \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 \\ 3 & 5 & 1 & 4 & 8 & 6 & 7 & 2 & 9 & 10 & 11 & 12 \end{pmatrix}$

Por defecto, si no nos dicen nada, consideramos cada permutación como miembro de $S_n$ siendo $n$ el mayor número que aparece. Así $(1,3,7)(2,4)=\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ 3 & 4 & 7 & 2 & 5 & 6 & 1 \end{pmatrix}$

Todos los ciclos que hemos visto hasta ahora son disjuntos, es decir, que los números que mueve uno no los mueve el otro. Estos ciclos conmutan entre sí:

(1,5)(2,4,7)(3,6) = (3,6)(2,4,7)(1,5) = (1,5)(3,6)(2,4,7) etc = $\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ 5 & 4 & 6 & 7 & 1 & 3 & 2 \end{pmatrix}$

Ahora bien, no todos los ciclos son disjuntos, en el sentido de que ambos mueven el mismo número. Entonces no conmutan. Veamos ejemplos

$(1,3,4)(1,3)=\begin{pmatrix} 1 & 2 & 3 & 4 \\ 4 & 2 & 3 & 1 \end{pmatrix}$

$(1,3)(1,3,4)=\begin{pmatrix} 1 & 2 & 3 & 4 \\ 1 & 2 & 4 & 3 \end{pmatrix}$

Esta pareja no conmuta. Un ejemplo más:
$(1,3,5,6)(2,3,6)=\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 3 & 5 & 1 & 4 & 6 & 2 \end{pmatrix}$

$(2,3,6)(1,3,5)=\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 6 & 3 & 5 & 4 & 1 & 2 \end{pmatrix}$

Para terminar estos ejemplos, configuraciones particulares que van a salir en lo que sigue, o parecidas:
$$ (1,2,3)(1,3)(1,4) = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 4 & 3 & 2 & 1 \end{pmatrix}$$

$$(1,2,3)(2,3,5) = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 2 & 1 & 5 & 4 & 3 \end{pmatrix}$$

$$(1,2)(2,3)(3,4)(4,5) = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 2 & 3 & 4 & 5 & 1 \end{pmatrix}$$

$$(1,2)(1,3)(1,4)(1,5) = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 5 & 1 & 2 & 3 & 4 \end{pmatrix}$$

$$(1,5)(1,4)(1,3)(1,2) = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 2 & 3 & 4 & 5 & 1 \end{pmatrix}$$

$$ (1,2)(1,3,4)(1,2) = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 1 & 3 & 4 & 2 \end{pmatrix}$$

$$(1,4,5,2)(2,3) = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 4 & 3 & 1 & 5 & 2 \end{pmatrix}$$

$$(1,4,5,2)(3,2) = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 4 & 3 & 1 & 5 & 2 \end{pmatrix}$$

$$(1,4,5,2)(2,3,4) = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 4 & 3 & 5 & 1 & 2 \end{pmatrix}$$

$$(1,2)(1,2) = \begin{pmatrix} 1 & 2 \\ 1 & 2 \end{pmatrix}$$

$$(1,2,3)(1,2,3) = \begin{pmatrix} 1 & 2 & 3 \\ 3 & 1 & 2 \end{pmatrix}$$

$$(1,2,3)(1,2,3)(1,2,3) = \begin{pmatrix} 1 & 2 & 3 \\ 1 & 2 & 3 \end{pmatrix}$$

Puedes tomarte estos ejemplos como ejercicios resueltos. Algunos de ellos son de tipos que saldrán en lo que sigue y jugarán cierto papel.

En todos estos ejemplos hemos pasado de la expresión en ciclos a la expresión según la definición de permutación, puedes intentar hacer algunos al revés, partir del resultado para llegar al enunciado.

Vuelve al principio de este apartado y encuentra la longitud de unos cuantos ciclos de los que intervienen.

2) Un resultado fundamental en la teoría de Sn es el siguiente: Teorema de Descomposición Cíclica: Toda permutación σ∈Sn (que no sea la identidad) se puede expresar de manera única (salvo por el orden en que aparecen) como un producto de ciclos disjuntos,,,. Esta descomposición es vital porque los ciclos disjuntos conmutan entre sí,.

A) Veamos varios ejemplos de lo que dice este enunciado:

Ejemplo 1 (en $ S_4 $):
Permutación en notación clásica:
$$ \begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 1 & 4 & 3 \end{pmatrix}$$
Descomposición:
- Empezamos por el 1: $ 1 \mapsto 2 $, luego $ 2 \mapsto 1 $. Esto forma el ciclo $ (1\ 2) $.
- El siguiente elemento no visitado es el 3: $ 3 \mapsto 4 $, luego $ 4 \mapsto 3 $. Esto forma el ciclo $ (3\ 4) $.

Resultado: $ (1\ 2)(3\ 4) $ (ciclos disjuntos que conmutan).

Ejemplo 2 (en $ S_5 $):
Permutación en notación clásica:  $$ \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 3 & 1 & 2 & 5 & 4 \end{pmatrix} $$
Descomposición:
- Empezamos por el 1: $ 1 \mapsto 3 $, $ 3 \mapsto 2 $, $ 2 \mapsto 1$. Esto forma el ciclo $(1\ 3\ 2)$.
- El siguiente elemento no visitado es el 4: $ 4 \mapsto 5 $, $ 5 \mapsto 4 $. Esto forma el ciclo $ (4\ 5) $.  Resultado: $ (1\ 3\ 2)(4\ 5) $ (disjuntos y conmutativos).
Ejemplo 3 (en $ S_3 $):
Permutación en notación clásica: $$  \begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix}$$ Descomposición:
Empezamos por el 1: $1 \mapsto 2 $, $ 2 \mapsto 3 $, $ 3 \mapsto 1 $. No quedan elementos sin visitar.
Resultado: Un único ciclo $ (1\ 2\ 3) $.

Clave del proceso:
1. Seguir las imágenes de cada elemento hasta cerrar un ciclo.
2. Ignorar elementos ya visitados para garantizar disjuntez.
3. Orden irrelevante: Los ciclos disjuntos pueden escribirse en cualquier orden (ej: $ (1\ 2)(3\ 4) = (3\ 4)(1\ 2) $).

Un ejemplo más:

Ejemplo 4 (en $ S_5 $):  Permutación en notación clásica:  $$ \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 3 & 5 & 1 & 4 & 2 \end{pmatrix} $$
Descomposición paso a paso:
1. Empezamos por el 1 (el menor elemento no visitado):
- $ 1 \mapsto 3 $
- $ 3 \mapsto 1 $ (cerramos el ciclo)
→ Obtenemos el ciclo $ (1\ 3) $.

2. Siguiente elemento no visitado: 2.
- $ 2 \mapsto 5 $
- $ 5 \mapsto 2 $ (cerramos el ciclo)
→ Obtenemos el ciclo $ (2\ 5) $.

3. Elemento restante: 4:
- $ 4 \mapsto 4 $ (es un punto fijo)
→ No se incluye en la descomposición (los ciclos triviales se omiten).

Resultado final: $ (1\ 3)(2\ 5) $.

Verificación:
- $ (1\ 3)(2\ 5) $ actúa así:
- $ 1 \xrightarrow{(1\ 3)} 3 $, $ 3 \xrightarrow{(1\ 3)} 1 $
- $ 2 \xrightarrow{(2\ 5)} 5 $, $ 5 \xrightarrow{(2\ 5)} 2 $
- $ 4 $ queda fijo.
Esto coincide exactamente con la permutación original.

Observación clave:
La unicidad del teorema permite escribir los ciclos en cualquier orden: $ (1\ 3)(2\ 5) = (2\ 5)(1\ 3) $. Los ciclos disjuntos conmutan, lo que simplifica cálculos y análisis.

B) Ahora vamos a ver una demostración detallada del teorema que hemos enunciado. Recuerdo lo que dice el enunciado que queremos demostrar: Teorema de Descomposición Cíclica: Toda permutación σ∈Sn (que no sea la identidad) se puede expresar de manera única (salvo por el orden en que aparecen) como un producto de ciclos disjuntos,,,. Esta descomposición es vital porque los ciclos disjuntos conmutan entre sí,.

Antes de empezar la prueba, introducimos el concepto de órbita de un elemento por una permutación.

La órbita de un elemento mediante una permutación es un concepto esencial para comprender la estructura de los grupos simétricos y la descomposición de las permutaciones.

Definición de Órbita de un Elemento

Una permutación $\sigma$ de un conjunto $X$ (o $I_n = {1, 2, \dots, n}$) se define como una función biyectiva de $X$ en sí mismo.

Cuando una permutación $\sigma \in S_n$ actúa sobre un conjunto $I_n$, se puede considerar el subgrupo cíclico $G = \langle \sigma \rangle$ generado por $\sigma$. La órbita de un elemento $x \in I_n$ bajo $\sigma$ (o bajo la acción de $\langle \sigma \rangle$) es el conjunto de todos los elementos a los que $x$ puede ser transformado mediante repetidas aplicaciones (potencias) de $\sigma$.

Formalmente, la órbita de $x$, denotada $O_{\sigma}(x)$ o $\text{Orb}G(x)$, es: $$O{\sigma}(x) = {\sigma^k(x) : k \in \mathbb{Z}}$$

Puesto que $I_n$ es un conjunto finito, debe existir un entero positivo mínimo $r$ tal que $\sigma^r(x) = x$. En este caso, la órbita de $x$ se expresa como el conjunto finito de elementos distintos: $${x, \sigma(x), \sigma^2(x), \dots, \sigma^{r-1}(x)}$$

Gráficamente, la acción de $\sigma$ sobre los elementos de una órbita se visualiza como un ciclo de flechas que comienzan y terminan en $x$.

Principales Propiedades de la Órbita

Las órbitas cumplen propiedades fundamentales que facilitan la factorización y el análisis de la permutación:

Partición del Conjunto: La colección de todas las órbitas de una permutación $\sigma$ forma una partición del conjunto $I_n$. Esto significa que todo elemento del conjunto pertenece a exactamente una órbita.
- Si dos órbitas, $O_{\sigma}(x)$ y $O_{\sigma}(y)$, tienen al menos un elemento en común ($\text{Orb}{\sigma}(x) \cap \text{Orb}{\sigma}(y) \neq \emptyset$), entonces son idénticas.
Relación con los Ciclos Disjuntos: La descomposición de una permutación en ciclos disjuntos se deriva directamente de sus órbitas. La restricción de $\sigma$ a cualquiera de sus órbitas no triviales es precisamente un ciclo.
Relación Fundamental (Teorema Órbita-Estabilizador): Esta propiedad relaciona la cardinalidad de la órbita con la estructura del grupo $G$ (donde $G$ es el grupo que actúa sobre el conjunto, en este caso, $\langle \sigma \rangle$).
- El número de elementos en la órbita de un elemento $x$ bajo un grupo $G$ es igual al índice del estabilizador $G_x$ en $G$.
- El estabilizador $G_x$ (o subgrupo de isotropía) es el subgrupo de elementos de $G$ que dejan fijo a $x$: $G_x = {g \in G : g \cdot x = x}$.
- La fórmula que lo resume es: $\mathbf{|G| = | \text{Orb}_G(x) | \cdot |G_x|}$.
- Como consecuencia directa, el orden de la órbita $|\text{Orb}_G(x)|$ siempre es un divisor del orden del grupo $|G|$.
Clases Laterales: La órbita de un elemento $x$, $\text{Orb}_G(x)$, está en correspondencia biyectiva (es decir, tienen la misma cardinalidad) con el conjunto de clases laterales izquierdas del estabilizador $G_x$ en $G$, denotado $G/G_x$.
Todas estas propiedades son muy importantes y las estudiaremos más adelante. Ahora sólo necesitamos saber qué son las órbitas y que las órbitas son disjuntas.

Ahora empezamos la prueba. Este es uno de los teoremas más fundamentales sobre el Grupo Simétrico ($S_n$), ya que proporciona una forma canónica y simplificada para representar cualquier permutación.

Teorema de Descomposición Cíclica

Enunciado del Teorema: Toda permutación $\sigma \in S_n$ que no es la identidad ($e$) se puede expresar de manera única (salvo por el orden en que aparecen) como un producto de ciclos disjuntos.

Premisas Clave

Orígenes de la Permutación: Una permutación es una función biyectiva. En el grupo simétrico $S_n$, $\sigma$ actúa sobre un conjunto finito de $n$ elementos, $I_n = {1, 2, \dots, n}$.
Ciclos Disjuntos Conmutan: Si dos ciclos $\sigma_i$ y $\sigma_j$ son disjuntos (es decir, el conjunto de elementos que mueve $\sigma_i$ y el que mueve $\sigma_j$ no tienen elementos en común, $\cap = \emptyset$), entonces conmutan: $\sigma_i \sigma_j = \sigma_j \sigma_i$.

Demostración

La prueba se divide en dos partes: la existencia de tal descomposición (constructiva) y su unicidad.

1. Existencia de la Descomposición (Construcción)

La demostración se basa en el hecho de que cualquier permutación $\sigma$ descompone el conjunto de elementos $I_n$ en órbitas disjuntas. Cada órbita no trivial genera un ciclo.

Paso 1: Construcción del primer ciclo

Sea $\sigma \in S_n$ una permutación distinta de la identidad.
Elegimos un elemento arbitrario $i_1 \in I_n$ que sea movido por $\sigma$ (es decir, $\sigma(i_1) \neq i_1$).
Consideramos la secuencia de potencias de $\sigma$ aplicadas a $i_1$: $i_1, \sigma(i_1), \sigma^2(i_1), \dots$.
Dado que $I_n$ es finito, esta secuencia debe repetirse. Sea $m_1$ el menor entero positivo para el cual $\sigma^{m_1}(i_1) = i_1$.
El conjunto $O_1 = {i_1, \sigma(i_1), \dots, \sigma^{m_1-1}(i_1)}$ forma la primera órbita. Esta órbita define el primer ciclo $\sigma_1 = (i_1, \sigma(i_1), \dots, \sigma^{m_1-1}(i_1))$. Este ciclo es una restricción de $\sigma$ a los elementos de $O_1$.

Paso 2: Continuación y Disyunción

Sea $A_1$ el conjunto de elementos restantes, $A_1 = I_n \setminus O_1$.
Si $A_1$ es el conjunto vacío (o si todos sus elementos son fijos), la demostración de la existencia termina y $\sigma = \sigma_1$.
Si $A_1$ contiene elementos movidos, elegimos un elemento $i_2 \in A_1$ (usualmente el más pequeño) y repetimos el proceso del Paso 1 para encontrar el ciclo $\sigma_2$ con su órbita $O_2$.
Por construcción, $O_1$ y $O_2$ son disjuntas. Los ciclos $\sigma_1$ y $\sigma_2$ son por lo tanto disjuntos.
Repetimos este proceso hasta que todos los elementos que $\sigma$ mueve estén contenidos en alguna órbita. Como $I_n$ es finito, este proceso es finito y resulta en la descomposición: $\sigma = \sigma_1 \sigma_2 \dots \sigma_m$.

2. Unicidad de la Descomposición

Debemos demostrar que si una permutación $\sigma$ tiene dos descomposiciones en ciclos disjuntos, estas descomposiciones son las mismas, a excepción del orden de los factores (ya que los ciclos disjuntos conmutan).

Sea $\sigma$ con dos factorizaciones: $$\sigma = \sigma_1 \sigma_2 \dots \sigma_m = \rho_1 \rho_2 \dots \rho_k$$

Determinación por Órbitas: Los ciclos que componen una permutación $\sigma$ son precisamente las restricciones de $\sigma$ a sus órbitas no triviales. El conjunto de estas órbitas es una partición de $I_n$ y está determinado de manera única por $\sigma$.
Identificación de Ciclos: Si $x \in I_n$ es un elemento movido, debe ser movido por exactamente un ciclo en la primera descomposición (digamos $\sigma_1$) y por exactamente un ciclo en la segunda (digamos $\rho_1$, tras un posible reordenamiento).
Igualdad de Ciclos: El ciclo $\sigma_1$ está definido por la órbita de $x$, $O(x)$. Dado que $\sigma = \sigma_1 \dots \sigma_m$ y los factores son disjuntos, la acción de $\sigma$ sobre cualquier elemento en $O(x)$ es idéntica a la acción de $\sigma_1$. De manera similar, la acción de $\sigma$ sobre $O(x)$ es idéntica a la acción de $\rho_1$. Por lo tanto, $\sigma_1$ y $\rho_1$ deben ser el mismo ciclo.
Conclusión por Inducción: Una vez que demostramos que $\sigma_1 = \rho_1$, podemos cancelar estos factores (ya que una permutación biyectiva siempre tiene una inversa) y nos queda $\sigma_2 \dots \sigma_m = \rho_2 \dots \rho_k$. Este producto es una permutación que actúa sobre un conjunto más pequeño de elementos. Repitiendo el proceso, concluimos que $m=k$ y que los conjuntos de ciclos deben ser idénticos.

OTRA VERSIÓN DE LA DEMOSTRACIÓN

Demostración del Teorema de Descomposición Cíclica

Enunciado: Toda permutación $σ \in S_{n}$ (distinta de la identidad) puede expresarse de manera única (salvo el orden de los factores) como un producto de ciclos disjuntos. Además, los ciclos disjuntos conmutan.

1. Existencia de la descomposición

Idea clave: Partir de un elemento y seguir su órbita bajo $σ$ hasta cerrar un ciclo, repitiendo el proceso con elementos no visitados.

Paso a paso:

Partición en órbitas: Sea $σ \in S_{n}$ , $σ \neq id$ . Consideremos el conjunto $X = {1, 2, \dots, n}$ . Definimos una relación de equivalencia en $X$ :
$x \sim y ⟺ \exists k \in Z tal que σ^{k} (x) = y .$
Las clases de equivalencia (órbitas) bajo esta relación son:
$O_{x} = {x, σ (x), σ^{2} (x), \dots, σ^{m - 1} (x)},$
donde $m$ es el menor entero positivo con $σ^{m} (x) = x$ (el orden de $σ$ actuando en $x$ ).
Construcción de ciclos:
- Para cada órbita $O_{x}$ con $∣ O_{x} ∣ \geq 2$ , definimos el ciclo:
$c_{x} = (x σ (x) σ^{2} (x) \dots σ^{m - 1} (x)) .$
- Si $∣ O_{x} ∣ = 1$ , $x$ es un punto fijo (no se incluye en la descomposición, ya que $(x)$ es la identidad).
Producto de ciclos disjuntos: Como las órbitas son disjuntas, los ciclos $c_{x}$ asociados a distintas órbitas son disjuntos. Luego, $σ$ se escribe como:
$σ = c_{1} c_{2} \dots c_{k},$
donde cada $c_{i}$ corresponde a una órbita no trivial.

Ejemplo ilustrativo:
Si $σ = (\begin{array}{ccccc} 1 & 2 & 3 & 4 & 5 \\ 3 & 5 & 1 & 4 & 2 \end{array})$ :

Órbita de $1$ : $1 \to 3 \to 1$ ⇒ ciclo $(1 3)$ .
Órbita de $2$ : $2 \to 5 \to 2$ ⇒ ciclo $(2 5)$ .
$4$ es fijo.
Descomposición: $σ = (1 3) (2 5)$ .

2. Unicidad de la descomposición

Idea clave: Las órbitas de $σ$ están unívocamente determinadas, luego los ciclos son únicos salvo orden.

Demostración por contradicción:
Supongamos que existen dos descomposiciones distintas:

σ = c_{1} c_{2} \dots c_{k} = d_{1} d_{2} \dots d_{m},

donde $c_{i}$ y $d_{j}$ son ciclos disjuntos no triviales.

Correspondencia de órbitas:
- Tomemos un elemento $x$ movido por $σ$ . Sin pérdida de generalidad, supongamos $x \in c_{1}$ .
- Como los ciclos $c_{i}$ son disjuntos, $c_{1}$ es el único ciclo en la primera descomposición que mueve a $x$ . Análogamente, existe un único $d_{j}$ en la segunda descomposición que mueve a $x$ .
- Aplicando $σ$ a $x$ :
  $σ (x) = c_{1} (x) = d_{j} (x) .$
  Repitiendo el proceso, $σ^{2} (x) = c_{1}^{2} (x) = d_{j}^{2} (x)$ , y así sucesivamente hasta cerrar el ciclo.
- Por lo tanto, $c_{1}$ y $d_{j}$ describen la misma órbita, luego $c_{1} = d_{j}$ .
Inducción:
- Eliminamos $c_{1}$ y $d_{j}$ de ambas descomposiciones. La permutación restante actúa en $X ∖ O_{x}$ , y por inducción, las descomposiciones coinciden.
- Concluimos que $k = m$ y los ciclos son los mismos salvo orden.

Observación: Los puntos fijos no afectan la unicidad, ya que se omiten en la descomposición estándar.

3. Conmutatividad de ciclos disjuntos

Lema: Si $α$ y $β$ son ciclos disjuntos, entonces $α β = β α$ .

Demostración:

Sean $α = (a_{1} a_{2} \dots a_{k})$ y $β = (b_{1} b_{2} \dots b_{m})$ , con ${a_{i}} \cap {b_{j}} = \emptyset$ .
Para cualquier $x \in X$ :
- Si $x \in {a_{i}}$ , $β (x) = x$ , luego $α (β (x)) = α (x) = β (α (x))$ .
- Si $x \in {b_{j}}$ , $α (x) = x$ , luego $β (α (x)) = β (x) = α (β (x))$ .
- Si $x$ es fijo por ambos, trivialmente conmutan.
Por lo tanto, $α β = β α$ .

Consecuencia: En la descomposición $σ = c_{1} c_{2} \dots c_{k}$ , el orden de los ciclos no altera el resultado.

Conclusión

La descomposición en ciclos disjuntos existe para toda permutación no trivial, es única salvo el orden de los ciclos, y los ciclos disjuntos conmutan. Este resultado es fundamental para analizar la estructura de $S_{n}$ , calcular órdenes de permutaciones y estudiar propiedades algebraicas como la paridad.

Ejemplo final:
$σ = (1 2 4) (3 5) = (3 5) (1 2 4)$ en $S_{5}$ . Ambas expresiones son válidas y equivalentes, demostrando la unicidad salvo orden y la conmutatividad.

ESA MISMA OTRA VERSIÓN, DE OTRA MANERA

Demostración del Teorema de Descomposición Cíclica

Enunciado: Toda permutación $ \sigma \in S_n $ (distinta de la identidad) puede expresarse de manera única (salvo el orden de los factores) como un producto de ciclos disjuntos. Además, los ciclos disjuntos conmutan.
1. Existencia de la descomposición
Idea clave: Partir de un elemento y seguir su órbita bajo $ \sigma $ hasta cerrar un ciclo, repitiendo el proceso con elementos no visitados.
Paso a paso
1. Partición en órbitas:
Sea $ \sigma \in S_n $, $ \sigma \neq \text{id} $. Consideremos el conjunto $ X = \{1, 2, \dots, n\} $. Definimos una relación de equivalencia en $ X $:
$$   x \sim y \iff \exists k \in \mathbb{Z} \text{ tal que } \sigma^k(x) = y. $$
Las clases de equivalencia (órbitas) bajo esta relación son: $$ \mathcal{O}_x = \{x, \sigma(x), \sigma^2(x), \dots, \sigma^{m-1}(x)\}, $$ donde $ m $ es el menor entero positivo con $ \sigma^m(x) = x $ (el orden de $ \sigma $ actuando en $ x $).

2. Construcción de ciclos:
- Para cada órbita $ \mathcal{O}_x $ con $ |\mathcal{O}_x| \geq 2 $, definimos el ciclo:
$$ c_x = (x\ \sigma(x)\ \sigma^2(x)\ \dots\ \sigma^{m-1}(x)). $$
- Si $ |\mathcal{O}_x| = 1 $, $ x $ es un **punto fijo** (no se incluye en la descomposición, ya que $ (x) $ es la identidad).

3. Producto de ciclos disjuntos:
Como las órbitas son disjuntas, los ciclos $ c_x $ asociados a distintas órbitas son disjuntos. Luego, $ \sigma $ se escribe como: $$ \sigma = c_1 c_2 \cdots c_k, $$
donde cada $ c_i $ corresponde a una órbita no trivial.

Ejemplo ilustrativo:
Si $ \sigma = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 3 & 5 & 1 & 4 & 2 \end{pmatrix} $:
- Órbita de $ 1 $: $ 1 \to 3 \to 1 $ ⇒ ciclo $ (1\ 3) $.
- Órbita de $ 2 $: $ 2 \to 5 \to 2 $ ⇒ ciclo $ (2\ 5) $.
- $ 4 $ es fijo.
Descomposición: $ \sigma = (1\ 3)(2\ 5) $.

2. Unicidad de la descomposición
Idea clave: Las órbitas de $ \sigma $ están unívocamente determinadas, luego los ciclos son únicos salvo orden.
Demostración por contradicción:
Supongamos que existen dos descomposiciones distintas:
$$ \sigma = c_1 c_2 \cdots c_k = d_1 d_2 \cdots d_m,$$  donde $ c_i $ y $ d_j $ son ciclos disjuntos no triviales.

1. Correspondencia de órbitas:
- Tomemos un elemento $ x $ movido por $ \sigma $. Sin pérdida de generalidad, supongamos $ x \in c_1 $.
- Como los ciclos $ c_i $ son disjuntos, $ c_1 $ es el único ciclo en la primera descomposición que mueve a $ x $. Análogamente, existe un único $ d_j $ en la segunda descomposición que mueve a $ x $.
- Aplicando $ \sigma $ a $ x $: $$ \sigma(x) = c_1(x) = d_j(x).$$
Repitiendo el proceso, $ \sigma^2(x) = c_1^2(x) = d_j^2(x) $, y así sucesivamente hasta cerrar el ciclo.
- Por lo tanto, $ c_1 $ y $ d_j $ describen la misma órbita, luego $ c_1 = d_j $.

2. Inducción:
- Eliminamos $ c_1 $ y $ d_j $ de ambas descomposiciones. La permutación restante actúa en $ X \setminus \mathcal{O}_x $, y por inducción, las descomposiciones coinciden.
- Concluimos que $ k = m $ y los ciclos son los mismos salvo orden.

Observación: Los puntos fijos no afectan la unicidad, ya que se omiten en la descomposición estándar.

#### **3. Conmutatividad de ciclos disjuntos**
**Lema:** Si $ \alpha $ y $ \beta $ son ciclos disjuntos, entonces $ \alpha \beta = \beta \alpha $.

**Demostración:**
- Sean $ \alpha = (a_1\ a_2\ \dots\ a_k) $ y $ \beta = (b_1\ b_2\ \dots\ b_m) $, con $ \{a_i\} \cap \{b_j\} = \emptyset $.
- Para cualquier $ x \in X $:
- Si $ x \in \{a_i\} $, $ \beta(x) = x $, luego $ \alpha(\beta(x)) = \alpha(x) = \beta(\alpha(x)) $.
- Si $ x \in \{b_j\} $, $ \alpha(x) = x $, luego $ \beta(\alpha(x)) = \beta(x) = \alpha(\beta(x)) $.
- Si $ x $ es fijo por ambos, trivialmente conmutan.
- Por lo tanto, $ \alpha \beta = \beta \alpha $.

Consecuencia: En la descomposición $ \sigma = c_1 c_2 \cdots c_k $, el orden de los ciclos no altera el resultado.

Conclusión
La descomposición en ciclos disjuntos existe para toda permutación no trivial, es única salvo el orden de los ciclos, y los ciclos disjuntos conmutan. Este resultado es fundamental para analizar la estructura de $ S_n $, calcular órdenes de permutaciones y estudiar propiedades algebraicas como la paridad.

Ejemplo final:
$ \sigma = (1\ 2\ 4)(3\ 5) = (3\ 5)(1\ 2\ 4) $ en $ S_5 $. Ambas expresiones son válidas y equivalentes, demostrando la unicidad salvo orden y la conmutatividad.

C) Orden de una Permutación

El orden de una permutación, $o(\sigma)$, está íntimamente ligado a su descomposición:

El orden de un ciclo es igual a su longitud,.
El orden de una permutación que es producto de ciclos disjuntos es el mínimo común múltiplo (mcm) de las longitudes de sus ciclos,,,.

DESARROLLO DEL APARTADO:

Orden de una Permutación

El concepto de orden de una permutación es fundamental para comprender la estructura cíclica de los grupos simétricos. En términos generales de teoría de grupos, el orden de un elemento $g$ (en este caso, una permutación $\sigma$) se define como el menor entero positivo $m$ tal que $g^m = e$, donde $e$ es la identidad,.

En el contexto de las permutaciones, "elevar a la potencia $m$" significa aplicar la permutación $m$ veces sucesivas. Si $\sigma^m = \text{id}$, significa que después de aplicar la permutación $m$ veces, cada elemento del conjunto regresa a su posición original,.

A continuación, se detalla cómo calcular este orden basándose en la descomposición en ciclos.

1. El Orden de un Ciclo

El bloque de construcción básico de las permutaciones es el ciclo.

Teorema: El orden de un $k$-ciclo (un ciclo de longitud $k$) es igual a $k$.

Explicación detallada: Sea $\sigma = (a_1, a_2, \dots, a_k)$ un ciclo de longitud $k$.

Al aplicar $\sigma$ una vez, el elemento $a_1$ se mueve a la posición de $a_2$.
Al aplicar $\sigma$ dos veces ($\sigma^2$), $a_1$ se mueve a $a_3$.
En general, $\sigma^j$ mueve el elemento $a_i$ a la posición $a_{i+j}$ (tomando los índices módulo $k$).
Para que todos los elementos regresen a su lugar de origen, debemos aplicar la permutación exactamente $k$ veces (o un múltiplo de $k$). Por lo tanto, $\sigma^k$ es la identidad, y $k$ es el menor número que logra esto,.

Ejemplo: Si $\sigma = (1, 2, 3, 4)$, su longitud es 4.

$\sigma = (1, 2, 3, 4)$
$\sigma^2 = (1, 3)(2, 4)$ (cada elemento salta dos espacios).
$\sigma^3 = (1, 4, 3, 2)$
$\sigma^4 = (1)(2)(3)(4) = \text{id}$. El orden es 4.

2. El Orden de un Producto de Ciclos Disjuntos

La mayoría de las permutaciones no son un solo ciclo, sino un producto de varios. Aquí es crucial la propiedad de que los ciclos disjuntos conmutan. Esto significa que si $\sigma$ y $\tau$ son disjuntos, el orden en que los aplicamos no importa ($\sigma\tau = \tau\sigma$).

Gracias a la conmutatividad, podemos distribuir la potencia: Si una permutación $\alpha$ se descompone en ciclos disjuntos como $\alpha = c_1 c_2 \dots c_r$, entonces: $$\alpha^m = (c_1 c_2 \dots c_r)^m = c_1^m c_2^m \dots c_r^m$$,.

Teorema: El orden de una permutación expresada como producto de ciclos disjuntos es el mínimo común múltiplo (mcm) de las longitudes de sus ciclos,,.

Demostración lógica:

Para que $\alpha^m$ sea la identidad, necesitamos que $c_1^m c_2^m \dots c_r^m = \text{id}$.
Como los ciclos son disjuntos, operan sobre conjuntos de números totalmente separados. Para que el producto total sea la identidad, cada ciclo individual debe haberse convertido en la identidad simultáneamente (no pueden "cancelarse" entre sí porque mueven elementos distintos).
Sabemos que $c_i^m = \text{id}$ solo si $m$ es un múltiplo de la longitud de $c_i$ (digamos $k_i$).
Por lo tanto, $m$ debe ser divisible por $k_1$, divisible por $k_2$, ..., y divisible por $k_r$.
El menor entero positivo que es divisible por todos estos números es, por definición, el mínimo común múltiplo de las longitudes.

Fórmula: Si $\sigma = c_1 c_2 \dots c_r$ y las longitudes son $k_1, k_2, \dots, k_r$, entonces: $$o(\sigma) = \text{mcm}(k_1, k_2, \dots, k_r)$$.

3. Ejemplo Práctico y Errores Comunes

Ejemplo: Considere la permutación en $S_8$: $\alpha = (1, 2, 3)(4, 5)(6, 7, 8)$.

Tenemos un ciclo de longitud 3.
Tenemos un ciclo de longitud 2.
Tenemos otro ciclo de longitud 3. El orden de $\alpha$ es $\text{mcm}(3, 2, 3) = 6$. Esto significa que hay que aplicar $\alpha$ seis veces para que todos los números vuelvan a su posición original. En $\alpha^6$:
El primer ciclo habrá dado 2 vueltas completas.
El segundo ciclo habrá dado 3 vueltas completas.
El tercer ciclo habrá dado 2 vueltas completas.

Advertencia Importante (Ciclos No Disjuntos): La regla del mcm solo se aplica si los ciclos son disjuntos. Si no lo son, primero debe realizarse la multiplicación (composición) para expresar la permutación como producto de ciclos disjuntos.

Ejemplo de error: Sea $\alpha = (1, 2)(2, 3)$.
- Si aplicamos el mcm ciegamente: $\text{mcm}(2, 2) = 2$. Incorrecto.
- Primero operamos: $(1, 2)(2, 3) = (1, 2, 3)$.
- Ahora vemos que es un ciclo de longitud 3. Su orden es 3.
- Nota: $(1, 2, 3)^2 = (1, 3, 2) \neq \text{id}$.

Analogía de los engranajes: Puede imaginar una permutación compuesta por ciclos de longitud $n$ y $m$ como dos engranajes de $n$ y $m$ dientes girando juntos. La posición inicial de todo el sistema se recupera solo cuando ambos engranajes han completado un número entero de vueltas. Esto ocurre en el mínimo común múltiplo de sus dientes.

AHORA VAMOS A DESARROLLAR EL PUNTO 3

3. Trasposiciones y Grupos Alternados

A) Trasposiciones y Paridad

Un 2-ciclo o trasposición es un ciclo de longitud 2,,. Una trasposición es simplemente el intercambio de dos elementos.

Las transposiciones son los "ladrillos" de las permutaciones: toda permutación σ∈Sn puede escribirse como un producto de transposiciones, lo que significa que las trasposiciones son generadores de Sn,,.

La paridad de una permutación clasifica si el número de transposiciones en cualquiera de sus factorizaciones es par o impar,,. Esta paridad es un invariante de la permutación.

La signatura de σ, sgn(σ), es una aplicación que toma el valor +1 si σ es par y -1 si σ es impar,. La aplicación signatura es un homomorfismo de grupos.

DESARROLLO DEL APARTADO A) TRASPOSICIONES Y PARIDAD

A) Trasposiciones y Paridad

En el estudio de los grupos de permutaciones, una vez que hemos entendido que cualquier permutación se puede descomponer en ciclos disjuntos, damos un paso más hacia la "atomización" de las permutaciones. Descubriremos que incluso los ciclos pueden descomponerse en movimientos aún más simples: los intercambios de dos elementos.

1. Definición de Trasposición

Una trasposición es un ciclo de longitud 2,. Si estamos trabajando en el grupo simétrico $S_n$, una trasposición es una permutación que simplemente intercambia dos elementos, digamos $i$ y $j$, y deja fijos a todos los demás elementos del conjunto,.

Se denota usualmente como $(i, j)$ o $(a, b)$. Matemáticamente, si $\tau = (i, j)$, entonces:

$\tau(i) = j$
$\tau(j) = i$
$\tau(k) = k$ para todo $k \neq i, j$,.

Propiedad fundamental: Una trasposición es su propia inversa. Si aplicamos el intercambio $(i, j)$ dos veces, los elementos vuelven a su posición original. Por lo tanto: $$(i, j)(i, j) = (i, j)^2 = e$$ donde $e$ (o $id$) es la permutación identidad,,.

2. Las Trasposiciones como Generadores de $S_n$

Las trasposiciones son consideradas los "ladrillos" o bloques básicos de construcción de cualquier permutación.

Teorema: Toda permutación $\sigma \in S_n$ ($n \ge 2$) puede expresarse como el producto de trasposiciones,,,.

Esto significa que el conjunto de todas las trasposiciones genera al grupo simétrico $S_n$.

Demostración (Idea): Ya sabemos que toda permutación se puede escribir como producto de ciclos disjuntos. Por lo tanto, basta con demostrar que cualquier ciclo arbitrario $(a_1, a_2, \dots, a_k)$ puede romperse en trasposiciones. Existe una fórmula sencilla para esto: $$(a_1, a_2, \dots, a_k) = (a_1, a_k)(a_1, a_{k-1})\dots(a_1, a_3)(a_1, a_2)$$ Observe que el producto se realiza de derecha a izquierda (composición de funciones).

El primer factor $(a_1, a_2)$ envía $a_1 \to a_2$.
El siguiente $(a_1, a_3)$ toma el nuevo $a_1$ y lo envía a $a_3$, y así sucesivamente,,.

Ejemplo: El ciclo $(1, 2, 3)$ en $S_3$ puede escribirse como el producto $(1, 3)(1, 2)$,.

Importante: Esta descomposición no es única. Una misma permutación puede escribirse como producto de trasposiciones de muchas formas diferentes,,. Por ejemplo, la identidad $e$ se puede escribir como: $$e = (1, 2)(1, 2) = (1, 3)(1, 3) = (1, 2)(2, 3)(2, 3)(1, 2)$$

3. Paridad de una Permutación

Aunque una permutación puede escribirse como producto de trasposiciones de muchas maneras distintas, hay una característica que nunca cambia: la paridad del número de trasposiciones utilizadas,.

Teorema de la Paridad: Si una permutación $\sigma$ puede representarse como el producto de $k$ trasposiciones y también como el producto de $m$ trasposiciones, entonces $k$ y $m$ son ambos pares o ambos impares,.

Esto nos permite clasificar las permutaciones en dos categorías estrictas:

Permutación Par: Es aquella que se puede escribir como el producto de un número par de trasposiciones,.
Permutación Impar: Es aquella que se puede escribir como el producto de un número impar de trasposiciones,.

La paridad es un invariante de la permutación; no depende de la factorización elegida.

Relación con la longitud del ciclo: Un hecho curioso (y a veces confuso para el principiante) es que la paridad de un ciclo es opuesta a su longitud.

Un ciclo de longitud $k$ se puede escribir como $k-1$ trasposiciones (como vimos en la fórmula anterior).
Por lo tanto, un ciclo de longitud par es una permutación impar.
Un ciclo de longitud impar es una permutación par,.
- Ejemplo: El ciclo $(1, 2, 3)$ tiene longitud 3 (impar), pero se escribe $(1, 3)(1, 2)$ (2 trasposiciones), por lo que es una permutación par.

4. La Signatura y el Homomorfismo

Podemos formalizar el concepto de paridad mediante una función llamada signatura (o signo), denotada como $\operatorname{sgn}(\sigma)$ o $\epsilon(\sigma)$.

Definición

La signatura es una aplicación del grupo simétrico al conjunto ${1, -1}$ definida así: $$\operatorname{sgn}(\sigma) = \begin{cases} +1 & \text{si } \sigma \text{ es par} \ -1 & \text{si } \sigma \text{ es impar} \end{cases}$$ ,.

Propiedad de Homomorfismo

La aplicación signatura es un homomorfismo de grupos desde $S_n$ hacia el grupo multiplicativo ${1, -1}$,. Esto significa que respeta la operación del grupo: $$\operatorname{sgn}(\sigma \tau) = \operatorname{sgn}(\sigma) \cdot \operatorname{sgn}(\tau)$$

Esto resume las reglas de los signos que conocemos de la aritmética:

(par) $\cdot$ (par) = par $\Rightarrow (+1)(+1) = +1$
(impar) $\cdot$ (impar) = par $\Rightarrow (-1)(-1) = +1$
(par) $\cdot$ (impar) = impar $\Rightarrow (+1)(-1) = -1$,.

El núcleo (kernel) de este homomorfismo es el conjunto de todas las permutaciones que se mapean al $+1$, es decir, el conjunto de todas las permutaciones pares. Este subgrupo especial se llama Grupo Alternado y se denota como $A_n$,,.

A CONTINUACIÓN VAMOS A DESARROLLAR CADA UNO DE LOS NÚMEROS ANTERIORES

1. Definición de Trasposición

Recuerda que en un grupo simétrico $S_n$, una trasposición $(i, j)$ intercambia solo los elementos $i$ y $j$, dejando fijos a todos los demás números del conjunto ${1, 2, ..., n}$.

1. Ejemplos en $S_3$

El grupo $S_3$ permuta el conjunto ${1, 2, 3}$. Las trasposiciones son los ciclos de longitud 2 posibles con estos tres elementos.

Ejemplo: $\tau = (1, 2)$
- Acción: Intercambia el 1 y el 2. Deja fijo el 3.
- Matemáticamente: $\tau(1)=2, \tau(2)=1, \tau(3)=3$.
- Propiedad inversa: $(1, 2)(1, 2) = e$ (la identidad). Al aplicar la trasposición dos veces, el 1 vuelve al 1 y el 2 vuelve al 2.
Otras trasposiciones en $S_3$: $(1, 3)$ y $(2, 3)$.

2. Ejemplos en $S_4$

El grupo $S_4$ permuta el conjunto ${1, 2, 3, 4}$. Hay 6 trasposiciones posibles en este grupo.

Ejemplo: $\tau = (1, 4)$
- Acción: Intercambia el 1 y el 4. Deja fijos el 2 y el 3.
- Matemáticamente: $\tau(1)=4, \tau(4)=1, \tau(2)=2, \tau(3)=3$.
Ejemplo: $\tau = (2, 3)$
- Acción: Intercambia el 2 y el 3. Deja fijos el 1 y el 4.
Lista completa de trasposiciones en $S_4$: $(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4)$.

3. Ejemplos en $S_5$

El grupo $S_5$ permuta el conjunto ${1, 2, 3, 4, 5}$. Aquí las trasposiciones dejan fijos a tres elementos.

Ejemplo: $\tau = (2, 5)$
- Acción: Intercambia el 2 y el 5. Deja fijos el 1, el 3 y el 4.
- Matemáticamente: $\tau(2)=5, \tau(5)=2, \tau(1)=1, \tau(3)=3, \tau(4)=4$.
- Propiedad inversa: $(2, 5)(2, 5) = e$.
Otro ejemplo: $(3, 4)$ es una trasposición que solo afecta al 3 y al 4, dejando intactos al 1, 2 y 5.

4. Ejemplos en $S_6$

El grupo $S_6$ permuta el conjunto ${1, 2, 3, 4, 5, 6}$. Las trasposiciones dejan fijos a cuatro elementos.

Ejemplo: $\tau = (1, 6)$
- Acción: Intercambia el primer y el último elemento.
- Elementos fijos: 2, 3, 4 y 5 permanecen en su lugar.
Ejemplo: $\tau = (3, 5)$
- Acción: Intercambia el 3 y el 5.
- Elementos fijos: 1, 2, 4 y 6 permanecen en su lugar.
- Nota: Una permutación compleja en $S_6$, como $(1, 5, 6)(2, 3, 6, 5)$, puede descomponerse en productos de estas trasposiciones, aunque la descomposición no es única,.

Resumen de la propiedad fundamental: En todos los casos anteriores, se cumple que si tomas una trasposición, por ejemplo $\tau = (3, 5)$ en $S_6$, y la operas consigo misma: $$(3, 5)(3, 5) = e$$ Esto confirma que la trasposición es su propia inversa,.

2. Las Trasposiciones como Generadores de $S_n$

Desarrollo detallado del tema:

Las Trasposiciones como "Ladrillos" de las Permutaciones

En la teoría de grupos, las trasposiciones (ciclos de longitud 2) desempeñan un papel fundamental análogo al de los números primos en la aritmética: son los bloques básicos con los que se puede construir cualquier permutación.

Teorema de Generación por Trasposiciones

Teorema: Toda permutación $\sigma \in S_n$ (para $n \ge 2$) puede expresarse como el producto de trasposiciones,,.

Esto implica que el conjunto de todas las trasposiciones genera al grupo simétrico $S_n$,. Es decir, no importa cuán compleja sea una reordenación de elementos, siempre se puede lograr mediante una secuencia de intercambios simples de dos elementos a la vez.

Demostración Detallada

La demostración se construye en dos pasos: primero, recordamos que toda permutación es un producto de ciclos; segundo, demostramos que todo ciclo es un producto de trasposiciones.

Paso 1: Descomposición en Ciclos Como se estableció previamente, toda permutación $\sigma \in S_n$ se puede escribir como un producto de ciclos disjuntos,. Por lo tanto, para demostrar el teorema, basta con demostrar que cualquier ciclo individual puede romperse o descomponerse en una secuencia de trasposiciones,.

Paso 2: Descomposición de un Ciclo en Trasposiciones Sea $\sigma = (a_1, a_2, \dots, a_k)$ un ciclo de longitud $k$. Existe una fórmula explícita para descomponer este ciclo en $k-1$ trasposiciones:

$$(a_1, a_2, \dots, a_k) = (a_1, a_k)(a_1, a_{k-1})\dots(a_1, a_3)(a_1, a_2)$$

Esta igualdad se verifica operando de derecha a izquierda (composición de funciones),.

Verificación de la fórmula: Analicemos cómo actúa el producto de trasposiciones de la derecha sobre los elementos:

Tomamos el elemento $a_1$:
- La primera trasposición de la derecha, $(a_1, a_2)$, envía $a_1 \to a_2$.
- La siguiente trasposición hacia la izquierda es $(a_1, a_3)$. Como $a_2$ no aparece en ella (ni en ninguna de las siguientes), $a_2$ permanece fijo en el resto de las operaciones.
- Resultado: $a_1 \to a_2$. (Coincide con el ciclo original).
Tomamos el elemento $a_2$:
- La primera trasposición $(a_1, a_2)$ envía $a_2 \to a_1$.
- La siguiente trasposición $(a_1, a_3)$ toma este nuevo $a_1$ y lo envía a $a_3$ ($a_1 \to a_3$).
- Las trasposiciones restantes a la izquierda no contienen $a_3$, por lo que lo dejan fijo.
- Resultado: $a_2 \to a_3$. (Coincide con el ciclo original).
Tomamos un elemento genérico $a_i$ (donde $1 < i < k$):
- Las primeras trasposiciones a la derecha $(a_1, a_2), \dots, (a_1, a_{i-1})$ no contienen $a_i$, por lo que lo dejan fijo.
- Llega a la trasposición $(a_1, a_i)$, que envía $a_i \to a_1$.
- Inmediatamente, la siguiente trasposición a la izquierda es $(a_1, a_{i+1})$, que toma ese $a_1$ y lo envía a $a_{i+1}$.
- Resultado: $a_i \to a_{i+1}$. (Coincide con el ciclo original).
Tomamos el último elemento $a_k$:
- Ninguna trasposición a la derecha lo afecta hasta llegar a la última (la más a la izquierda), $(a_1, a_k)$.
- Esta trasposición envía $a_k \to a_1$.
- Resultado: $a_k \to a_1$. (Cierra el ciclo).

Conclusión: Dado que el producto de trasposiciones realiza exactamente el mismo movimiento de elementos que el ciclo $(a_1, a_2, \dots, a_k)$, la descomposición es válida. Como cualquier permutación es producto de ciclos, y cualquier ciclo es producto de trasposiciones, toda permutación es producto de trasposiciones,.

Ejemplo Práctico

Consideremos el ciclo $(1, 2, 3)$ en $S_3$. Aplicando la fórmula $(a_1, a_2, a_3) = (a_1, a_3)(a_1, a_2)$, tenemos: $$(1, 2, 3) = (1, 3)(1, 2)$$

Verificamos operando de derecha a izquierda,:

Elemento 1: $(1, 2)$ envía $1 \to 2$. Luego $(1, 3)$ no afecta al 2. Resultado: $1 \to 2$.
Elemento 2: $(1, 2)$ envía $2 \to 1$. Luego $(1, 3)$ toma ese 1 y lo envía a 3. Resultado: $2 \to 3$.
Elemento 3: $(1, 2)$ no afecta al 3. Luego $(1, 3)$ envía $3 \to 1$. Resultado: $3 \to 1$.

El resultado es el ciclo $1 \to 2 \to 3 \to 1$, es decir, $(1, 2, 3)$.

Importante: No Unicidad de la Descomposición

Es crucial notar que esta descomposición no es única,. Una misma permutación puede escribirse como producto de trasposiciones de muchas formas distintas.

Por ejemplo, la identidad $e$ (o $id$) se puede escribir como: $$e = (1, 2)(1, 2)$$ $$e = (1, 3)(1, 3)$$ $$e = (1, 2)(2, 3)(2, 3)(1, 2)$$

Aunque los factores y el número de trasposiciones pueden variar, hay una propiedad que se mantiene constante: la paridad.

Si una permutación se puede escribir como un producto de un número par de trasposiciones, cualquier otra descomposición válida también tendrá un número par de trasposiciones.
Si se escribe con un número impar, cualquier otra descomposición será impar.

Esto define si una permutación es par o impar,.

Vamos a desarrollar con detalle el tema de la paridad de las permutaciones

3. Paridad de una Permutación

Aquí tienes un desarrollo detallado sobre la Paridad de una Permutación, enfocándonos en la demostración de su invariancia y su relación con los ciclos.

1. El Concepto de Paridad

Sabemos que toda permutación $\sigma \in S_n$ ($n \ge 2$) puede expresarse como el producto de trasposiciones,,. Sin embargo, esta descomposición no es única. Por ejemplo, la identidad $e$ en $S_3$ puede escribirse como $(1,2)(1,2)$ o como $(1,3)(1,3)$ o incluso como el producto de seis trasposiciones distintas,.

A pesar de esta falta de unicidad en los factores específicos, existe una propiedad que permanece constante: si una permutación se descompone en un número par de trasposiciones en una ocasión, cualquier otra descomposición de esa misma permutación también tendrá un número par de trasposiciones. Lo mismo ocurre si el número es impar,.

2. Teorema de la Paridad (Demostración de la Invariancia)

Teorema: Si una permutación $\sigma$ puede representarse como el producto de $k$ trasposiciones y también como el producto de $m$ trasposiciones, entonces $k$ y $m$ tienen la misma paridad (ambos son pares o ambos son impares),.

Demostración detallada utilizando el Polinomio de Vandermonde:

Para demostrar que la paridad es un invariante (no depende de la descomposición elegida), utilizamos un polinomio especial y observamos cómo actúa una permutación sobre él.

Definición del Polinomio: Sea $P$ un polinomio en las variables $x_1, x_2, \dots, x_n$ definido como el producto de todas las diferencias $(x_i - x_j)$ con $i < j$: $$P = \prod_{1 \le i < j \le n} (x_i - x_j)$$,,.
Acción de una Permutación sobre $P$: Para cualquier permutación $\sigma \in S_n$, definimos $\sigma(P)$ como el polinomio obtenido al permutar los índices de las variables: $$\sigma(P) = \prod_{1 \le i < j \le n} (x_{\sigma(i)} - x_{\sigma(j)})$$.

Dado que el conjunto de factores en $\sigma(P)$ es el mismo que en $P$ salvo por el orden y posibles cambios de signo (por ejemplo, $(x_2 - x_1) = -(x_1 - x_2)$), se deduce que $\sigma(P)$ debe ser igual a $P$ o igual a $-P$,.
Acción de una Trasposición: Consideremos una trasposición $\tau = (k, l)$ con $k < l$. Esta trasposición solo intercambia $x_k$ y $x_l$. Al aplicar $\tau$ al polinomio $P$, el único factor que cambia de signo "intrínsecamente" es $(x_k - x_l)$, que se convierte en $(x_l - x_k) = -(x_k - x_l)$. Aunque el análisis completo implica revisar los factores intermedios $(x_k - x_i)$ y $(x_l - x_i)$, se puede demostrar rigurosamente que el resultado neto es un cambio de signo global: $$\tau(P) = -P$$,.

Conclusión intermedia: Toda trasposición es una permutación impar porque cambia el signo del polinomio $P$ una vez (multiplica por -1),.
Conclusión General: Supongamos que una permutación $\sigma$ se descompone en $k$ trasposiciones: $\sigma = \tau_1 \tau_2 \dots \tau_k$. Al aplicar $\sigma$ al polinomio $P$, aplicamos sucesivamente las trasposiciones. Como cada trasposición multiplica el polinomio por $-1$, tenemos: $$\sigma(P) = (-1)^k P$$,.

Ahora, supongamos que la misma $\sigma$ se descompone en $m$ trasposiciones. Entonces: $$\sigma(P) = (-1)^m P$$

Puesto que el valor $\sigma(P)$ está determinado únicamente por la función $\sigma$ (no por cómo la factorizamos), debemos tener: $$(-1)^k = (-1)^m$$ Esto implica que $k$ y $m$ son ambos pares (el resultado es $+P$) o ambos impares (el resultado es $-P$).

3. Clasificación y Signatura

Esta invariancia nos permite definir la función signo o signatura, denotada como $\text{sgn}(\sigma)$ o $\epsilon(\sigma)$,,:

Permutación Par: Si $\sigma$ se descompone en un número par de trasposiciones, entonces $\text{sgn}(\sigma) = +1$,.
Permutación Impar: Si $\sigma$ se descompone en un número impar de trasposiciones, entonces $\text{sgn}(\sigma) = -1$,.

El conjunto de todas las permutaciones pares forma un subgrupo normal de $S_n$ llamado el Grupo Alternante, denotado $A_n$, cuyo orden es $n!/2$,,.

4. Relación entre Ciclos y Paridad

Existe una relación contraintuitiva entre la "longitud" de un ciclo y su "paridad".

Fórmula de descomposición: Un ciclo de longitud $r$, denotado $(a_1, a_2, \dots, a_r)$, puede escribirse como el producto de $r-1$ trasposiciones: $$(a_1, a_2, \dots, a_r) = (a_1, a_r)(a_1, a_{r-1})\dots(a_1, a_3)(a_1, a_2)$$,.

Regla de Paridad para Ciclos: Dado que el número de trasposiciones es $r-1$:

Ciclo de longitud PAR ($r$ par): Se descompone en un número impar ($r-1$) de trasposiciones. Por tanto, es una permutación impar,.
Ciclo de longitud IMPAR ($r$ impar): Se descompone en un número par ($r-1$) de trasposiciones. Por tanto, es una permutación par,.

Ejemplos:

La identidad $e$: Es un ciclo de longitud 1 (o producto de 0 trasposiciones). Es una permutación par,.
Una trasposición $(1,2)$: Es un ciclo de longitud 2. Se escribe como 1 trasposición. Es una permutación impar,.
Un 3-ciclo $(1,2,3)$: Es un ciclo de longitud 3. Se descompone como $(1,3)(1,2)$ (2 trasposiciones). Es una permutación par,.

B) El Grupo Alternado An

Desarrollo de este apartado

Aquí tienes un desarrollo detallado sobre el Grupo Alternado $A_n$, basado en las fuentes proporcionadas.

1. Definición y Relación con la Signatura

El Grupo Alternado $A_n$ se define como el subconjunto de $S_n$ formado por todas las permutaciones pares,.

Para formalizar esto, recordamos la función signatura (o signo), $\operatorname{sgn}: S_n \to {1, -1}$. Esta función es un homomorfismo de grupos que asigna el valor $1$ a las permutaciones pares y $-1$ a las impares,.

Una permutación es par si se puede escribir como el producto de un número par de trasposiciones,.
El núcleo (kernel) de este homomorfismo es el conjunto de elementos que se mapean a la identidad del codominio (en este caso, el $1$). Por lo tanto, $A_n = \ker(\operatorname{sgn})$,.

2. $A_n$ como Subgrupo Normal

Dado que el núcleo de cualquier homomorfismo es siempre un subgrupo normal del dominio, se concluye inmediatamente que $A_n$ es un subgrupo normal de $S_n$ ($A_n \lhd S_n$),.

Alternativamente, sabemos que cualquier subgrupo de índice 2 es siempre normal. Como veremos a continuación, el índice de $A_n$ en $S_n$ es 2, lo que confirma su normalidad,.

3. Orden e Índice de $A_n$

Para $n \ge 2$, el orden del grupo alternado es la mitad del orden del grupo simétrico.

Orden: $|A_n| = \frac{n!}{2}$,.
- Demostración: Se puede demostrar definiendo una biyección entre el conjunto de permutaciones pares y el de impares. Si fijamos una trasposición $\tau = (1, 2)$, la aplicación $f: A_n \to B_n$ (donde $B_n$ son las impares) definida como $f(\sigma) = \tau\sigma$ es una biyección. Esto implica que hay la misma cantidad de pares que de impares,.
Índice: El índice de un subgrupo $H$ en $G$, denotado $[G:H]$, es $|G|/|H|$. Por tanto: $$[S_n : A_n] = \frac{n!}{n!/2} = 2$$ Esto también se deduce del Primer Teorema de Isomorfismo: $S_n / \ker(\operatorname{sgn}) \cong \operatorname{Im}(\operatorname{sgn})$. Como la imagen es ${1, -1}$ (un grupo de orden 2), el cociente $S_n/A_n$ tiene orden 2,.

4. Generación por 3-ciclos

Para $n \ge 3$, el grupo $A_n$ está generado por los 3-ciclos,. Esto significa que cualquier permutación par puede expresarse como el producto de ciclos de longitud 3.

Demostración y lógica: Sabemos que cualquier permutación en $S_n$ es producto de trasposiciones. Una permutación en $A_n$ es, por definición, el producto de un número par de trasposiciones. Por lo tanto, basta con demostrar que el producto de cualquier par de trasposiciones se puede reescribir utilizando 3-ciclos,:

Trasposiciones disjuntas: Si las trasposiciones no tienen elementos en común, $(a, b)(c, d) = (a, b, c)(b, c, d)$.
Trasposiciones con un elemento común: Si comparten un elemento, $(a, b)(a, c) = (a, c, b)$.
Misma trasposición: Si son idénticas, $(a, b)(a, b) = e$ (la identidad).

Dado que cualquier par de trasposiciones se puede convertir en 3-ciclos, cualquier elemento de $A_n$ (formado por pares de trasposiciones) es generado por 3-ciclos.

Resumen de Propiedades

Definición: Núcleo de la signatura ($\ker(\operatorname{sgn})$).
Normalidad: $A_n \lhd S_n$.
Cardinalidad: $n!/2$.
Generadores: Los 3-ciclos (para $n \ge 3$).
Simplicidad: Un resultado avanzado importante (mencionado en el contexto de la resolubilidad) es que $A_n$ es un grupo simple (no tiene subgrupos normales propios) para $n \ge 5$,.

CONSIDERACIONES DIDÁCTICAS

¿Hay demostración directa de que Normalidad: $A_n \lhd S_n$? Porque el concepto de subgrupo normal se ve en la lección 5 y el concepto de homomorfismo en la lección 6, mientras que las permutaciones las estamos viendo en la lección 4.

No podemos aplicar teoremas que aún no hemos visto.

Hay dos opciones:

1) Dar una demostración directa de que $A_n \lhd S_n$ . Para ello definimos el concepto de subgrupo normal y probamos directamente, usando propiedades de las permutaciones que $A_n \lhd S_n$

2) Posponemos la demostración del resultado $A_n \lhd S_n$ al final de la lección 6

¿Qué te parece mejor? ¿Porqué? ¿Es factible el camino 1)?

Me parece una excelente observación didáctica. Tienes toda la razón: pedagógicamente, invocar el núcleo de un homomorfismo (Lección 6) para un concepto introducido en la Lección 4 rompe la secuencia lógica del aprendizaje.

Para responder a tu pregunta: Sí, es totalmente factible y preferible el camino 1.

A continuación, presento la justificación y la demostración directa que solicitas, utilizando únicamente herramientas disponibles en la teoría de permutaciones (Lección 4) y la definición básica de subgrupo normal (que aunque sea de la Lección 5, se puede presentar aquí como una propiedad de "estabilidad" de $A_n$ bajo conjugación, sin necesidad de teoría de homomorfismos).

¿Qué opción es mejor?

La Opción 1 es mucho mejor.

Porqué: Permite conectar inmediatamente el concepto de paridad (que es el núcleo de la Lección 4) con la estructura del grupo. Esperar hasta la Lección 6 diluye la importancia de $A_n$.
Factibilidad: Podemos demostrar que $A_n \lhd S_n$ utilizando solamente el conteo de transposiciones, algo que el estudiante acaba de aprender.

Demostración Directa: $A_n \lhd S_n$

Objetivo: Demostrar que para cualquier permutación par $\sigma \in A_n$ y cualquier permutación arbitraria $\tau \in S_n$, el conjugado $\tau \sigma \tau^{-1}$ sigue siendo una permutación par (es decir, pertenece a $A_n$).

Esto satisface la definición de subgrupo normal: $gHg^{-1} \subseteq H$,.

Herramientas necesarias (Lección 4):

Una permutación es par si se puede escribir como el producto de un número par de transposiciones,.
Una permutación es impar si se puede escribir como el producto de un número impar de transposiciones.
La identidad $e$ es una permutación par (0 transposiciones).
$\tau^{-1}$ tiene la misma paridad que $\tau$ (se descompone en las mismas transposiciones, solo que en orden inverso).

La Demostración paso a paso:

Sea $\sigma$ un elemento de $A_n$. Por definición, $\sigma$ se puede escribir como el producto de un número par de transposiciones, digamos $2k$. $$ \sigma = t_1 t_2 \dots t_{2k} $$
Sea $\tau$ un elemento cualquiera de $S_n$. Supongamos que $\tau$ se descompone en $m$ transposiciones (donde $m$ puede ser par o impar, no importa). $$ \tau = u_1 u_2 \dots u_m $$
Entonces, la inversa $\tau^{-1}$ también se descompone en $m$ transposiciones (las mismas de $\tau$ en orden inverso): $$ \tau^{-1} = u_m \dots u_2 u_1 $$
Ahora construimos el conjugado $\tau \sigma \tau^{-1}$ multiplicando las transposiciones: $$ \tau \sigma \tau^{-1} = (\underbrace{u_1 \dots u_m}{\tau}) (\underbrace{t_1 \dots t{2k}}{\sigma}) (\underbrace{u_m \dots u_1}{\tau^{-1}}) $$
Contamos el número total de transposiciones en este producto: $$ \text{Total} = m + 2k + m = 2m + 2k = 2(m + k) $$
Conclusión: El número total de transposiciones es $2(m+k)$, que es un número par (sin importar si $m$ era par o impar). Por lo tanto, el resultado $\tau \sigma \tau^{-1}$ es una permutación par. $$ \tau \sigma \tau^{-1} \in A_n $$

Esto demuestra que el conjunto de permutaciones pares es "cerrado bajo conjugación" (o invariante), lo cual es la definición exacta de Subgrupo Normal,.

Camino Alternativo (Vía Índice)

Existe un segundo camino directo que a veces se menciona en la Lección 4 o al inicio de la 5, basado en las clases laterales (cosets):

Sabemos que $|S_n| = n!$ y $|A_n| = n!/2$,.
Esto significa que el índice de $A_n$ en $S_n$ es 2 ($[S_n : A_n] = 2$).
Existe un teorema elemental que no requiere homomorfismos: "Todo subgrupo de índice 2 es necesariamente normal",,.
- Razonamiento: Si el índice es 2, solo hay dos clases laterales izquierdas: $A_n$ y $S_n \setminus A_n$ (las pares y las impares). Lo mismo ocurre con las clases laterales derechas. Como las particiones son idénticas (Pares e Impares), las clases izquierdas coinciden con las derechas ($gH = Hg$), lo que confirma la normalidad.

Conclusión: El camino 1 (conteo de transposiciones) es el más pedagógico para la Lección 4 porque refuerza la aritmética de las permutaciones. El camino del índice 2 es muy potente y conecta perfectamente la Lección 4 (cálculo del orden) con la Lección 5 (definición de normalidad). Ninguno requiere esperar a los homomorfismos de la Lección 6.

Me parece muy interesante tu respuesta y quiero profundizar en la demostración de que todo subgrupo de índice 2 en el grupo es normal, pero para grupos en general, Supongamos que H es subgrupo del grupo G de ínidice 2. Demuestra que H es subgrupo normal de G

¡Excelente iniciativa! Profundizar en este resultado es clave porque es una de las herramientas más potentes y sencillas para detectar subgrupos normales sin tener que verificar la conjugación elemento por elemento.

Basándonos en las fuentes, aquí tienes la demostración detallada de que todo subgrupo de índice 2 es normal.

Teorema

Sea $G$ un grupo y $H$ un subgrupo de $G$. Si el índice de $H$ en $G$ es 2 (es decir, $[G:H]=2$), entonces $H$ es un subgrupo normal de $G$ ($H \unlhd G$).

Demostración

La prueba se basa en cómo las clases laterales (izquierda y derecha) particionan al grupo $G$.

1. Definición de Índice 2 Que el índice sea 2 significa que existen exactamente dos clases laterales izquierdas y dos clases laterales derechas de $H$ en $G$,.

2. Las clases laterales forman una partición Sabemos que las clases laterales izquierdas particionan el grupo. Una de esas clases es siempre el propio subgrupo $H$ (que corresponde a la clase del elemento identidad, $eH = H$). Dado que solo hay dos clases y que estas deben cubrir todo el grupo $G$ sin solaparse, la segunda clase lateral izquierda debe estar formada por todos los elementos de $G$ que no están en $H$. Matemáticamente, si $G = H \cup aH$ (donde $a \notin H$), entonces la segunda clase es necesariamente el complemento de $H$: $$ aH = G \setminus H $$ ,.

3. Análisis de las clases laterales derechas El mismo razonamiento aplica a las clases laterales derechas. Una clase es $H$ (la clase $He$). Como el índice es 2, la otra clase lateral derecha debe contener todos los elementos restantes del grupo. Por lo tanto, si $a \notin H$: $$ Ha = G \setminus H $$ .

4. Igualdad de clases Ahora comparamos las clases izquierdas y derechas para un elemento cualquiera $g \in G$:

Caso 1: Si $g \in H$, entonces $gH = H$ y $Hg = H$. Por tanto, $gH = Hg$.
Caso 2: Si $g \notin H$, por lo que dedujimos en los pasos 2 y 3, su clase lateral izquierda es el complemento de $H$ ($G \setminus H$) y su clase lateral derecha también es el complemento de $H$ ($G \setminus H$). $$ gH = G \setminus H = Hg $$

Conclusión Dado que para todo $g \in G$ se cumple que $gH = Hg$, por definición, $H$ es un subgrupo normal de $G$,.

Aplicación Inmediata a la Lección Anterior ($A_n$)

Esta demostración generaliza lo que discutimos sobre el Grupo Alternado ($A_n$). Como vimos, el grupo alternado $A_n$ tiene orden $n!/2$ y el grupo simétrico $S_n$ tiene orden $n!$. El índice es: $$ [S_n : A_n] = \frac{n!}{n!/2} = 2 $$ Por virtud del teorema que acabamos de demostrar, concluimos inmediatamente que $A_n$ es un subgrupo normal de $S_n$ sin necesidad de verificar la conjugación de cada permutación,.

Resumen visual

Marshall Hall lo resume de forma muy elegante en sus textos: Si $G = H \cup Hx$ (donde la unión es disjunta), entonces necesariamente $G = H \cup xH$. Como $H$ es común en ambas ecuaciones, la parte restante también debe coincidir, es decir, $Hx = xH$.

4. Universalidad de Grupos: Teorema de Cayley

HAY QUE DESARROLLAR LO SIGUIENTE

El estudio de los grupos de permutaciones es fundamental porque la estructura de grupo es, en esencia, la misma para cualquier grupo que para algún grupo de permutaciones,.

Teorema de Cayley: Todo grupo G es isomorfo a un subgrupo de un grupo de permutaciones,,.

La prueba establece que, si G es un grupo finito de orden n, existe un isomorfismo entre G y un subgrupo de Sn (el grupo simétrico sobre sus propios elementos, SG).

La demostración procede asociando a cada elemento a∈G una permutación ρa (llamada multiplicación derecha por a) definida por ρa(x)=xa. La aplicación que envía a→ρa es un monomorfismo (homomorfismo inyectivo), lo que prueba que G es isomorfo a su imagen G′=ρa|a∈G, la cual es un subgrupo de SG.

Aunque este resultado no resulta útil para cálculos en la práctica debido a que el grupo SG suele ser muy grande (orden n!),, sí establece una conexión filosófica profunda: todo grupo abstracto es, en el fondo, un grupo de movimientos o reordenamientos

DESARROLLO

Aquí tienes el desarrollo detallado del Teorema de Cayley, basado en las fuentes proporcionadas.

Este teorema es una piedra angular en la teoría de grupos porque conecta el concepto moderno y abstracto de grupo con sus raíces históricas concretas: los grupos de permutaciones.

El Teorema de Cayley

Teorema: Todo grupo $G$ es isomorfo a un subgrupo de un grupo de permutaciones,,.

Si el grupo $G$ es finito de orden $n$, entonces es isomorfo a un subgrupo del grupo simétrico $S_n$,.

Este resultado implica que, estructuralmente, no hay diferencia entre estudiar grupos abstractos y grupos de permutaciones; la estructura de grupo es, en esencia, la misma,.

Demostración Detallada

La prueba se construye definiendo una acción del grupo sobre sí mismo. Aunque existen dos formas comunes de hacerlo (multiplicación izquierda y derecha), aquí desarrollaremos la representación regular derecha como solicitas, asociando a cada elemento una permutación basada en multiplicar por la derecha.

Paso 1: Construcción del grupo de permutaciones candidato Sea $G$ un grupo. Consideramos el conjunto de todas las permutaciones del conjunto $G$, denotado como $S_G$. Para cada elemento $a \in G$, definimos una función $\rho_a: G \to G$ dada por la multiplicación derecha: $$\rho_a(x) = xa \quad \text{para todo } x \in G$$,.

Debemos verificar que $\rho_a$ es, en efecto, una permutación (una función biyectiva) de $G$:

Inyectiva (Uno a uno): Si $\rho_a(x) = \rho_a(y)$, entonces $xa = ya$. Por la ley de cancelación en grupos, esto implica que $x = y$,.
Suprayectiva (Sobre): Para cualquier elemento $y \in G$, existe un $x \in G$ tal que $\rho_a(x) = y$. Específicamente, si elegimos $x = ya^{-1}$, entonces $\rho_a(x) = (ya^{-1})a = y(a^{-1}a) = ye = y$. Por lo tanto, $\rho_a$ cubre todo el conjunto $G$.

Sea $G' = { \rho_a \mid a \in G }$. Este conjunto $G'$ es un subconjunto de $S_G$.

Paso 2: El isomorfismo Definimos una aplicación $\phi: G \to G'$ mediante $\phi(a) = \rho_a$. Para demostrar que $G$ es isomorfo a $G'$, debemos probar que $\phi$ es un homomorfismo inyectivo (un monomorfismo) y que es sobreyectivo respecto a su imagen $G'$.

Homomorfismo: Debemos demostrar que $\phi(ab) = \phi(a)\phi(b)$, es decir, que $\rho_{ab} = \rho_a \rho_b$. Aplicamos ambas funciones a un elemento arbitrario $x \in G$:
- Lado izquierdo: $\rho_{ab}(x) = x(ab)$.
- Lado derecho: $(\rho_a \rho_b)(x)$. Nota: Para que esto funcione directamente con la multiplicación derecha, debemos componer las permutaciones de izquierda a derecha (aplicar primero $\rho_a$ y luego $\rho_b$), o definir el producto en el grupo de permutaciones adecuadamente. Siguiendo la asociatividad del grupo: $$(\rho_a \rho_b)(x) = (x\rho_a)\rho_b = (xa)b = x(ab)$$ Como el resultado es idéntico para todo $x$, concluimos que $\rho_{ab} = \rho_a \rho_b$, preservando así la operación del grupo,.
Inyectividad (Monomorfismo): Supongamos que $\phi(a) = \phi(b)$, lo que significa que $\rho_a = \rho_b$. Esto implica que las funciones son idénticas y actúan igual sobre cualquier elemento. Aplicamos ambas al elemento identidad $e$ de $G$: $$e\rho_a = e\rho_b \implies ea = eb \implies a = b$$ Por lo tanto, la aplicación es inyectiva,.
Sobreyectividad: La aplicación es sobreyectiva sobre $G'$ por la propia definición de $G'$ como la imagen de $G$ bajo $\phi$.

Conclusión: Dado que existe un isomorfismo $\phi$ entre $G$ y $G'$, y $G'$ es un subgrupo de $S_G$, hemos demostrado que $G$ es isomorfo a un subgrupo de un grupo de permutaciones,.

A este subgrupo $G'$ se le llama la representación regular derecha de $G$.

Conexión Filosófica y Utilidad Práctica

Aunque el Teorema de Cayley es un resultado clásico y fundamental, presenta una dicotomía entre su importancia teórica y su utilidad computacional:

Limitación Práctica (Tamaño): Si $G$ es un grupo finito de orden $n$, el grupo simétrico $S_G$ (o $S_n$) tiene orden $n!$. Esto significa que $S_G$ es extremadamente grande en comparación con $G$. Por ejemplo, si $G$ tiene orden 5, $S_5$ tiene orden $120$. Por esta razón, el teorema no suele ser útil para realizar cálculos prácticos o reducir problemas, ya que incrustamos un grupo pequeño en uno inmensamente mayor,,.
Profundidad Filosófica: El teorema cierra el círculo histórico de la teoría de grupos. Originalmente, los grupos se estudiaban solo como colecciones de permutaciones (transformaciones). Más tarde se desarrollaron los axiomas abstractos para generalizar el concepto. El Teorema de Cayley nos dice que esta generalización no creó una nueva clase de objetos misteriosos: todo grupo abstracto es, en el fondo, un grupo de movimientos o reordenamientos de algún conjunto (específicamente, de sus propios elementos),.

Permite visualizar los elementos de cualquier grupo abstracto simplemente como funciones que permutan elementos, haciendo concreta la noción abstracta. De hecho, la tabla de multiplicación de un grupo (Tabla de Cayley) simplemente enumera estas permutaciones: cada fila de la tabla es una permutación de los elementos del grupo,.

Analogía: Podemos pensar en el isomorfismo establecido por el teorema de Cayley simplemente como un cambio de nombre. Si tenemos un grupo abstracto, el teorema nos dice que podemos "renombrar" cada elemento del grupo como una permutación específica, y la estructura matemática (las reglas de cómo se combinan los elementos) permanecerá exactamente igual.

FIN DE LA LECCIÓN CUARTA

LECCIÓN QUINTA

Lección 5: Subgrupos Normales y Grupos Cociente

Desarrollo de la condición necesaria para la existencia de una estructura de grupo en el cociente.

Automorfismos Internos y Conjugación: Definición del conjugado $g^{-1}hg$ y el automorfismo interno $\alpha_g$.
Subgrupos Normales $N \unlhd G$: Definición a partir de la invariancia bajo conjugación ($gNg^{-1} = N$). Criterios de normalidad: $N$ es normal si y solo si $gN = Ng$.
Grupo Cociente/Factor $G/N$: Definición de la operación de clases laterales cuando $N$ es normal. El cociente $G/N$ es un grupo.
Teorema de la Correspondencia: Biyección entre los subgrupos de $G/N$ y los subgrupos de $G$ que contienen a $N$.

PRIMER DESARROLLO DE LA LECCIÓN 5

Aquí tienes el desarrollo detallado de la Lección 5, basado en las fuentes proporcionadas, cubriendo los subgrupos normales, la construcción del grupo cociente y el teorema de la correspondencia.

Lección 5: Subgrupos Normales y Grupos Cociente

En la lección anterior vimos que las clases laterales de un subgrupo particionan al grupo. Sin embargo, no siempre es posible definir una estructura de grupo sobre el conjunto de estas clases de manera natural. Esta lección se centra en la condición especial (normalidad) que debe cumplir un subgrupo para que sus clases laterales formen un grupo, conocido como grupo cociente.

1. Condición necesaria para la estructura de grupo en el cociente

El objetivo es definir una operación binaria en el conjunto de clases laterales (digamos, izquierdas) de un subgrupo $H$ en $G$. Si intentamos definir el producto de dos clases $aH$ y $bH$ como el conjunto de productos de sus elementos, o mediante representantes $(aH)(bH) = (ab)H$, nos encontramos con un problema: esta operación no siempre está bien definida.

Para que la multiplicación de clases laterales funcione independientemente de los representantes elegidos (es decir, que si $a' \in aH$ y $b' \in bH$, entonces $a'b'$ esté en la clase $(ab)H$), es necesario que el subgrupo $H$ cumpla una propiedad de simetría especial. Específicamente, se requiere que las clases laterales izquierdas coincidan con las derechas, o equivalentemente, que el subgrupo sea invariante bajo conjugación,,.

2. Automorfismos Internos y Conjugación

Para formalizar la invariancia, primero definimos la acción de conjugación.

Conjugación: Dados dos elementos $g, h \in G$, el conjugado de $h$ por $g$ se define comúnmente como el elemento $g^{-1}hg$ (o a veces $ghg^{-1}$, dependiendo de la convención del texto, aunque la propiedad estructural es la misma),.

Automorfismo Interno: Para cada $g \in G$ fijo, la transformación $i_g: G \to G$ definida por $i_g(x) = g^{-1}xg$ (o $gxg^{-1}$) es un isomorfismo de $G$ en sí mismo. A este tipo de isomorfismo se le llama automorfismo interno de $G$. El conjunto de todos los automorfismos internos forma un grupo denotado como $Int(G)$ o $Inn(G)$,,.

La relación con los subgrupos normales es directa: un subgrupo es normal si y solo si es invariante bajo todos los automorfismos internos de $G$,.

3. Subgrupos Normales ($N \unlhd G$)

Un subgrupo $N$ de $G$ se llama normal (o invariante) si es estable bajo la conjugación por cualquier elemento de $G$. Se denota usualmente como $N \trianglelefteq G$ o $N \unlhd G$.

Definición: Un subgrupo $N$ es normal si para todo $g \in G$ y todo $n \in N$, el elemento $gng^{-1}$ pertenece a $N$,,.

Criterios de Normalidad: Las siguientes condiciones son equivalentes para un subgrupo $N$ de $G$,,,:

Invariancia conjugada: $gNg^{-1} \subseteq N$ para todo $g \in G$. (Esto implica la igualdad $gNg^{-1} = N$).
Conmutatividad de clases: La clase lateral izquierda es igual a la clase lateral derecha para todo elemento de $G$. Es decir, $gN = Ng$ para todo $g \in G$.
Producto de clases: El producto de dos clases laterales izquierdas es nuevamente una clase lateral izquierda: $(aN)(bN) = abN$.

Nota importante: En un grupo abeliano, todo subgrupo es automáticamente normal porque $gng^{-1} = ngg^{-1} = n$,.

4. Grupo Cociente/Factor ($G/N$)

Si $N$ es un subgrupo normal de $G$, el conjunto de clases laterales (donde $gN = Ng$) se puede dotar de una estructura de grupo. A este nuevo grupo se le llama Grupo Cociente o Grupo Factor y se denota como $G/N$,.

Definición de la operación: La operación en $G/N$ se define multiplicando los representantes: $$(aN) \cdot (bN) = (ab)N$$ Gracias a la normalidad de $N$, esta operación está bien definida (el resultado no depende de qué elementos $a$ y $b$ elijamos para representar a las clases),,.

Propiedades de $G/N$:

Asociatividad: Heredada de $G$. $((aN)(bN))(cN) = (abc)N = (aN)((bN)(cN))$.
Elemento Neutro: Es la clase del neutro de $G$, es decir, $eN = N$.
Inverso: El inverso de la clase $aN$ es la clase $a^{-1}N$, ya que $(aN)(a^{-1}N) = (aa^{-1})N = eN = N$.
Orden: Si $G$ es finito, el orden del grupo cociente es el índice de $N$ en $G$: $|G/N| = [G:N] = |G|/|N|$,.

5. Teorema de la Correspondencia

Existe una relación estrecha entre la estructura de subgrupos de $G$ y la de $G/N$.

Teorema: Sea $N$ un subgrupo normal de $G$. Existe una biyección (correspondencia uno a uno) entre el conjunto de todos los subgrupos de $G$ que contienen a $N$ y el conjunto de todos los subgrupos del grupo cociente $G/N$,,.

Detalles de la correspondencia: Sea $\pi: G \to G/N$ la proyección canónica ($\pi(g) = gN$).

Si $K$ es un subgrupo de $G$ tal que $N \subseteq K \subseteq G$, entonces su imagen $\pi(K) = K/N$ es un subgrupo de $G/N$.
Si $S'$ es un subgrupo de $G/N$, entonces su imagen inversa $\pi^{-1}(S')$ es un subgrupo de $G$ que contiene a $N$.
Esta correspondencia respeta los índices: $[G:K] = [G/N : K/N]$.
Esta correspondencia respeta la normalidad: $K$ es normal en $G$ si y solo si $K/N$ es normal en $G/N$,.

Este teorema es fundamental porque nos permite estudiar la estructura de $G$ analizando el grupo (más pequeño) $G/N$ y el subgrupo normal $N$.

SEGUNDO DESARROLLO DE LA LECCIÓN 5

Vamos a trabajar algunos de los puntos recién señalados.

Sobre los apartados 1 y 2:

La relación de conjugación ¿puede considerarse una operación en G? ¿Qué propiedades tendría?

Sí, la relación de conjugación puede considerarse una operación en $G$, específicamente una operación binaria $G \times G \to G$. Sin embargo, en el contexto de la teoría de grupos, se clasifica y estudia más formalmente como una acción de grupo (o una operación externa donde el conjunto de operadores es el mismo grupo).

Aquí te detallo cómo se define y cuáles son sus propiedades fundamentales según las fuentes:

1. Definición como Operación (Acción)

Si $G$ es un grupo, la conjugación define una aplicación de $G \times G$ en $G$. Si denotamos la conjugación de $x$ por $a$ como $a * x$ (o a veces exponencialmente como $x^a$), se define comúnmente como: $$a * x = axa^{-1}$$ (Nota: Algunas fuentes definen la conjugación como $a^{-1}xa$, pero las propiedades estructurales son las mismas),.

Esta operación hace que $G$ actúe sobre sí mismo.

2. Propiedades Fundamentales

Si tratamos la conjugación como una operación, posee propiedades muy distintas a la multiplicación normal del grupo. No forma una estructura de grupo por sí sola (no es asociativa en el sentido tradicional de operar tres elementos), pero cumple las propiedades de una acción de grupo:

A) Propiedad de la Identidad El elemento neutro $e$ actúa como la identidad en la conjugación. Conjugando por el neutro, el elemento no cambia: $$e * x = exe^{-1} = x$$ Esto cumple la primera condición para ser una acción de grupo,.

B) Compatibilidad con la Multiplicación (Acción a la izquierda) La conjugación por un producto $ab$ es equivalente a conjugar primero por $b$ y luego por $a$ (o viceversa, dependiendo de la convención izquierda/derecha). $$(ab) * x = (ab)x(ab)^{-1} = a(bxb^{-1})a^{-1} = a * (b * x)$$ Esto satisface la segunda condición de las acciones de grupo,. Nota: Si se tratara como una operación binaria estándar $\star$, esta propiedad $(a \cdot b) \star x = a \star (b \star x)$ no es la asociatividad clásica $(a \star b) \star c = a \star (b \star c)$.

C) Es un Automorfismo (Homomorfismo Biyeccivo) Para un elemento fijo $a \in G$, la función $\phi_a(x) = axa^{-1}$ es un automorfismo interno de $G$. Esto significa que la conjugación "distribuye" sobre la operación del grupo: $$a * (xy) = a(xy)a^{-1} = (axa^{-1})(aya^{-1}) = (a * x)(a * y)$$ Esto implica que la conjugación respeta la estructura del grupo (lleva productos a productos, inversos a inversos, y el neutro al neutro),.

3. Conceptos derivados de esta operación

Al considerar la conjugación como una operación o acción, surgen estructuras clave para la teoría de grupos:

Órbitas (Clases de Conjugación): Si fijamos un elemento $x$ y dejamos que $G$ actúe sobre él mediante conjugación, obtenemos el conjunto de todos los conjugados de $x$: $$Cl(x) = { axa^{-1} \mid a \in G }$$ Estas órbitas forman una partición de $G$. Si dos elementos están en la misma órbita, se dicen conjugados,.
Puntos Fijos (El Centro): Los elementos que no cambian bajo la operación de conjugación por cualquier elemento de $G$ forman el centro de $G$, denotado $Z(G)$. $$x \in Z(G) \iff axa^{-1} = x \text{ para todo } a \in G$$ Es decir, son los elementos que conmutan con todo el grupo,.
Estabilizadores (Centralizadores): El conjunto de elementos que dejan fijo a un $x$ específico bajo conjugación forman un subgrupo llamado centralizador de $x$, denotado $C(x)$. $$C(x) = { a \in G \mid axa^{-1} = x }$$ .

En resumen, la conjugación no es una operación asociativa estándar (como la suma o multiplicación) que defina una nueva estructura de grupo sobre el conjunto, sino una acción que permuta los elementos del grupo preservando su estructura algebraica.

Automorfismo Interno: Prueba detalladamente que es cierto que para cada g∈G fijo, la transformación ig:G→G definida por ig(x)=g−1xg (o gxg−1) es un isomorfismo de G en sí mismo. A este tipo de isomorfismo se le llama automorfismo interno de G. El conjunto de todos los automorfismos internos forma un grupo denotado como Int(G) o Inn(G)

Para demostrar que la transformación $i_g: G \to G$ definida por $i_g(x) = g^{-1}xg$ es un automorfismo de $G$, debemos verificar que es un homomorfismo, que es inyectiva (uno a uno) y que es sobreyectiva (sobre).

A continuación se presenta la prueba detallada basada en los textos proporcionados:

1. $i_g$ es un Homomorfismo Debemos demostrar que la transformación preserva la operación del grupo, es decir, que $i_g(xy) = i_g(x)i_g(y)$ para cualesquiera $x, y \in G$.

Aplicamos la definición de la transformación al producto $xy$: $$i_g(xy) = g^{-1}(xy)g$$
Insertamos el elemento identidad $e = gg^{-1}$ entre $x$ e $y$ (esto es válido porque multiplicar por la identidad no altera el elemento): $$g^{-1}x(gg^{-1})yg$$
Utilizando la propiedad asociativa del grupo, reagrupamos los términos: $$(g^{-1}xg)(g^{-1}yg)$$
Reconocemos que estos factores son precisamente las definiciones de $i_g(x)$ e $i_g(y)$: $$i_g(x)i_g(y)$$

Por lo tanto, $i_g(xy) = i_g(x)i_g(y)$, lo que confirma que es un homomorfismo,.

2. $i_g$ es Inyectiva (Uno a Uno) Debemos demostrar que si $i_g(x) = i_g(y)$, entonces necesariamente $x = y$.

Supongamos que $i_g(x) = i_g(y)$.
Sustituyendo la definición: $$g^{-1}xg = g^{-1}yg$$
Multiplicamos por $g$ a la izquierda en ambos lados de la igualdad (usando la ley de cancelación o la existencia de inversos): $$g(g^{-1}xg) = g(g^{-1}yg) \implies (gg^{-1})xg = (gg^{-1})yg \implies exg = eyg \implies xg = yg$$
Multiplicamos por $g^{-1}$ a la derecha en ambos lados: $$xgg^{-1} = ygg^{-1} \implies xe = ye \implies x = y$$

Dado que $i_g(x) = i_g(y)$ implica $x = y$, la función es inyectiva.

3. $i_g$ es Sobreyectiva (Sobre) Debemos demostrar que para cualquier elemento $y \in G$, existe un elemento $x \in G$ tal que $i_g(x) = y$.

Sea $y$ cualquier elemento de $G$.
Consideremos el elemento $x = gyg^{-1}$.
Aplicamos la transformación $i_g$ a este $x$: $$i_g(x) = i_g(gyg^{-1}) = g^{-1}(gyg^{-1})g$$
Usando la asociatividad: $$(g^{-1}g)y(g^{-1}g) = eye = y$$
Como hemos encontrado un $x$ que se mapea a $y$, la transformación cubre todo $G$ y es sobreyectiva.

Conclusión: Dado que $i_g$ es un homomorfismo biyectivo (inyectivo y sobreyectivo) de $G$ en sí mismo, por definición es un isomorfismo de $G$ en sí mismo, lo cual es exactamente la definición de un automorfismo,,.

A este tipo específico de automorfismo se le llama automorfismo interno (o interior) de $G$,,.

El Grupo de Automorfismos Internos El conjunto de todos los automorfismos internos forma un grupo denotado usualmente como $\text{Int}(G)$, $\text{Inn}(G)$ o $J_G$. Este conjunto posee las siguientes características:

Es un subgrupo: La composición de dos automorfismos internos es otro automorfismo interno. Si tenemos $i_g$ y $i_h$, entonces $(i_g \circ i_h)(x) = g^{-1}(h^{-1}xh)g = (hg)^{-1}x(hg) = i_{hg}(x)$. Además, la identidad es el automorfismo interno $i_e$, y el inverso de $i_g$ es $i_{g^{-1}}$.
Las dos siguientes propiedades las entenderemos más adelante, tendrás que hacer una segunda lectura cuando acabemos este tema y el siguiente:
Es un subgrupo normal: $\text{Int}(G)$ es un subgrupo normal del grupo de todos los automorfismos de $G$, denotado como $\text{Aut}(G)$. Esto significa que para cualquier $\sigma \in \text{Aut}(G)$ y cualquier $i_g \in \text{Int}(G)$, el conjugado $\sigma i_g \sigma^{-1}$ sigue siendo un automorfismo interno,,.
Isomorfismo con el Cociente del Centro: Existe un isomorfismo importante que relaciona a este grupo con el centro del grupo $Z(G)$: $$G/Z(G) \cong \text{Int}(G)$$ Esto se debe a que la aplicación $g \mapsto i_g$ es un homomorfismo de $G$ sobre $\text{Int}(G)$ cuyo núcleo es precisamente el centro $Z(G)$ (el conjunto de elementos que conmutan con todo $G$, haciendo que $g^{-1}xg = x$, es decir, la identidad),,.

Apartado 3. Subgrupos Normales ($N \unlhd G$)

¿Porqué gNg−1⊆N para todo g∈G implica la igualdad gNg−1=N?

Basado en las fuentes proporcionadas, la razón por la cual la condición $gNg^{-1} \subseteq N$ para todo $g \in G$ implica automáticamente la igualdad $gNg^{-1} = N$ radica en que la condición se aplica a todos los elementos del grupo, incluidos sus inversos.

Aquí te detallo la demostración paso a paso tal como se sugiere en los textos:

Hipótesis: Asumimos que para todo $g \in G$, se cumple que $gNg^{-1} \subseteq N$.
Aplicación al inverso: Como la condición vale para cualquier elemento de $G$, también es válida para $g^{-1}$ (ya que si $g \in G$, entonces $g^{-1} \in G$).
Sustitución: Aplicamos la hipótesis usando $g^{-1}$ en lugar de $g$: $$(g^{-1}) N (g^{-1})^{-1} \subseteq N$$ Esto se simplifica a: $$g^{-1} N g \subseteq N$$
Demostración de la inclusión inversa ($N \subseteq gNg^{-1}$):
- Tomamos un elemento cualquiera $n \in N$.
- Podemos escribir $n$ como $g(g^{-1} n g)g^{-1}$ (insertando la identidad y asociando).
- Observamos el término central $(g^{-1} n g)$. Por el paso 3 sabemos que $g^{-1} N g \subseteq N$, por lo que $g^{-1} n g$ debe ser algún elemento $n_1$ que pertenece a $N$.
- Entonces, $n = g n_1 g^{-1}$.
- Como $n_1 \in N$, la expresión $g n_1 g^{-1}$ pertenece al conjunto $gNg^{-1}$.
- Por lo tanto, cualquier $n \in N$ está también en $gNg^{-1}$, lo que prueba que $N \subseteq gNg^{-1}$.

Conclusión: Dado que por hipótesis $gNg^{-1} \subseteq N$ y hemos demostrado que $N \subseteq gNg^{-1}$, se concluye la igualdad $gNg^{-1} = N$.

Esta propiedad es fundamental para definir los subgrupos normales, ya que establece que basta con verificar la contención ("cerrado bajo conjugación") para asegurar la igualdad necesaria para que las clases laterales izquierdas y derechas coincidan,.

Demuestra los Criterios de Normalidad: Las siguientes condiciones son equivalentes para un subgrupo N de G,,,:

Invariancia conjugada: gNg−1⊆N para todo g∈G. (Esto implica la igualdad gNg−1=N).
Conmutatividad de clases: La clase lateral izquierda es igual a la clase lateral derecha para todo elemento de G. Es decir, gN=Ng para todo g∈G.
Producto de clases: El producto de dos clases laterales izquierdas es nuevamente una clase lateral izquierda: (aN)(bN)=abN

Basado en las fuentes proporcionadas, a continuación presento la demostración de que las tres condiciones (invariancia conjugada, conmutatividad de clases y producto de clases) son equivalentes para un subgrupo $N$ de $G$.

1. Invariancia conjugada $\Rightarrow$ Conmutatividad de clases

Hipótesis: Para todo $g \in G$, $gNg^{-1} \subseteq N$. Objetivo: Demostrar que $gN = Ng$ para todo $g \in G$.

La prueba se realiza demostrando la doble inclusión de conjuntos:

$gN \subseteq Ng$: Sea $x$ un elemento cualquiera de la clase lateral izquierda $gN$. Entonces $x = gn$ para algún $n \in N$. Podemos reescribir $x$ insertando la identidad de la forma $g^{-1}g$: $$x = gng^{-1}g = (gng^{-1})g$$ Por la hipótesis de invariancia conjugada, sabemos que el elemento $(gng^{-1})$ pertenece a $N$ (digamos que es $n'$). Por tanto, $x = n'g$, lo cual implica que $x \in Ng$. Así concluimos que $gN \subseteq Ng$,.
$Ng \subseteq gN$: Dado que la hipótesis vale para todo elemento de $G$, también es válida para $g^{-1}$. Es decir, $g^{-1}N(g^{-1})^{-1} \subseteq N$, lo que se simplifica a $g^{-1}Ng \subseteq N$. Sea $y$ un elemento cualquiera de la clase lateral derecha $Ng$. Entonces $y = ng$ para algún $n \in N$. Podemos reescribir $y$ como: $$y = g(g^{-1}ng)$$ Como vimos arriba, $g^{-1}ng \in N$ (digamos que es $n''$). Por tanto, $y = gn''$, lo cual implica que $y \in gN$. Así concluimos que $Ng \subseteq gN$,.

Conclusión: Dado que $gN \subseteq Ng$ y $Ng \subseteq gN$, entonces $gN = Ng$.

2. Conmutatividad de clases $\Rightarrow$ Producto de clases

Hipótesis: Para todo $g \in G$, $gN = Ng$. Objetivo: Demostrar que $(aN)(bN) = abN$.

Recordemos que el producto de dos conjuntos $A$ y $B$ en un grupo se define como $AB = {ab \mid a \in A, b \in B}$. Calculamos el producto de las clases laterales: $$(aN)(bN) = a(Nb)N$$ Por la hipótesis de conmutatividad de clases, sabemos que la clase derecha $Nb$ es igual a la clase izquierda $bN$. Sustituimos esto en la ecuación: $$a(Nb)N = a(bN)N = (ab)(NN)$$ Dado que $N$ es un subgrupo, cumple la propiedad de cerradura ($NN \subseteq N$) y contiene la identidad ($N \subseteq NN$), por lo que $NN = N$. $$= (ab)N$$ Conclusión: El producto de dos clases laterales izquierdas es la clase lateral izquierda del producto de sus representantes: $(aN)(bN) = abN$,,.

3. Producto de clases $\Rightarrow$ Invariancia conjugada

Hipótesis: El producto de clases está bien definido como $(xN)(yN) = xyN$. Objetivo: Demostrar que $gng^{-1} \in N$ para todo $g \in G$ y $n \in N$.

Consideremos un elemento arbitrario $n \in N$ y un elemento arbitrario $g \in G$. Queremos investigar dónde reside el conjugado $gng^{-1}$. Observamos que $gn \in gN$ (pues es $g$ operado con un elemento de $N$) y que $g^{-1} \in g^{-1}N$ (pues $g^{-1} = g^{-1}e$ y $e \in N$). Por lo tanto, el producto $(gn)(g^{-1})$ es un elemento que pertenece al producto de los conjuntos $(gN)$ y $(g^{-1}N)$: $$gng^{-1} \in (gN)(g^{-1}N)$$ Aplicando la hipótesis sobre el producto de clases: $$(gN)(g^{-1}N) = (gg^{-1})N = eN = N$$ Por lo tanto: $$gng^{-1} \in N$$ Conclusión: Como esto es cierto para cualquier $n$ y $g$, se cumple que $gNg^{-1} \subseteq N$, lo cual es la definición de invariancia conjugada.

FIN DE LA DEMOSTRACIÓN

RECUERDA QUE: Nota importante: En un grupo abeliano, todo subgrupo es automáticamente normal porque gng−1=ngg−1=n,.

APARTADO : 4. Grupo Cociente/Factor (G/N)

Demuestra: Propiedades de G/N

Asociatividad: Heredada de G. ((aN)(bN))(cN)=(abc)N=(aN)((bN)(cN)).
Elemento Neutro: Es la clase del neutro de G, es decir, eN=N.
Inverso: El inverso de la clase aN es la clase a−1N, ya que (aN)(a−1N)=(aa−1)N=eN=N.
Orden: Si G es finito, el orden del grupo cociente es el índice de N en G: |G/N|=[G:N]=|G|/|N|,

Aquí tienes la demostración detallada de las propiedades del grupo cociente $G/N$, asumiendo que $N$ es un subgrupo normal de $G$ y que la operación binaria se define como el producto de representantes: $(aN)(bN) = (ab)N$.

1. Asociatividad

La propiedad asociativa en el grupo cociente se hereda directamente de la asociatividad del grupo original $G$. Debemos probar que para cualesquiera clases $aN, bN, cN \in G/N$, se cumple que $((aN)(bN))(cN) = (aN)((bN)(cN))$.

Demostración:

Calculamos el lado izquierdo operando los dos primeros términos: $$((aN)(bN))(cN) = ((ab)N)(cN)$$
Ahora operamos el resultado con el tercer término: $$((ab)N)(cN) = ((ab)c)N$$
Calculamos el lado derecho operando los dos últimos términos: $$(aN)((bN)(cN)) = (aN)((bc)N)$$
Operamos el resultado con el primer término: $$(aN)((bc)N) = (a(bc))N$$
Conclusión: Dado que $G$ es un grupo, su operación es asociativa, por lo que $(ab)c = a(bc)$ para todos los elementos de $G$. Por lo tanto, las clases resultantes son idénticas: $$((ab)c)N = (a(bc))N$$ Esto prueba que la operación en $G/N$ es asociativa,,,,.

2. Elemento Neutro

El elemento identidad en el grupo cociente es la clase lateral que contiene al elemento neutro de $G$, es decir, la clase $eN$, que es el mismo subgrupo $N$.

Demostración: Sea $aN$ un elemento arbitrario de $G/N$. Debemos demostrar que $eN$ actúa como neutro por la derecha y por la izquierda.

Por la derecha: $$(aN)(eN) = (ae)N$$ Como $ae = a$ en $G$, tenemos: $$(ae)N = aN$$
Por la izquierda: $$(eN)(aN) = (ea)N$$ Como $ea = a$ en $G$, tenemos: $$(ea)N = aN$$
Conclusión: Dado que $(aN)(eN) = aN = (eN)(aN)$, la clase $N$ (o $eN$) es el elemento identidad de $G/N$,,,,.

3. Elemento Inverso

Para cada clase $aN$ en $G/N$, su inverso es la clase determinada por el inverso del representante, es decir, $a^{-1}N$.

Demostración: Sea $aN \in G/N$. Buscamos una clase $X$ tal que $(aN)X = N$ y $X(aN) = N$. Proponemos $X = a^{-1}N$.

Producto por la derecha: $$(aN)(a^{-1}N) = (aa^{-1})N$$ Sabemos que $aa^{-1} = e$ en $G$, por lo tanto: $$(aa^{-1})N = eN = N$$
Producto por la izquierda: $$(a^{-1}N)(aN) = (a^{-1}a)N$$ Sabemos que $a^{-1}a = e$ en $G$, por lo tanto: $$(a^{-1}a)N = eN = N$$
Conclusión: Como el producto resulta en la clase identidad $N$, la clase $a^{-1}N$ es el inverso único de $aN$ en el grupo cociente,,,,.

4. Orden del Grupo Cociente

El orden del grupo cociente se define como el número de elementos que contiene, es decir, el número de clases laterales distintas de $N$ en $G$.

Demostración:

Definición de Índice: El número de clases laterales (izquierdas o derechas) de un subgrupo $N$ en $G$ se denomina el índice de $N$ en $G$ y se denota como $[G:N]$,,,.
Partición: Las clases laterales forman una partición de $G$, y todas las clases tienen el mismo cardinal (el mismo número de elementos que $N$),,,.
Teorema de Lagrange: Si $G$ es finito, el número total de elementos $|G|$ es igual al número de clases multiplicado por el tamaño de cada clase ($|N|$). $$|G| = [G:N] \cdot |N|$$
Cálculo del Orden de $G/N$: Los elementos de $G/N$ son precisamente estas clases laterales. Por lo tanto, el orden de $G/N$, denotado como $|G/N|$, es exactamente el índice $[G:N]$. Despejando del Teorema de Lagrange: $$|G/N| = [G:N] = \frac{|G|}{|N|}$$ Esto confirma que el orden del grupo cociente es el orden del grupo dividido por el orden del subgrupo normal,,,,.

APARTADO 5. Teorema de la Correspondencia

Me queda pendiente todo el tema de subgrupos normales, de estudiarlo, pero sobre todo este Apartado 5, antes de empezar con la siguiente lección

Existe una relación estrecha entre la estructura de subgrupos de G y la de G/N.

Teorema: Sea N un subgrupo normal de G. Existe una biyección (correspondencia uno a uno) entre el conjunto de todos los subgrupos de G que contienen a N y el conjunto de todos los subgrupos del grupo cociente G/N,,.

Detalles de la correspondencia: Sea π:G→G/N la proyección canónica (π(g)=gN).

Si K es un subgrupo de G tal que N⊆K⊆G, entonces su imagen π(K)=K/N es un subgrupo de G/N.
Si S′ es un subgrupo de G/N, entonces su imagen inversa π−1(S′) es un subgrupo de G que contiene a N.
Esta correspondencia respeta los índices: [G:K]=[G/N:K/N].
Esta correspondencia respeta la normalidad: K es normal en G si y solo si K/N es normal en G/N,.

Este teorema es fundamental porque nos permite estudiar la estructura de G analizando el grupo (más pequeño) G/N y el subgrupo normal N.

Vamos a demostrar las afirmaciones que acabamos de hacer

Basado en las fuentes proporcionadas, aquí tienes la definición detallada la correspondencia, la cual es el núcleo del Teorema de la Correspondencia (también llamado Teorema del Reticulado o Cuarto Teorema de Isomorfismo).

Definición de la Correspondencia

Sea $G$ un grupo y $N$ un subgrupo normal de $G$ ($N \unlhd G$). Sea $\pi: G \to G/N$ el epimorfismo canónico (la proyección natural) definido por $\pi(g) = gN$.

La correspondencia es la aplicación que asocia a cada subgrupo $K$ de $G$ que contiene a $N$ ($N \subseteq K \subseteq G$) con su imagen bajo la proyección canónica.

Matemáticamente, la correspondencia asigna al subgrupo $K$ el subgrupo del cociente definido como: $$ K \longmapsto \pi(K) = K/N = {kN \mid k \in K} $$ Este conjunto $K/N$ es un subgrupo de $G/N$,,.

Propiedades de la Correspondencia

Esta asignación no es solo una función, sino una biyección (una correspondencia uno a uno) entre la familia de subgrupos de $G$ que contienen a $N$ y la familia de todos los subgrupos de $G/N$,,.

Las características clave de esta definición incluyen:

Mapeo Directo (de $G$ a $G/N$): Si $K$ es un subgrupo de $G$ tal que $N \subseteq K$, entonces el conjunto de clases laterales $K/N$ es un subgrupo de $G/N$,.
Mapeo Inverso (de $G/N$ a $G$): Si $S^*$ es un subgrupo de $G/N$, entonces existe un único subgrupo $K$ en $G$ que contiene a $N$ tal que $K/N = S^*$. Este subgrupo $K$ se recupera mediante la imagen inversa de la proyección: $K = \pi^{-1}(S^*)$,.
Preservación del Índice: La correspondencia respeta los índices de los subgrupos. Si $K$ contiene a $N$, entonces el índice de $K$ en $G$ es igual al índice de $K/N$ en $G/N$: $$ [G:K] = [G/N : K/N] $$,.
Preservación de la Normalidad: La correspondencia respeta la propiedad de ser normal. Un subgrupo $K$ (que contiene a $N$) es normal en $G$ si y solo si su imagen $K/N$ es un subgrupo normal en $G/N$,,.

Aquí tienes el desarrollo detallado del Teorema de la Correspondencia (también conocido como Teorema de Reticulado o Cuarto Teorema de Isomorfismo), basado en las fuentes proporcionadas.

Este teorema establece que existe una biyección que preserva la estructura entre los subgrupos de $G$ que contienen a $N$ y los subgrupos del grupo cociente $G/N$.

Teorema de la Correspondencia

Sea $N$ un subgrupo normal de $G$ y sea $\pi: G \to G/N$ la proyección canónica definida por $\pi(g) = gN$. Existe una correspondencia biunívoca entre el conjunto de subgrupos de $G$ que contienen a $N$ y el conjunto de subgrupos de $G/N$,.

A continuación se demuestran detalladamente las propiedades de esta correspondencia.

1. La Imagen Directa: de $G$ a $G/N$

Afirmación: Si $K$ es un subgrupo de $G$ tal que $N \subseteq K \subseteq G$, entonces su imagen $\pi(K) = K/N$ es un subgrupo de $G/N$,.

Demostración: Sabemos que la imagen de un subgrupo bajo cualquier homomorfismo es un subgrupo del codominio.

Dado que $K$ es un subgrupo de $G$, $\pi(K) = { k N \mid k \in K }$ es un subgrupo de $G/N$.
Como $N \subseteq K$, el conjunto de clases laterales ${ kN \mid k \in K }$ es precisamente el grupo cociente $K/N$.
Por lo tanto, $\pi(K) = K/N$.

2. La Imagen Inversa: de $G/N$ a $G$

Afirmación: Si $S'$ es un subgrupo de $G/N$, entonces su imagen inversa $K = \pi^{-1}(S')$ es un subgrupo de $G$ que contiene a $N$,.

Demostración:

Es un subgrupo: La imagen inversa de cualquier subgrupo bajo un homomorfismo es siempre un subgrupo del dominio. Si $x, y \in \pi^{-1}(S')$, entonces $\pi(x), \pi(y) \in S'$. Como $S'$ es subgrupo, $\pi(xy^{-1}) = \pi(x)\pi(y)^{-1} \in S'$, por lo que $xy^{-1} \in \pi^{-1}(S')$.
Contiene a $N$: El elemento identidad de $G/N$ es la clase $N$ (o $1_N$). Dado que $S'$ es un subgrupo, debe contener la identidad, es decir, $N \in S'$. El núcleo de la proyección $\pi$ es $\ker(\pi) = {g \in G \mid \pi(g) = N} = N$. Por definición de imagen inversa, $\pi^{-1}({N}) = \ker(\pi) = N$. Como $N \in S'$, se sigue que $\pi^{-1}({N}) \subseteq \pi^{-1}(S')$, y por tanto $N \subseteq K$,.

3. La Biyección (Correspondencia uno a uno)

Para probar que la correspondencia es biyectiva, debemos demostrar que las aplicaciones $K \mapsto \pi(K)$ y $S' \mapsto \pi^{-1}(S')$ son inversas una de la otra.

Paso 1: Sea $S'$ un subgrupo de $G/N$. Entonces $\pi(\pi^{-1}(S')) = S'$. Esto es consecuencia directa de que $\pi$ es una aplicación sobreyectiva (suprayectiva). Todo elemento en $S'$ es de la forma $gN$ para algún $g \in G$, y este $g$ está en la preimagen, por lo que la imagen de la preimagen recupera todo $S'$,.
Paso 2: Sea $K$ un subgrupo de $G$ tal que $N \subseteq K$. Entonces $\pi^{-1}(\pi(K)) = K$. Sea $x \in \pi^{-1}(\pi(K))$. Por definición, $\pi(x) \in \pi(K) = K/N$. Esto significa que $xN = kN$ para algún $k \in K$. Entonces $x \in kN$, lo que implica $x = kn$ para algún $n \in N$. Como $N \subseteq K$, entonces $n \in K$, y por la propiedad de cierre del subgrupo, $kn \in K$. Por lo tanto $x \in K$, demostrando que $\pi^{-1}(\pi(K)) \subseteq K$. La inclusión opuesta $K \subseteq \pi^{-1}(\pi(K))$ es trivial. Así, se recupera el subgrupo original $K$,.

4. Conservación de Índices

Afirmación: La correspondencia respeta los índices: $[G:K] = [G/N : K/N]$,.

Demostración: Si denotamos $S^* = K/N$, queremos ver que el índice de $K$ en $G$ es igual al índice de $S^*$ en $G/N$. Definimos una aplicación entre las clases laterales de $K$ en $G$ y las clases laterales de $S^*$ en $G/N$: $$ gK \longmapsto (gN)S^* $$

Esta aplicación está bien definida y es biyectiva.
Si el grupo es finito, podemos usar el Teorema de Lagrange: $$ [G/N : K/N] = \frac{|G/N|}{|K/N|} = \frac{|G|/|N|}{|K|/|N|} = \frac{|G|}{|K|} = [G:K] $$ ,.

Vamos a desarrollar la demostración anterior

Basado en las fuentes proporcionadas, a continuación desarrollo detalladamente la demostración de que la correspondencia de subgrupos respeta los índices.

Este resultado es parte del Teorema de la Correspondencia (o Teorema del Reticulado), el cual establece que si $N$ es un subgrupo normal de $G$, hay una biyección entre los subgrupos de $G$ que contienen a $N$ y los subgrupos de $G/N$.

Contexto y Definiciones

Sean:

$G$ un grupo y $N$ un subgrupo normal de $G$ ($N \unlhd G$).
$K$ un subgrupo de $G$ tal que $N \subseteq K \subseteq G$.
$S^* = K/N$ es el subgrupo correspondiente en el cociente $G/N$.

Queremos probar que el índice de $K$ en $G$ es igual al índice de $S^*$ en $G/N$: $$[G:K] = [G/N : K/N]$$

Recordemos que el índice $[G:K]$ es el número de clases laterales (izquierdas) distintas de $K$ en $G$.

Parte 1: Construcción de la Biyección

Para probar que los índices son iguales, debemos encontrar una correspondencia biunívoca (biyectiva) entre el conjunto de las clases laterales de $K$ en $G$ y el conjunto de las clases laterales de $S^*$ en $G/N$.

Definimos la aplicación $\Psi$ de la siguiente manera: $$ \Psi: {gK \mid g \in G} \longrightarrow {(gN)S^* \mid gN \in G/N} $$ $$ \Psi(gK) = (gN)S^* $$

A continuación, verificamos paso a paso que esta función cumple con lo requerido.

1. La aplicación está bien definida

Debemos asegurar que si tomamos dos representantes distintos para la misma clase lateral en $G$, la imagen bajo $\Psi$ es la misma clase lateral en $G/N$.

Hipótesis: Supongamos que $g_1 K = g_2 K$.
Significado: Esto implica que $g_2^{-1}g_1 \in K$ (propiedad de las clases laterales).
Análisis en el cociente: Queremos ver si $(g_1 N)S^* = (g_2 N)S^*$. Para que esto sea cierto, necesitamos que $(g_2 N)^{-1}(g_1 N) \in S^*$. Calculamos el producto en el grupo cociente: $$(g_2 N)^{-1}(g_1 N) = (g_2^{-1} N)(g_1 N) = (g_2^{-1}g_1)N$$
Conclusión: Como $g_2^{-1}g_1 \in K$ (por hipótesis) y $S^* = K/N$, entonces el elemento $(g_2^{-1}g_1)N$ es, por definición, un elemento de $K/N$. Por lo tanto, la imagen no depende del representante y $\Psi$ está bien definida.

2. La aplicación es Inyectiva (Uno a Uno)

Debemos probar que si las imágenes son iguales, las clases originales eran iguales.

Hipótesis: Supongamos que $\Psi(g_1 K) = \Psi(g_2 K)$.
Esto significa que $(g_1 N)S^* = (g_2 N)S^*$.
Propiedad de clases: Esto implica que $(g_2 N)^{-1}(g_1 N) \in S^*$. Operando: $(g_2^{-1}g_1)N \in S^*$.
Interpretación: Recordemos que $S^* = K/N = {kN \mid k \in K}$. Si la clase $(g_2^{-1}g_1)N$ pertenece a $S^*$, significa que existe algún $k \in K$ tal que: $$(g_2^{-1}g_1)N = kN$$ Esto implica que $g_2^{-1}g_1$ y $k$ difieren por un elemento de $N$. Es decir, $g_2^{-1}g_1 = k \cdot n$ para algún $n \in N$.
Cierre: Como $k \in K$ y $N \subseteq K$, entonces $n \in K$, y por tanto el producto $k \cdot n \in K$. Así, $g_2^{-1}g_1 \in K$.
Conclusión: Esto es exactamente la condición para que $g_1 K = g_2 K$. La función es inyectiva.

3. La aplicación es Sobreyectiva (Sobre)

Debemos probar que cualquier clase lateral en el codomain proviene de alguna clase en el dominio.

Sea $X$ una clase lateral arbitraria de $S^*$ en $G/N$.
Esta clase tiene la forma $\bar{g}S^*$ donde $\bar{g} \in G/N$.
El elemento $\bar{g}$ es de la forma $gN$ para algún $g \in G$.
Por lo tanto, la clase es $(gN)S^*$.
Tomamos la clase $gK$ en $G$. Al aplicar $\Psi$, obtenemos $\Psi(gK) = (gN)S^*$.
Conclusión: La función es sobreyectiva.

Resultado: Como existe una biyección entre el conjunto de clases laterales de $K$ en $G$ y el conjunto de clases laterales de $K/N$ en $G/N$, sus cardinalidades (índices) son iguales: $$ [G:K] = [G/N : K/N] $$

Parte 2: El Caso Finito (Teorema de Lagrange)

Si $G$ es un grupo finito, podemos demostrar esta igualdad utilizando aritmética básica y el Teorema de Lagrange, el cual establece que $|G| = [G:H]|H|$ o, equivalentemente, $[G:H] = |G|/|H|$,.

Queremos calcular el índice de $K/N$ en $G/N$, denotado como $[G/N : K/N]$.

Aplicamos Lagrange al cociente: El orden del grupo cociente $G/N$ es $|G/N|$. El orden del subgrupo $K/N$ es $|K/N|$. $$ [G/N : K/N] = \frac{|G/N|}{|K/N|} $$
Sustituimos los órdenes de los cocientes: Sabemos por Lagrange (y la definición de grupo cociente) que $|G/N| = \frac{|G|}{|N|}$ y que $|K/N| = \frac{|K|}{|N|}$,. Sustituimos esto en la ecuación anterior: $$ [G/N : K/N] = \frac{ \frac{|G|}{|N|} }{ \frac{|K|}{|N|} } $$
Simplificamos la fracción: Cancelamos el término $|N|$ (que es finito y no nulo): $$ = \frac{|G|}{|K|} $$
Aplicamos Lagrange a $G$: Sabemos que $\frac{|G|}{|K|}$ es exactamente la definición del índice $[G:K]$. $$ = [G:K] $$

Conclusión: $$ [G/N : K/N] = [G:K] $$

Esto confirma que el índice "se mantiene" al pasar al cociente, simplificando el cálculo de índices en grupos grandes si conocemos la estructura de sus subgrupos normales.

Ahora pasamos al último punto de esta lección 5, que es el punto 5

5. Conservación de la Normalidad

Afirmación: $K$ es normal en $G$ si y solo si $K/N$ es normal en $G/N$, y en tal caso $(G/N)/(K/N) \cong G/K$,.

Demostración:

($\Rightarrow$) Supongamos que $K \unlhd G$. La imagen de un subgrupo normal bajo un epimorfismo (como $\pi$) es un subgrupo normal en la imagen. Por tanto, $\pi(K) = K/N$ es normal en $\pi(G) = G/N$,.
($\Leftarrow$) Supongamos que $S^* = K/N$ es normal en $G/N$. La imagen inversa de un subgrupo normal es siempre un subgrupo normal en el dominio. Como $K = \pi^{-1}(S^*)$, entonces $K \unlhd G$,. Detalle: Si $K/N \unlhd G/N$, para todo $g \in G$ y $k \in K$, se tiene: $$\pi(gkg^{-1}) = \pi(g)\pi(k)\pi(g)^{-1} = (gN)(kN)(gN)^{-1}$$ Como $K/N$ es normal, $(gN)(kN)(gN)^{-1} \in K/N$. Por tanto, $\pi(gkg^{-1}) \in K/N$, lo que implica $gkg^{-1} \in \pi^{-1}(K/N) = K$. Esto prueba que $K$ es normal en $G$.

Además, el Tercer Teorema de Isomorfismo establece que si $K \unlhd G$ y $N \unlhd G$ con $N \subseteq K$, entonces: $$ (G/N) / (K/N) \cong G/K $$ ,,.

En realidad este punto 5 no debería estar aquí, ya que requiere trabajo con homomorfismos, que se ven en la lección siguientes

FIN DE LA DEMOSTRACIÓN

FIN DE LA LECCIÓN 5

LECCIÓN 6

Lección 6: Homomorfismos y Teoremas de Isomorfismo

Formalización de las relaciones de estructura entre grupos mediante funciones.

Homomorfismos de Grupos: Definición y propiedades básicas ($f(1)=1$, $f(g^{-1})=f(g)^{-1}$).
Núcleo (Kernel) y Imagen: El núcleo $\ker(f)$ es un subgrupo normal; la imagen $\operatorname{Im}(f)$ es un subgrupo.
Primer Teorema de Isomorfismo: $G/\ker(f) \cong \operatorname{Im}(f)$.
Segundo y Tercer Teoremas de Isomorfismo: Estructura de subgrupos y cocientes: $HN/N \cong H/(H \cap N)$ y $(G/K)/(H/K) \cong G/H$ (cuando $N$ y $K$ son normales, y $K \subseteq H \subseteq G$).

DESARROLLO DE LA LECCIÓN 6

Aquí tienes el desarrollo de la Lección 6, estructurado según el temario que has indicado, utilizando la información de las fuentes proporcionadas.

Lección 6: Homomorfismos y Teoremas de Isomorfismo

Esta lección formaliza cómo comparar la estructura de dos grupos distintos. Un homomorfismo es un mapa que preserva la operación del grupo, permitiendo ver cómo un grupo puede estar "contenido" o "representado" dentro de otro.

1. Homomorfismos de Grupos

Definición

Sean $(G, \cdot)$ y $(H, \ast)$ dos grupos. Una función $f: G \to H$ se llama homomorfismo de grupos si preserva la operación binaria, es decir, si para todo $a, b \in G$: $$f(a \cdot b) = f(a) \ast f(b)$$ ,,,.

Nota de notación: A menudo se omiten los símbolos de operación y se escribe simplemente $f(ab) = f(a)f(b)$, entendiendo que la operación a la izquierda está en $G$ y a la derecha en $H$,.

Propiedades Básicas

Si $f: G \to H$ es un homomorfismo, se cumplen las siguientes propiedades estructurales:

Preservación de la Identidad: La imagen del elemento neutro de $G$ es el elemento neutro de $H$. Si $1_G$ y $1_H$ son los neutros: $$f(1_G) = 1_H$$ Demostración: $f(1_G) = f(1_G \cdot 1_G) = f(1_G) \ast f(1_G)$. Multiplicando por el inverso de $f(1_G)$ en $H$, obtenemos $1_H = f(1_G)$,,.
Preservación de Inversos: La imagen del inverso es el inverso de la imagen. $$f(g^{-1}) = f(g)^{-1}$$ Demostración: $f(g) \ast f(g^{-1}) = f(g \cdot g^{-1}) = f(1_G) = 1_H$. Por la unicidad del inverso, $f(g^{-1})$ debe ser el inverso de $f(g)$,,.

Tipos de Homomorfismos

Monomorfismo: Si $f$ es inyectiva (uno a uno),.
Epimorfismo: Si $f$ es sobreyectiva (suprayectiva),.
Isomorfismo: Si $f$ es biyectiva (inyectiva y sobreyectiva),,. Si existe un isomorfismo entre $G$ y $H$, se dicen isomorfos ($G \cong H$), lo que implica que son estructuralmente idénticos,.
Endomorfismo: Un homomorfismo de un grupo $G$ en sí mismo,.
Automorfismo: Un isomorfismo de un grupo $G$ en sí mismo,.

2. Núcleo (Kernel) e Imagen

Dos subconjuntos fundamentales están asociados a todo homomorfismo $f: G \to H$.

El Núcleo (Kernel)

El núcleo de $f$, denotado como $\ker(f)$ o $N(f)$, es el conjunto de elementos de $G$ que se mapean al elemento identidad de $H$: $$\ker(f) = {x \in G \mid f(x) = 1_H}$$ ,,.

Propiedades del Núcleo:

Es un subgrupo normal: $\ker(f) \unlhd G$.
- Prueba de normalidad: Sea $k \in \ker(f)$ y $g \in G$. Queremos ver si $gkg^{-1} \in \ker(f)$. Calculamos $f(gkg^{-1}) = f(g)f(k)f(g^{-1}) = f(g)1_H f(g)^{-1} = f(g)f(g)^{-1} = 1_H$. Por tanto, el conjugado está en el núcleo,,.
Criterio de Inyectividad: Un homomorfismo $f$ es inyectivo (monomorfismo) si y solo si su núcleo es trivial, es decir, $\ker(f) = {1_G}$,,.

La Imagen

La imagen de $f$, denotada como $\operatorname{Im}(f)$ o $f(G)$, es el subconjunto de $H$ formado por las imágenes de los elementos de $G$: $$\operatorname{Im}(f) = {y \in H \mid \exists x \in G, f(x) = y}$$ ,,.

Propiedades de la Imagen:

Es un subgrupo: $\operatorname{Im}(f) \leq H$. (No necesariamente normal, a menos que $H$ sea abeliano o se den otras condiciones),,.
Criterio de Sobreyectividad: $f$ es un epimorfismo si y solo si $\operatorname{Im}(f) = H$,.

3. Primer Teorema de Isomorfismo

Este es el resultado fundamental que conecta homomorfismos, núcleos y grupos cociente. Establece que la imagen de un grupo bajo un homomorfismo es isomorfa al grupo cociente del dominio por el núcleo.

Teorema: Sea $f: G \to H$ un homomorfismo de grupos con núcleo $K = \ker(f)$. Entonces, el grupo cociente $G/K$ es isomorfo a la imagen de $f$: $$G / \ker(f) \cong \operatorname{Im}(f)$$ ,,.

Demostración: Definimos una función $\phi: G/K \to \operatorname{Im}(f)$ mediante $\phi(gK) = f(g)$.

Está bien definida: Si $g_1 K = g_2 K$, entonces $g_2^{-1}g_1 \in K$, lo que implica $f(g_2^{-1}g_1) = 1_H$. Así, $f(g_2)^{-1}f(g_1) = 1_H$, por lo que $f(g_1) = f(g_2)$. La imagen no depende del representante,,.
Es homomorfismo: $\phi(aK \cdot bK) = \phi(abK) = f(ab) = f(a)f(b) = \phi(aK)\phi(bK)$,.
Es inyectiva: Si $\phi(gK) = 1_H$, entonces $f(g) = 1_H$, lo que implica $g \in K$. Así, la clase $gK$ es la identidad $K$ en el cociente. El núcleo de $\phi$ es trivial,.
Es sobreyectiva: Por definición, todo elemento en $\operatorname{Im}(f)$ es de la forma $f(g)$ para algún $g$, que es justamente $\phi(gK)$,.

Diagrama Conmutativo: Existe una relación natural donde $f$ se descompone como la proyección canónica $\pi: G \to G/K$ seguida del isomorfismo $\phi$ y la inclusión $i: \operatorname{Im}(f) \to H$,.

4. Segundo y Tercer Teoremas de Isomorfismo

Estos teoremas describen la relación entre subgrupos y cocientes.

Segundo Teorema de Isomorfismo (Teorema del Diamante)

Sean $H$ un subgrupo de $G$ y $N$ un subgrupo normal de $G$. Entonces:

$HN = {hn \mid h \in H, n \in N}$ es un subgrupo de $G$.
$H \cap N$ es un subgrupo normal de $H$.
Se cumple el isomorfismo: $$HN / N \cong H / (H \cap N)$$ ,,.

Explicación: Este teorema relaciona el cociente del producto $HN$ por $N$ con el cociente de $H$ por la intersección. Es útil para simplificar cocientes donde el numerador es un producto de subgrupos.

Tercer Teorema de Isomorfismo

Sean $H$ y $K$ subgrupos normales de $G$ tales que $K \subseteq H \subseteq G$. Entonces:

$K$ es un subgrupo normal de $H$.
$H/K$ es un subgrupo normal de $G/K$.
Se cumple el isomorfismo: $$(G/K) / (H/K) \cong G/H$$ ,,.

Explicación: Este teorema permite "simplificar fracciones" en grupos. Si se hace un cociente en dos pasos (primero por $K$, luego por $H/K$), es equivalente a hacer el cociente directamente por el subgrupo más grande $H$.

OBSERVACIÓN SOBRE NOTACIÓN MULTIPLICATIVA Y NOTACIÓN ADITIVA

Explícame con detalle, para que un principiante como yo pueda entenderlo, la analogía entre la notación multiplicativa y la notación aditiva. Incluye varios ejemplos resueltos y trabajados

Esta es una excelente pregunta. En teoría de grupos, la estructura subyacente es la misma, pero cambiamos los "nombres" y los "símbolos" dependiendo del contexto.

Para un principiante, la mejor forma de verlo es pensar en esto como una traducción entre dos idiomas: el Idioma Multiplicativo (usado generalmente para grupos abstractos o matrices) y el Idioma Aditivo (usado casi exclusivamente para grupos conmutativos o abelianos, como los números enteros).

Aquí tienes la explicación detallada de la analogía, basada en tus fuentes.

1. El Diccionario de Traducción

La diferencia es puramente de notación; las reglas lógicas son idénticas. A continuación, presento la "tabla de conversión" fundamental entre ambas notaciones,,:

Concepto	Notación Multiplicativa	Notación Aditiva
Operación	Producto: $a \cdot b$ o $ab$	Suma: $a + b$
Elemento Neutro	$1$ o $e$ (Identidad)	$0$ (Cero)
Inverso de $a$	$a^{-1}$ (Inverso)	$-a$ (Opuesto o negativo)
Repetición (Potencia)	$a^n$ (Potencia enésima)	$na$ (Múltiplo enésimo)
Operación con Inverso	$a \cdot b^{-1}$ (División)	$a - b$ (Resta)
Conmutatividad	$ab = ba$	$a + b = b + a$

Regla de oro: La notación aditiva ($+$) se utiliza casi exclusivamente cuando el grupo es conmutativo (abeliano), es decir, cuando el orden de los factores no altera el resultado,,. La notación multiplicativa es la estándar para grupos generales,.

2. Explicación Detallada de los Conceptos

A. La Operación Binaria

Multiplicativa: Escribimos $ab$ para indicar que operamos $a$ con $b$.
Aditiva: Escribimos $a+b$. Aunque usamos el símbolo $+$, esto no siempre significa "sumar números". Es simplemente una regla que toma dos elementos y produce un tercero,.

B. El Elemento Neutro

Es el elemento que "no hace nada" cuando se opera con otro.

Multiplicativa ($1$ o $e$): $a \cdot 1 = a$ y $1 \cdot a = a$.
Aditiva ($0$): $a + 0 = a$ y $0 + a = a$. Analogía: En los números reales, multiplicar por 1 te deja igual ($5 \cdot 1 = 5$), y sumar 0 te deja igual ($5 + 0 = 5$),.

C. El Elemento Inverso

Es el elemento que, al operarse con $a$, te devuelve al neutro.

Multiplicativa ($a^{-1}$): $a \cdot a^{-1} = 1$.
Aditiva ($-a$): $a + (-a) = 0$. En la notación aditiva, el inverso se llama a menudo "opuesto" o "negativo",.

D. La Repetición (Potencias vs. Múltiplos)

Esta es la parte que suele confundir más a los principiantes. Si operas un elemento consigo mismo varias veces:

Multiplicativa (Potenciación): $\underbrace{a \cdot a \cdot a \cdots a}_{n \text{ veces}} = a^n$
Aditiva (Multiplicación por un entero): $\underbrace{a + a + a + \cdots + a}_{n \text{ veces}} = na$ Por eso, lo que en un grupo multiplicativo llamamos "leyes de los exponentes", en un grupo aditivo se ven como propiedades de la multiplicación por escalares enteros,,.

3. Ejemplos Resueltos y Trabajados

Ejemplo 1: Traducción de una Propiedad (Leyes de Exponentes)

Vamos a traducir la propiedad $(a^n)^m = a^{nm}$ del lenguaje multiplicativo al aditivo.

En Multiplicativo: $(a^n)^m$ significa tomar el elemento $a^n$ y multiplicarlo por sí mismo $m$ veces. El resultado es $a$ elevado a la potencia $nm$.
Traducción al Aditivo:
1. Reemplazamos la base $a$ por $a$.
2. Reemplazamos la potencia $n$ por el coeficiente $n$. Así, $a^n$ se convierte en $na$.
3. Elevar eso a la potencia $m$ se convierte en multiplicar por $m$. Así, $(na)$ multiplicado por $m$ es $m(na)$.
4. El exponente resultante $nm$ se convierte en el coeficiente $nm$.
Resultado Aditivo: $m(na) = (mn)a$. Esto nos dice que sumar $m$ veces el elemento ($n$ veces $a$) es lo mismo que sumar $(m \times n)$ veces el elemento $a$,.

Ejemplo 2: El Inverso de una Operación Compuesta

En un grupo, el inverso de un producto es el producto de los inversos en orden inverso: $(ab)^{-1} = b^{-1}a^{-1}$. ¿Cómo se ve esto en notación aditiva?

Paso 1 (Operación): Cambiamos el producto $ab$ por la suma $a+b$.
Paso 2 (Inverso): Cambiamos el símbolo de inversión $(\dots)^{-1}$ por el signo menos $-(\dots)$.
Paso 3 (Lado derecho): Cambiamos $b^{-1}$ por $-b$ y $a^{-1}$ por $-a$.
Resultado: $-(a+b) = (-b) + (-a)$. Como la notación aditiva se usa para grupos conmutativos (donde el orden no importa), esto suele escribirse simplemente como $-(a+b) = -a -b$,.

Ejemplo 3: Comparación con Conjuntos Numéricos Reales

Comparemos el grupo multiplicativo de los reales no nulos ($\mathbb{R}^*$) con el grupo aditivo de los enteros ($\mathbb{Z}$).

Concepto	Grupo Multiplicativo ($\mathbb{R}^*$, $\cdot$)	Grupo Aditivo ($\mathbb{Z}$, $+$)
Elementos	Números reales $\neq 0$	Números enteros
Operación	$2 \cdot 4 = 8$	$2 + 4 = 6$
Neutro	$1$ (porque $5 \cdot 1 = 5$)	$0$ (porque $5 + 0 = 5$)
Inverso de 5	$5^{-1} = 1/5$ (o $0.2$)	$-5$
Verificación	$5 \cdot (1/5) = 1$ (Neutro)	$5 + (-5) = 0$ (Neutro)
Repetición	$5^3 = 5 \cdot 5 \cdot 5 = 125$	$3 \cdot 5 = 5 + 5 + 5 = 15$
Inverso Repetido	$5^{-2} = (1/5)^2 = 1/25$	$-2 \cdot 5 = -(5+5) = -10$

[Basado en las fuentes 11, 40, 105]

Ejemplo 4: Traducción de una Ecuación

Supongamos que tienes la siguiente ecuación en un grupo multiplicativo y quieres ver su análoga aditiva: $$x^2 \cdot y^{-1} \cdot z = e$$

Solución paso a paso:

$x^2$: En aditivo, elevar al cuadrado es sumar dos veces. Se traduce como $2x$.
$\cdot$ (producto): Se traduce como $+$.
$y^{-1}$: El inverso multiplicativo pasa a ser el opuesto aditivo. Se traduce como $-y$.
$z$: Se queda como $z$.
$=$: Se mantiene igual.
$e$ (neutro): El neutro multiplicativo pasa a ser el neutro aditivo. Se traduce como $0$.

Ecuación final en notación aditiva: $$2x - y + z = 0$$

(Nota: En los textos, expresiones como $x^2y^{-3}$ se convierten naturalmente en $2x - 3y$ bajo esta analogía),.

FIN DE LA OBSERVACIÓN

CONTINÚA EL CUERPO DEL TEXTO

5. Ejemplos Resueltos sobre el cuerpo del texto

Ejemplo 1: El Determinante (GL y SL) Sea $G = GL(n, \mathbb{R})$ el grupo de matrices invertibles $n \times n$ y $H = \mathbb{R}^*$ el grupo multiplicativo de números reales no cero. La función $f: GL(n, \mathbb{R}) \to \mathbb{R}^*$ definida por $f(A) = \det(A)$ es un homomorfismo, ya que $\det(AB) = \det(A)\det(B)$,.

Imagen: $\operatorname{Im}(f) = \mathbb{R}^*$ (cualquier real no nulo es determinante de alguna matriz).
Núcleo: $\ker(f) = {A \in GL(n, \mathbb{R}) \mid \det(A) = 1}$. Este es el grupo lineal especial $SL(n, \mathbb{R})$.
Aplicación del 1er Teorema: $GL(n, \mathbb{R}) / SL(n, \mathbb{R}) \cong \mathbb{R}^*$,.

Ejemplo 2: Enteros y Restos Sea $f: \mathbb{Z} \to \mathbb{Z}_n$ definida por $f(x) = [x]_n$ (la clase de resto módulo $n$).

Es un homomorfismo (epimorfismo) porque $[x+y]_n = [x]_n + [y]_n$.
Núcleo: Los enteros que dan resto 0 al dividir por $n$, es decir, los múltiplos de $n$ ($n\mathbb{Z}$).
Aplicación del 1er Teorema: $\mathbb{Z} / n\mathbb{Z} \cong \mathbb{Z}_n$,,.

Ejemplo 3: Valor Absoluto y Complejos Sea $G = (\mathbb{C}^*, \cdot)$ y $H = (\mathbb{R}^+, \cdot)$. Definamos $f(z) = |z|$.

Es homomorfismo: $|zw| = |z||w|$.
Núcleo: ${z \in \mathbb{C}^* \mid |z|=1}$, que es el círculo unitario $S^1$.
Aplicación del 1er Teorema: $\mathbb{C}^* / S^1 \cong \mathbb{R}^+$,.

6. Ejercicios y Problemas Propuestos

Verificación de Homomorfismo: Determine si $\phi: \mathbb{R}^* \to \mathbb{R}^*$ definida por $\phi(x) = |x|$ es un homomorfismo. Encuentre su núcleo e imagen,.
- Solución: Sí, porque $|xy|=|x||y|$. Núcleo: ${1, -1}$. Imagen: $\mathbb{R}^+$.
Cálculo de Núcleo: Sea $G = \mathbb{Z} \times \mathbb{Z}$ y el homomorfismo $\phi: G \to \mathbb{Z}$ dado por $\phi(x, y) = x$. ¿Cuál es el núcleo?.
- Solución: $\ker(\phi) = {(0, y) \mid y \in \mathbb{Z}} \cong \mathbb{Z}$ (eje Y).
Segundo Teorema: En el grupo $\mathbb{Z}_{24}$, sea $H = \langle 4 \rangle$ y $N = \langle 6 \rangle$. Encuentre $HN/N$ y verifique que es isomorfo a $H/(H \cap N)$.
- Pista: Identificar los elementos de los subgrupos generados y sus intersecciones.
Tercer Teorema: Demuestre que $(\mathbb{Z}/12\mathbb{Z}) / (4\mathbb{Z}/12\mathbb{Z}) \cong \mathbb{Z}/4\mathbb{Z}$.
- Pista: Use $G=\mathbb{Z}$, $K=12\mathbb{Z}$, $H=4\mathbb{Z}$ en el teorema $(G/K)/(H/K) \cong G/H$.
Automorfismos: Sea $G$ un grupo. Demuestre que la aplicación $g \mapsto \phi_g$ donde $\phi_g(x) = gxg^{-1}$ es un homomorfismo de $G$ en $\operatorname{Aut}(G)$. ¿Cuál es su núcleo?,.
- Solución: El núcleo es el Centro de $G$, $Z(G)$. Por el primer teorema, $G/Z(G) \cong \operatorname{Inn}(G)$.

ENUNCIA Y DEMUESTRA CON DETALLE LOS TEOREMAS SEGUNDO Y TERCERO DE ISOMORFÍA

Aquí tienes los enunciados y demostraciones detalladas de los teoremas segundo y tercero de isomorfía. Estas demostraciones se basan fundamentalmente en el Primer Teorema de Isomorfismo y en las propiedades de los subgrupos normales y homomorfismos que estudiamos en la Lección 6.

Segundo Teorema de Isomorfismo (Teorema del Diamante)

Este teorema describe la relación entre dos subgrupos, uno de los cuales es normal, y cómo sus intersecciones y productos generan estructuras isomorfas. Se le llama "del diamante" por la forma del diagrama de retículo de los subgrupos involucrados.

Enunciado: Sean $G$ un grupo, $H$ un subgrupo de $G$, y $N$ un subgrupo normal de $G$ ($N \unlhd G$). Entonces:

La intersección $H \cap N$ es un subgrupo normal de $H$.
El conjunto producto $HN = {hn \mid h \in H, n \in N}$ es un subgrupo de $G$.
$N$ es un subgrupo normal de $HN$.
Se cumple el siguiente isomorfismo: $$H / (H \cap N) \cong HN / N$$ ,.

Demostración detallada:

Para demostrar esto, utilizaremos el Primer Teorema de Isomorfismo. Buscamos un homomorfismo que vaya desde $H$ (el numerador del lado izquierdo) hacia $HN/N$ (el lado derecho).

Definición del homomorfismo: Consideremos el homomorfismo canónico (proyección) $\pi: G \to G/N$ definido por $\pi(g) = gN$. Vamos a restringir este homomorfismo al subgrupo $H$. Definimos la función $\phi: H \to G/N$ como la restricción de $\pi$ a $H$. Es decir, para todo $h \in H$: $$\phi(h) = hN$$ Como $\pi$ es un homomorfismo, su restricción $\phi$ también es un homomorfismo,.
Determinación de la Imagen ($\operatorname{Im} \phi$): La imagen de $\phi$ es el conjunto de clases laterales de $N$ que tienen un representante en $H$. $$\operatorname{Im}(\phi) = {hN \mid h \in H}$$ Observamos que los elementos de $HN$ son de la forma $hn$. La clase lateral de un elemento $hn$ en $G/N$ es $(hn)N = h(nN) = hN$. Por lo tanto, el conjunto de clases ${hN \mid h \in H}$ es exactamente el grupo cociente $HN/N$. Así, $\operatorname{Im}(\phi) = HN/N$.
Determinación del Núcleo ($\ker \phi$): El núcleo de $\phi$ consta de los elementos de $H$ que se mapean a la identidad en el codominio. La identidad en $G/N$ es la clase $N$ (o $1N$). $$\ker(\phi) = {h \in H \mid \phi(h) = N}$$ $$= {h \in H \mid hN = N}$$ Sabemos que $hN = N$ si y solo si $h \in N$. Por lo tanto: $$\ker(\phi) = {h \in H \mid h \in N} = H \cap N$$ Como el núcleo de cualquier homomorfismo es un subgrupo normal del dominio, concluimos que $H \cap N \unlhd H$,.
Aplicación del Primer Teorema: El Primer Teorema de Isomorfismo establece que para cualquier homomorfismo $\phi$, el dominio dividido por el núcleo es isomorfo a la imagen: $$Dom(\phi) / \ker(\phi) \cong \operatorname{Im}(\phi)$$ Sustituyendo nuestros hallazgos: $$H / (H \cap N) \cong HN / N$$ Esto concluye la demostración,.

Tercer Teorema de Isomorfismo

Este teorema trata sobre "cocientes de cocientes". Nos dice que si hacemos un cociente en dos pasos, es equivalente a hacerlo en un solo paso con el subgrupo más grande.

Enunciado: Sean $H$ y $K$ dos subgrupos normales de un grupo $G$ tales que $K \subseteq H$ (es decir, $K \le H \le G$). Entonces:

$K$ es un subgrupo normal de $H$.
El cociente $H/K$ es un subgrupo normal del cociente $G/K$.
Se cumple el siguiente isomorfismo: $$(G/K) / (H/K) \cong G/H$$ ,.

Demostración detallada:

Nuevamente, usaremos el Primer Teorema de Isomorfismo construyendo un homomorfismo desde el "numerador grande" $G/K$ hacia el resultado final $G/H$.

Definición del homomorfismo: Queremos definir una función $\psi: G/K \to G/H$. La regla natural es tomar una clase en el dominio y enviarla a la clase correspondiente en el codominio: $$\psi(gK) = gH$$

Verificación de buena definición: Supongamos que $g_1K = g_2K$. Esto significa que $g_2^{-1}g_1 \in K$. Como $K \subseteq H$, entonces $g_2^{-1}g_1 \in H$. Esto implica que $g_1H = g_2H$. Por lo tanto, la imagen no depende del representante elegido y $\psi$ está bien definida,.
Verificación de Homomorfismo: Para cualesquiera $aK, bK \in G/K$: $$\psi((aK)(bK)) = \psi(abK) = (ab)H = (aH)(bH) = \psi(aK)\psi(bK)$$ Por lo tanto, $\psi$ es un homomorfismo de grupos.
Determinación de la Imagen ($\operatorname{Im} \psi$): La función es claramente sobreyectiva (epimorfismo). Cualquier elemento en $G/H$ es de la forma $gH$ para algún $g \in G$, y este es precisamente la imagen de $gK$ bajo $\psi$. $$\operatorname{Im}(\psi) = G/H$$ ,.
Determinación del Núcleo ($\ker \psi$): El elemento identidad en $G/H$ es la clase $H$. Buscamos qué elementos de $G/K$ se mapean a $H$. $$\ker(\psi) = {gK \in G/K \mid \psi(gK) = H}$$ $$= {gK \in G/K \mid gH = H}$$ Sabemos que $gH = H$ si y solo si $g \in H$. Por lo tanto, el núcleo consta de todas las clases $gK$ donde el representante $g$ pertenece a $H$: $$\ker(\psi) = {gK \mid g \in H} = H/K$$ Esto prueba, además, que $H/K$ es un subgrupo normal de $G/K$ (ya que es el núcleo de un homomorfismo),.
Aplicación del Primer Teorema: Aplicando el Primer Teorema de Isomorfismo: $$Dom(\psi) / \ker(\psi) \cong \operatorname{Im}(\psi)$$ Sustituyendo los elementos identificados: $$(G/K) / (H/K) \cong G/H$$ Esto concluye la demostración,.

PREGUNTA: $GL(n, \mathbb{R}) / SL(n, \mathbb{R}) \cong \mathbb{R}^*$,. ¿Qué sentido intuitivo tiene $GL(n, \mathbb{R}) / SL(n, \mathbb{R})$ ? ¿Cómo podemos visualizarlo o describirlo para entenderlo?

El sentido intuitivo de este isomorfismo radica en que el grupo cociente $GL(n, \mathbb{R}) / SL(n, \mathbb{R})$ "filtra" o "ignora" toda la complejidad geométrica de las transformaciones lineales (como rotaciones y cizallamientos) y se queda únicamente con la información sobre el cambio de volumen y la orientación.

Aquí te presento una descripción detallada para visualizarlo y entenderlo, basada en los principios geométricos y algebraicos de tus fuentes:

1. La herramienta clave: El Determinante

Para entender este cociente, debemos recordar qué representa el determinante:

Algebraicamente: La función determinante es un homomorfismo sobreyectivo de $GL(n, \mathbb{R})$ en $\mathbb{R}^*$ (los reales no nulos).
Geométricamente: El determinante de una matriz mide cómo cambia el volumen (o área en 2D) al aplicar la transformación.
- Si $\det(A) = 2$, la transformación duplica el volumen.
- Si $\det(A) = 1$, la transformación conserva el volumen exacto.
- El signo ($+$ o $-$) indica si se conserva o invierte la orientación (como un espejo).

2. ¿Qué es $SL(n, \mathbb{R})$ aquí? (El "Denominador")

El grupo lineal especial, $SL(n, \mathbb{R})$, es el núcleo (kernel) de este homomorfismo,.

Contiene todas las matrices con determinante igual a 1.
Visualización: Imagina todas las transformaciones que puedes hacerle a un objeto flexible (como un cubo de gelatina) sin cambiar su volumen total. Puedes rotarlo, estirarlo de un lado mientras lo aplastas del otro (cizallamiento), pero la cantidad total de "gelatina" (volumen) permanece constante. Eso es $SL(n, \mathbb{R})$.

3. ¿Qué es el Cociente? (Las Clases Laterales)

Cuando formamos el grupo cociente, estamos agrupando las matrices en "paquetes" (clases laterales). Según el ejercicio 15 de la fuente, la clase lateral de una matriz $A$ es: $$ A \cdot SL(n, \mathbb{R}) = { M \in GL(n, \mathbb{R}) \mid \det(M) = \det(A) } $$

Interpretación intuitiva: Dos matrices $A$ y $B$ están en la misma clase (es decir, son "iguales" en el grupo cociente) si tienen el mismo determinante.

No importa si $A$ rota 90 grados y $B$ no.
No importa si $A$ estira en el eje X y $B$ en el eje Y.
Lo único que importa para que estén en el mismo paquete es que ambas alteren el volumen total del espacio por el mismo factor de escala.

4. Visualización del Isomorfismo con $\mathbb{R}^*$

El isomorfismo $GL(n, \mathbb{R}) / SL(n, \mathbb{R}) \cong \mathbb{R}^*$, nos dice que cada "paquete" de matrices se comporta exactamente como un número real (distinto de cero).

El Grupo $\mathbb{R}^*$: Representa los factores de escala (magnitud de expansión/contracción y signo de orientación).
La Correspondencia:
- La clase identidad en el cociente (el paquete del $1$) contiene a todas las matrices que no cambian el volumen ($\det = 1$).
- La clase asociada al número $2$ en $\mathbb{R}^*$ contiene a todas las infinitas matrices que duplican el volumen ($\det = 2$).
- La clase asociada al número $-1$ contiene a todas las matrices que conservan el volumen pero invierten la orientación (como un espejo).

Resumen

Puedes visualizar el paso de $GL$ al cociente $GL/SL$ como una operación de "ceguera selectiva": Dejas de ver la forma, el ángulo o la dirección de la transformación lineal. Lo único que ves es un número: ¿Cuánto se agrandó o achicó el espacio?

El cociente es, esencialmente, el grupo de los factores de escala de volumen posibles en el espacio $n$-dimensional.

Resuelve con todo detalle este ejercicio:

Segundo Teorema: En el grupo Z24, sea H=⟨4⟩ y N=⟨6⟩. Encuentre HN/N y verifique que es isomorfo a H/(H∩N)

Basado en los principios establecidos en las fuentes sobre subgrupos de $\mathbb{Z}$, grupos cociente y los teoremas de isomorfía, aquí tienes la resolución detallada del ejercicio.

Dado que el grupo $G = \mathbb{Z}_{24}$ es abeliano (conmutativo) y su operación es la suma (aditiva), usaremos la notación aditiva. Por lo tanto, el producto $HN$ se denota como la suma $H + N$.

1. Definición de los Subgrupos

Primero, identificamos explícitamente los elementos de los subgrupos generados. En $\mathbb{Z}_{24}$, el subgrupo generado por un elemento $k$ es $\langle k \rangle = {nk \pmod{24} \mid n \in \mathbb{Z}}$.

Subgrupo $H = \langle 4 \rangle$: Los múltiplos de 4 módulo 24 son: $$H = {0, 4, 8, 12, 16, 20}$$ El orden de $H$ es $|H| = 6$.
Subgrupo $N = \langle 6 \rangle$: Los múltiplos de 6 módulo 24 son: $$N = {0, 6, 12, 18}$$ El orden de $N$ es $|N| = 4$.

2. Cálculo de la Suma de Subgrupos ($H + N$)

El conjunto $H + N$ (análogo a $HN$ en notación multiplicativa) está formado por todas las sumas posibles $h + n$ con $h \in H$ y $n \in N$,. Sabemos por la teoría de grupos cíclicos que el subgrupo generado por la suma de dos subgrupos $\langle a \rangle + \langle b \rangle$ es el subgrupo generado por el máximo común divisor de sus generadores, es decir, $\langle \gcd(a, b) \rangle$.

Calculamos $\gcd(4, 6) = 2$.
Por lo tanto, $H + N = \langle 2 \rangle$.

Listamos los elementos de $H + N$: $$H + N = {0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22}$$ El orden de este subgrupo es $|H + N| = 12$.

3. Cálculo de la Intersección ($H \cap N$)

Buscamos los elementos comunes entre $H$ y $N$.

$H = {0, 4, 8, \mathbf{12}, 16, 20}$
$N = {0, 6, \mathbf{12}, 18}$

La intersección es: $$H \cap N = {0, 12}$$ Este es el subgrupo generado por el mínimo común múltiplo de 4 y 6 (que es 12) dentro de $\mathbb{Z}_{24}$. El orden de la intersección es $|H \cap N| = 2$.

4. Construcción de los Grupos Cociente

El Segundo Teorema de Isomorfía establece que $(H + N) / N \cong H / (H \cap N)$,,. Vamos a calcular ambos lados para verificarlo.

A. El lado izquierdo: $(H + N) / N$

Estamos factorizando el grupo $H + N = \langle 2 \rangle$ por su subgrupo normal $N = \langle 6 \rangle$. El orden de este grupo cociente debe ser: $$| (H + N) / N | = \frac{|H + N|}{|N|} = \frac{12}{4} = 3$$

Las clases laterales (cosets) se forman sumando elementos de $H + N$ al subgrupo $N = {0, 6, 12, 18}$:

Clase del 0 (Identidad): $0 + N = {0, 6, 12, 18} = N$.
Clase del 2: $2 + N = {2, 8, 14, 20}$.
Clase del 4: $4 + N = {4, 10, 16, 22}$.

Si intentamos la clase del 6, obtenemos $6 + N$, que es igual a $N$ porque $6 \in N$. Entonces, el grupo cociente es: $$(H + N) / N = {N, 2 + N, 4 + N}$$ Este es un grupo cíclico de orden 3, isomorfo a $\mathbb{Z}_3$.

B. El lado derecho: $H / (H \cap N)$

Estamos factorizando el grupo $H = \langle 4 \rangle$ por su subgrupo normal $H \cap N = {0, 12}$. El orden de este grupo cociente debe ser: $$| H / (H \cap N) | = \frac{|H|}{|H \cap N|} = \frac{6}{2} = 3$$

Las clases laterales se forman sumando elementos de $H$ al subgrupo $K = {0, 12}$:

Clase del 0 (Identidad): $0 + K = {0, 12}$.
Clase del 4: $4 + K = {4, 16}$.
Clase del 8: $8 + K = {8, 20}$.

Si intentamos la siguiente clase, $12 + K$, volvemos a ${12, 24 \equiv 0}$, que es la identidad. Entonces, el grupo cociente es: $$H / (H \cap N) = {K, 4 + K, 8 + K}$$ Este también es un grupo cíclico de orden 3, isomorfo a $\mathbb{Z}_3$.

5. Verificación del Isomorfismo

Hemos encontrado que:

$(H + N) / N$ es un grupo cíclico de orden 3 generado por la clase $2+N$.
$H / (H \cap N)$ es un grupo cíclico de orden 3 generado por la clase $4 + (H \cap N)$.

Como ambos son grupos cíclicos de orden 3, son estructuralmente idénticos (isomorfos a $\mathbb{Z}_3$).

El isomorfismo explícito $\phi$: El teorema establece el isomorfismo natural $\phi: H/(H \cap N) \to (H+N)/N$ dado por $h + (H \cap N) \mapsto h + N$. Verifiquemos que mapea correctamente las clases:

$\phi(0 + (H \cap N)) \to 0 + N$ (Identidad a Identidad).
$\phi(4 + (H \cap N)) \to 4 + N$ (Generador a Generador; nota que $4+N$ es el inverso de $2+N$ en el primer cociente, ambos generan el grupo).
$\phi(8 + (H \cap N)) \to 8 + N$.
- Nota: En $(H+N)/N$, la clase $8+N$ es igual a la clase $2+N$, ya que $8 - 2 = 6 \in N$.

Por lo tanto, se verifica el Segundo Teorema de Isomorfía: $$H / (H \cap N) \cong (H + N) / N \cong \mathbb{Z}_3$$

FIN DE LA LECCIÓN 6

LECCIÓN 7

Lección 7: Productos Directos y Estructura de Grupos Abelianos Finitos

Clasificación completa de los grupos abelianos finitos.

Producto Directo de Grupos: Producto Directo Externo $G_1 \times \cdots \times G_n$ y Producto Directo Interno.
Condiciones para el Producto Directo Interno: $G \cong H \times K$ si $H, K \unlhd G$, $G=HK$, y $H \cap K = {e}$.
Teorema Estructural para Grupos Abelianos Finitos: Todo grupo abeliano finito $G$ es isomorfo a un producto directo de grupos cíclicos, cuya descomposición es única si los órdenes son potencias de primos (Divisores Elementales) o satisfacen $m_i | m_{i+1}$ (Factores Invariantes/Coeficientes de Torsión).

DESARROLLO DE LA LECCIÓN 7: PRODUCTOS DIRECTOS Y ESTRUCTURA DE GRUPOS ABELIANOS FINITOS

Aquí tienes el desarrollo detallado de la Lección 7, diseñado para ser exhaustivo pero accesible, basado estrictamente en las fuentes proporcionadas.

Lección 7: Productos Directos y Estructura de Grupos Abelianos Finitos

Hasta ahora hemos estudiado los grupos como entes individuales. En esta lección aprenderemos a construir grupos grandes a partir de grupos más pequeños (construcción externa) y a descomponer grupos grandes en piezas fundamentales más sencillas (análisis interno). Esto culminará con el Teorema Fundamental, que clasifica todos los grupos abelianos finitos.

1. Producto Directo Externo

Imagina que tienes dos grupos y quieres pegarlos para formar uno nuevo. El producto directo externo es la herramienta para hacerlo.

Definición

Sean $G$ y $K$ dos grupos. El producto directo externo $G \times K$ es el conjunto de todos los pares ordenados $(g, k)$ donde $g \in G$ y $k \in K$. $$ G \times K = {(g, k) \mid g \in G, k \in K} $$ Este conjunto se convierte en grupo definiendo la operación componente a componente. Si $(a, b)$ y $(a', b')$ son elementos de $G \times K$: $$ (a, b) \cdot (a', b') := (aa', bb') $$ donde el primer componente se opera en $G$ y el segundo en $K$.

Propiedades básicas:

Elemento Neutro: Es el par $(e_G, e_K)$, a menudo denotado simplemente como $(e, e)$ o $1$.
Inversos: El inverso se calcula componente a componente: $(a, b)^{-1} = (a^{-1}, b^{-1})$.
Orden del grupo: Si ambos grupos son finitos, el orden del producto es el producto de los órdenes: $|G \times K| = |G| \cdot |K|$.
Orden de un elemento: El orden de un elemento $(g, k)$ en el producto directo es el mínimo común múltiplo de los órdenes de sus componentes: $$ |(g, k)| = \text{mcm}(|g|, |k|) $$.

Generalización

Esto se puede extender a una familia finita de grupos $G_1, \dots, G_n$. El producto directo $G_1 \times \cdots \times G_n$ (o $\prod_{i=1}^n G_i$) es el conjunto de $n$-tuplas $(g_1, \dots, g_n)$ con la operación componente a componente.

2. Producto Directo Interno

A veces, un grupo grande $G$ contiene subgrupos que interactúan de tal manera que $G$ es estructuralmente idéntico (isomorfo) a su producto directo. Cuando esto ocurre, decimos que $G$ se descompone internamente.

Definición y Condiciones

Un grupo $G$ se dice que es el producto directo interno de dos subgrupos $H$ y $K$ si la aplicación $\phi: H \times K \to G$ definida por $\phi(h, k) = hk$ es un isomorfismo.

Para que esto ocurra, se deben cumplir tres condiciones fundamentales (Criterio del Producto Directo):

Normalidad: $H$ y $K$ deben ser subgrupos normales de $G$ ($H \unlhd G, K \unlhd G$).
Generación: El producto de los subgrupos debe generar todo el grupo: $G = HK$. Esto significa que todo $g \in G$ se puede escribir como $g = hk$.
Intersección Trivial: La intersección de los subgrupos debe ser solo la identidad: $H \cap K = {e}$.

Demostración del Isomorfismo (Paso a paso)

Vamos a demostrar que si se cumplen estas tres condiciones, entonces $G \cong H \times K$.

Paso 1: Los elementos de $H$ y $K$ conmutan entre sí. Sean $h \in H$ y $k \in K$. Queremos ver si $hk = kh$, o equivalentemente, si el conmutador $hkh^{-1}k^{-1}$ es la identidad. Consideremos el elemento $x = hkh^{-1}k^{-1}$.

Agrupando como $(hkh^{-1})k^{-1}$: Como $K$ es normal, $hkh^{-1} \in K$, así que todo el término está en $K$.
Agrupando como $h(kh^{-1}k^{-1})$: Como $H$ es normal, $kh^{-1}k^{-1} \in H$, así que todo el término está en $H$. Por lo tanto, $x \in H \cap K$. Por la condición (3), $H \cap K = {e}$, así que $hkh^{-1}k^{-1} = e$, lo que implica $hk = kh$.

Paso 2: La función es un homomorfismo. Definimos $\phi: H \times K \to G$ tal que $\phi(h, k) = hk$. Tomamos dos elementos $(h, k)$ y $(h', k')$: $$ \phi((h, k) \cdot (h', k')) = \phi(hh', kk') = hh'kk' $$ Usando la conmutatividad probada en el Paso 1 ($h'k = kh'$), reordenamos: $$ hh'kk' = hkh'k' = \phi(h, k) \phi(h', k') $$ Por tanto, $\phi$ es un homomorfismo.

Paso 3: Es biyectiva.

Sobreyectiva: Por la condición (2), $G = HK$, así que todo $g \in G$ es de la forma $hk = \phi(h, k)$.
Inyectiva: Supongamos $\phi(h, k) = e$. Entonces $hk = e$, lo que implica $h = k^{-1}$. Como $h \in H$ y $k^{-1} \in K$, entonces $h$ pertenece a la intersección $H \cap K$. Por la condición (3), $h = e$ (y por tanto $k = e$). El núcleo es trivial.

3. Teorema Estructural para Grupos Abelianos Finitos

Este es el resultado culminante de la teoría de grupos abelianos finitos. Nos dice que estos grupos no son aleatorios; se construyen como "ladrillos" simples de grupos cíclicos.

Enunciado del Teorema

Todo grupo abeliano finito $G$ es isomorfo a un producto directo de grupos cíclicos de órdenes potencia de primo. Además, esta descomposición es única (salvo el orden de los factores). $$ G \cong \mathbb{Z}_{p_1^{e_1}} \times \mathbb{Z}_{p_2^{e_2}} \times \cdots \times \mathbb{Z}_{p_k^{e_k}} $$ Los números $p_i^{e_i}$ se llaman divisores elementales.

Forma Alternativa: Factores Invariantes

También se puede descomponer $G$ de la forma:

$$ G \cong \mathbb{Z}_{m_1} \times \mathbb{Z}_{m_2} \times \cdots \times \mathbb{Z}_{m_r} $$ donde cada entero divide al siguiente: $m_1 \mid m_2 \mid \cdots \mid m_r$. Los números $m_i$ se llaman factores invariantes o coeficientes de torsión.

Relación entre las dos formas (Ejemplo Práctico)

Es vital saber pasar de una forma a la otra. Usamos la propiedad: $\mathbb{Z}_m \times \mathbb{Z}_n \cong \mathbb{Z}_{mn}$ si y solo si $\text{mcd}(m, n) = 1$.

Ejemplo: Grupos de orden 360 Supongamos que queremos clasificar todos los grupos abelianos de orden $360 = 2^3 \cdot 3^2 \cdot 5$. Primero, buscamos las particiones de las potencias de primos (Divisores Elementales) y luego agrupamos para hallar los Factores Invariantes.

Divisores Elementales (Potencias de primos)	Construcción de Factores Invariantes (Agrupar al final)	Isomorfismo (Factores Invariantes)
$2^3, 3^2, 5$	$(2^3 \cdot 3^2 \cdot 5)$	$\mathbb{Z}_{360}$
$2^2, 2, 3^2, 5$	$(2) \times (2^2 \cdot 3^2 \cdot 5)$	$\mathbb{Z}_{2} \times \mathbb{Z}_{180}$
$2^3, 3, 3, 5$	$(3) \times (2^3 \cdot 3 \cdot 5)$	$\mathbb{Z}_{3} \times \mathbb{Z}_{120}$
$2^2, 2, 3, 3, 5$	$(2 \cdot 3) \times (2^2 \cdot 3 \cdot 5)$	$\mathbb{Z}_{6} \times \mathbb{Z}_{60}$
$2, 2, 2, 3^2, 5$	$(2 \cdot 2) \times (2 \cdot 3^2 \cdot 5)$	$\mathbb{Z}_{2} \times \mathbb{Z}_{2} \times \mathbb{Z}_{90}$
$2, 2, 2, 3, 3, 5$	$(2 \cdot 3) \times (2 \cdot 3 \cdot 5)$	$\mathbb{Z}_{2} \times \mathbb{Z}_{6} \times \mathbb{Z}_{30}$ (?)

(Nota: En la última fila, para los factores invariantes, debemos asegurar la divisibilidad. Agrupamos: el mayor es $2 \cdot 3 \cdot 5 = 30$, el siguiente $2 \cdot 3 = 6$, y queda un $2$. Como $2|6|30$, la estructura es $\mathbb{Z}_2 \times \mathbb{Z}_6 \times \mathbb{Z}_{30}$).

4. Ejemplos y Problemas Resueltos

Ejemplo 1: Clasificación de grupos de orden 4 $|G|=4=2^2$. Las particiones de 2 son:

$2$: Corresponde a $\mathbb{Z}_{2^2} = \mathbb{Z}_4$ (Cíclico).
$1+1$: Corresponde a $\mathbb{Z}_2 \times \mathbb{Z}_2$ (Grupo de Klein). Estos dos grupos no son isomorfos (uno tiene un elemento de orden 4, el otro no).

Ejemplo 2: ¿Es $\mathbb{Z}_8 \times \mathbb{Z}_9$ isomorfo a $\mathbb{Z}_{72}$? Sí. Como $\text{mcd}(8, 9) = 1$, el producto directo de grupos cíclicos de órdenes coprimos es cíclico. Por lo tanto $\mathbb{Z}_8 \times \mathbb{Z}_9 \cong \mathbb{Z}_{72}$.

Ejercicio Propuesto: Determine si el grupo $G = \mathbb{Z}_4 \times \mathbb{Z}_{12} \times \mathbb{Z}_{15}$ es isomorfo a $H = \mathbb{Z}_{12} \times \mathbb{Z}_{60}$. Pista: Descomponga ambos en divisores elementales (potencias de primos).

Para $G$: $\mathbb{Z}_{2^2} \times (\mathbb{Z}_{2^2} \times \mathbb{Z}_3) \times (\mathbb{Z}_3 \times \mathbb{Z}_5)$. Divisores: $2^2, 2^2, 3, 3, 5$.
Para $H$: $(\mathbb{Z}_{2^2} \times \mathbb{Z}_3) \times (\mathbb{Z}_{2^2} \times \mathbb{Z}_3 \times \mathbb{Z}_5)$. Divisores: $2^2, 2^2, 3, 3, 5$.
Al tener los mismos divisores elementales, son isomorfos.

Demuestra la descomposición en factores invariantes.

Aquí tienes la demostración detallada de la descomposición en Factores Invariantes.

Esta demostración es constructiva. En lugar de partir de cero, utilizaremos el Teorema de la Descomposición Primaria (Divisores Elementales) que ya establecimos en la Lección 7, y demostraremos cómo reagrupar esos "bloques de construcción" básicos para obtener los factores invariantes que cumplen la condición de divisibilidad $m_1 \mid m_2 \mid \cdots \mid m_r$.

1. Punto de Partida: Descomposición Primaria

Sabemos, por el Teorema Fundamental (versión Divisores Elementales), que todo grupo abeliano finito $G$ es isomorfo a un producto directo de grupos cíclicos cuyos órdenes son potencias de números primos:

$$ G \cong \mathbb{Z}_{q_1} \times \mathbb{Z}_{q_2} \times \cdots \times \mathbb{Z}_{q_t} $$

Donde cada $q_i$ es de la forma $p^k$ (una potencia de un número primo). A estos números $q_i$ se les llama divisores elementales,.

2. El Algoritmo de Construcción

Para pasar a los factores invariantes ($m_i$), debemos reagrupar estos grupos cíclicos de potencia prima utilizando la propiedad fundamental del Teorema Chino del Resto:

$\mathbb{Z}_a \times \mathbb{Z}_b \cong \mathbb{Z}_{ab}$ si y solo si $\text{mcd}(a, b) = 1$.

Paso 1: Clasificar por primos Agrupamos los divisores elementales según el número primo al que pertenecen. Supongamos que los primos distintos que dividen al orden de $G$ son $p_1, p_2, \dots, p_k$. Para cada primo $p_j$, escribimos sus potencias en orden creciente (rellenando con $1$ si es necesario para que todas las listas tengan la misma longitud $r$).

Sea $r$ el número máximo de sumandos cíclicos asociados a un mismo primo. Tenemos las listas de exponentes:

Primo $p_1$: $p_1^{\alpha_{1,1}}, p_1^{\alpha_{1,2}}, \dots, p_1^{\alpha_{1,r}}$ (donde $\alpha_{1,1} \le \dots \le \alpha_{1,r}$)
Primo $p_2$: $p_2^{\alpha_{2,1}}, p_2^{\alpha_{2,2}}, \dots, p_2^{\alpha_{2,r}}$
...
Primo $p_k$: $p_k^{\alpha_{k,1}}, p_k^{\alpha_{k,2}}, \dots, p_k^{\alpha_{k,r}}$,.

Paso 2: Definir los Factores Invariantes ($m_i$) Construimos los números $m_i$ multiplicando las columnas de esta lista (tomamos la potencia $i$-ésima de cada primo):

$$ m_i = p_1^{\alpha_{1,i}} \cdot p_2^{\alpha_{2,i}} \cdots p_k^{\alpha_{k,i}} $$

para $i = 1, \dots, r$.

3. Demostración de las Propiedades

Ahora debemos probar que estos $m_i$ cumplen las dos condiciones requeridas: generan un grupo isomorfo a $G$ y cumplen la divisibilidad.

A. Isomorfismo ($G \cong \mathbb{Z}{m_1} \times \cdots \times \mathbb{Z}{m_r}$) Por construcción, cada $m_i$ es producto de potencias de primos distintos. $$ \mathbb{Z}{m_i} = \mathbb{Z}{(p_1^{\alpha_{1,i}} \cdots p_k^{\alpha_{k,i}})} \cong \mathbb{Z}{p_1^{\alpha{1,i}}} \times \cdots \times \mathbb{Z}{p_k^{\alpha{k,i}}} $$ Esto es cierto porque el máximo común divisor de potencias de primos distintos es 1. Al hacer el producto directo de todos los $\mathbb{Z}_{m_i}$, estamos simplemente multiplicando todos los divisores elementales originales (solo que reordenados), por lo que el grupo resultante es isomorfo a $G$.

B. Condición de Divisibilidad ($m_i \mid m_{i+1}$) Queremos demostrar que $m_1 \mid m_2 \mid \cdots \mid m_r$. Tomemos dos factores consecutivos, $m_i$ y $m_{i+1}$. $$ m_i = \prod_{j=1}^k p_j^{\alpha_{j,i}} \quad \text{y} \quad m_{i+1} = \prod_{j=1}^k p_j^{\alpha_{j,i+1}} $$ Observamos que para cada primo $p_j$, habíamos ordenado los exponentes de forma creciente en el Paso 1: $$ \alpha_{j,i} \le \alpha_{j,i+1} $$ Esto implica que $p_j^{\alpha_{j,i}}$ divide a $p_j^{\alpha_{j,i+1}}$ para todo $j$. Como esto es cierto para cada factor primo individualmente, el producto de los factores menores divide al producto de los factores mayores: $$ m_i \mid m_{i+1} $$ Q.E.D.,,.

4. Ejemplo Numérico Ilustrativo

Consideremos un grupo $G$ definido por sus divisores elementales (potencias de primos): $$ G \cong \mathbb{Z}_2 \times \mathbb{Z}_4 \times \mathbb{Z}_8 \times \mathbb{Z}_3 \times \mathbb{Z}_9 \times \mathbb{Z}_5 $$ Aquí los órdenes son: $2, 2^2, 2^3, 3, 3^2, 5$.

Aplicación del Algoritmo:

Alineación (rellenando con 1s):
- Primos 2: $2^1, 2^2, 2^3$
- Primos 3: $1, 3^1, 3^2$ (añadimos un 1 para tener 3 elementos)
- Primos 5: $1, 1, 5^1$ (añadimos dos 1s)
Construcción de Factores invariantes (Columnas):
- $m_1 = 2^1 \cdot 1 \cdot 1 = 2$
- $m_2 = 2^2 \cdot 3^1 \cdot 1 = 12$
- $m_3 = 2^3 \cdot 3^2 \cdot 5^1 = 8 \cdot 9 \cdot 5 = 360$
Verificación:
- El grupo es $G \cong \mathbb{Z}_2 \times \mathbb{Z}_{12} \times \mathbb{Z}_{360}$.
- Divisibilidad: ¿Divide 2 a 12? Sí. ¿Divide 12 a 360? Sí.
- Por lo tanto, los factores invariantes son $2, 12, 360$.

Resumen de unicidad

Esta descomposición es única. Si dos grupos tienen la misma lista de factores invariantes $(m_1, \dots, m_r)$, son isomorfos. Si tienen listas diferentes, no son isomorfos,. El último factor invariante, $m_r$, es siempre el exponente del grupo (el mínimo entero $N$ tal que $g^N = e$ para todo $g \in G$).

CUESTIÓN DIDÁCTICA: Repíteme la demostración de la descomposición del grupo G en divisores elementale y en factores invariantes, si el orden del grupo G es ${p_1} ^5 \times {p_2}^3 \times {p_3}^4$
Lo que quiero es que repitas el razonamiento general para este caso particular

Estoy suponiendo $p_1 < p_2 < p_3$

Aquí tienes la demostración y el desarrollo del razonamiento general aplicado específicamente a tu caso, donde el orden del grupo es $|G| = p_1^5 \cdot p_2^3 \cdot p_3^4$.

Para este desarrollo, seguiremos el camino lógico establecido por el Teorema de Descomposición Primaria y el Teorema Fundamental de Grupos Abelianos Finitos.

Paso 1: Descomposición Primaria (Separar los primos)

Razonamiento: El primer paso en la clasificación de cualquier grupo abeliano finito es descomponerlo en sus partes correspondientes a cada número primo que divide su orden. Según el Teorema 7.10 de las fuentes, si $|G| = n$ y $p_1, \dots, p_s$ son los primos distintos que dividen a $n$, entonces $G$ es isomorfo al producto directo de sus componentes $p$-primarias: $$ G \cong G_{p_1} \times G_{p_2} \times \cdots \times G_{p_s} $$ donde cada $G_{p_i}$ es el subgrupo de elementos cuyo orden es una potencia de $p_i$.

Aplicación a tu caso: Dado que $|G| = p_1^5 p_2^3 p_3^4$, el grupo se descompone de forma única como: $$ G \cong G_{p_1} \times G_{p_2} \times G_{p_3} $$ Donde:

$G_{p_1}$ es un $p_1$-grupo de orden $p_1^5$.
$G_{p_2}$ es un $p_2$-grupo de orden $p_2^3$.
$G_{p_3}$ es un $p_3$-grupo de orden $p_3^4$.

Nota: Los órdenes de estos subgrupos son coprimos entre sí, lo que garantiza que el producto es directo.

Paso 2: Divisores Elementales (Romper en cíclicos)

Razonamiento: Ahora debemos analizar cada componente $G_{p_i}$ por separado. Según el Teorema 7.5 (y su aplicación a $p$-grupos en), todo grupo abeliano finito de orden potencia de primo puede descomponerse en un producto directo de grupos cíclicos. Los órdenes de estos grupos cíclicos se llaman Divisores Elementales.

Aplicación a tu caso: Para determinar la estructura exacta de $G$, necesitamos saber cómo están particionados los exponentes $5, 3$ y $4$. Como no especificaste cuál grupo de ese orden es, supongamos una estructura posible para ilustrar el mecanismo (el razonamiento es idéntico para cualquier otra partición):

Para $G_{p_1}$ (orden $p_1^5$): Imaginemos que este subgrupo no es cíclico, sino que es isomorfo a $\mathbb{Z}{p_1^2} \times \mathbb{Z}{p_1^2} \times \mathbb{Z}_{p_1}$.
- Partición del exponente 5: $2 + 2 + 1 = 5$.
- Divisores elementales asociados: $p_1^2, p_1^2, p_1$.
Para $G_{p_2}$ (orden $p_2^3$): Imaginemos que es isomorfo a $\mathbb{Z}{p_2} \times \mathbb{Z}{p_2^2}$.
- Partición del exponente 3: $1 + 2 = 3$.
- Divisores elementales asociados: $p_2, p_2^2$.
Para $G_{p_3}$ (orden $p_3^4$): Imaginemos que es cíclico, isomorfo a $\mathbb{Z}_{p_3^4}$.
- Partición del exponente 4: $4$.
- Divisor elemental asociado: $p_3^4$.

Lista completa de Divisores Elementales de este ejemplo: $$ { p_1, p_1^2, p_1^2, p_2, p_2^2, p_3^4 } $$ El grupo es isomorfo a: $$ G \cong (\mathbb{Z}{p_1} \times \mathbb{Z}{p_1^2} \times \mathbb{Z}{p_1^2}) \times (\mathbb{Z}{p_2} \times \mathbb{Z}{p_2^2}) \times (\mathbb{Z}{p_3^4}) $$

Paso 3: Factores Invariantes (Reagrupar para divisibilidad)

Razonamiento: El objetivo ahora es reescribir $G$ en la forma $G \cong \mathbb{Z}{m_1} \times \cdots \times \mathbb{Z}{m_r}$ tal que $m_1 | m_2 | \dots | m_r$. Para lograr esto, utilizamos el algoritmo descrito en la demostración del Teorema 7.5 y el Ejemplo 2 de las fuentes,. La regla clave es: $\mathbb{Z}_a \times \mathbb{Z}b \cong \mathbb{Z}{ab}$ si y solo si $\text{mcd}(a,b)=1$.

El Algoritmo de "Alineación": Debemos organizar los divisores elementales de cada primo en filas de longitud creciente, alineándolos a la derecha. Rellenamos con $1$ (la identidad) a la izquierda si es necesario.

El número de factores invariantes ($r$) será igual al mayor número de sumandos cíclicos que tenga cualquiera de los componentes $p$-primarios. En nuestro ejemplo hipotético, $G_{p_1}$ tiene 3 sumandos, $G_{p_2}$ tiene 2, y $G_{p_3}$ tiene 1. Por tanto, habrá 3 factores invariantes.

Tabla de alineación:

Factor Invariante	Primo $p_1$ (max 3 filas)	Primo $p_2$ (max 3 filas)	Primo $p_3$ (max 3 filas)
Fila 1 (Superior)	$p_1$	$1$	$1$
Fila 2 (Medio)	$p_1^2$	$p_2$	$1$
Fila 3 (Inferior)	$p_1^2$	$p_2^2$	$p_3^4$

(Nota: Los exponentes se ordenan de menor a mayor de arriba hacia abajo para asegurar la divisibilidad).

Cálculo de los $m_i$: Multiplicamos las filas para obtener los factores invariantes:

$m_1$ (primera fila): $p_1 \cdot 1 \cdot 1 = \mathbf{p_1}$
$m_2$ (segunda fila): $p_1^2 \cdot p_2 \cdot 1 = \mathbf{p_1^2 p_2}$
$m_3$ (tercera fila): $p_1^2 \cdot p_2^2 \cdot p_3^4 = \mathbf{p_1^2 p_2^2 p_3^4}$

Paso 4: Verificación de la Divisibilidad

Debemos comprobar si $m_1 | m_2$ y $m_2 | m_3$ para confirmar que son factores invariantes válidos,.

¿Divide $m_1$ a $m_2$? $$ ¿ p_1 \mid (p_1^2 p_2) ? \rightarrow \text{Sí, claramente.} $$
¿Divide $m_2$ a $m_3$? $$ ¿ (p_1^2 p_2) \mid (p_1^2 p_2^2 p_3^4) ? \rightarrow \text{Sí, claramente.} $$

Resultado Final: Para la estructura hipotética elegida en el paso 2, la descomposición en factores invariantes es: $$ G \cong \mathbb{Z}{p_1} \times \mathbb{Z}{p_1^2 p_2} \times \mathbb{Z}_{p_1^2 p_2^2 p_3^4} $$

Resumen del Razonamiento General

Para cualquier grupo de orden $p_1^5 p_2^3 p_3^4$:

El grupo se descompone en tres subgrupos de Sylow únicos $P_1, P_2, P_3$ (porque es abeliano).
Cada subgrupo se rompe en una suma directa de cíclicos cuyos órdenes son determinados por una partición del exponente ($5$ para $p_1$, $3$ para $p_2$, $4$ para $p_3$).
Los factores invariantes se construyen tomando, para el último factor ($m_r$), la mayor potencia de cada primo presente; para el penúltimo ($m_{r-1}$), la siguiente mayor potencia disponible (o 1), y así sucesivamente.
El último factor invariante ($m_r$) siempre será igual al exponente del grupo $e(G)$, que es el mínimo común múltiplo de los órdenes de todos los elementos.

¿Cambiaría algo si añadiera que los $p_1 , p_2 , p_3$ son números primos, o en el razonamiento anterior ya está asumido que dichos números son primos?

En el razonamiento anterior ya estaba asumido que $p_1, p_2$ y $p_3$ son números primos.

De hecho, si no fueran números primos, el razonamiento tendría que cambiar obligatoriamente en un paso previo: habría que descomponer esos números en sus factores primos reales antes de empezar.

Aquí te explico por qué es fundamental que sean primos basándome en los teoremas que hemos utilizado de las fuentes:

1. El Teorema de Descomposición Primaria

El primer paso que realizamos fue separar el grupo $G$ en el producto directo de sus subgrupos $G_{p_1} \times G_{p_2} \times G_{p_3}$. Según la fuente (Teorema 7.10), esta descomposición es válida si $p_1, \dots, p_s$ son los primos distintos que dividen el orden del grupo.

Si $p_1$ fuera, por ejemplo, 4 (compuesto), no podríamos hablar de la "componente 4-primaria" en el sentido estricto del teorema fundamental; tendríamos que hablar de la componente 2-primaria (ya que $4=2^2$).

2. Definición de Divisores Elementales

En el paso 2 del razonamiento, definimos los divisores elementales como potencias de la forma $q = p^k$. Según la fuente (Teorema 7.12) y la fuente (Teorema 9.3), los divisores elementales son potencias de números primos.

Si fueran compuestos: Si $p_1$ no fuera primo, las potencias de $p_1$ no serían "divisores elementales". Por ejemplo, si $p_1 = 6$, un grupo cíclico de orden $6^2 = 36$ se tendría que descomponer primero en sus partes primas relativas a 2 y 3 (es decir, $\mathbb{Z}_{36} \cong \mathbb{Z}_4 \times \mathbb{Z}_9$), y los divisores elementales serían $2^2$ y $3^2$, no $6^2$.

3. Los Teoremas de Sylow

En el resumen del razonamiento mencioné los subgrupos de Sylow. Los Teoremas de Sylow, descritos en la fuente (Teorema 9.5), se aplican específicamente a potencias de números primos.

Un "p-subgrupo" se define como un grupo cuyo orden es una potencia de un primo $p$,. No existen "$4$-subgrupos de Sylow"; si el orden fuera $4^5$, estaríamos hablando de un $2$-subgrupo de Sylow de orden $2^{10}$.

Conclusión

El añadido explícito de que "$p_1, p_2, p_3$ son números primos" es técnicamente necesario para que la demostración sea rigurosa, pero en el contexto de la Teoría de Grupos, cuando se escribe una factorización del orden de un grupo como $|G| = p_1^{e_1} \dots p_k^{e_k}$, la convención estándar es que las $p$ representan números primos distintos.

Por lo tanto, nada cambiaría en la estructura de la respuesta anterior, ya que el procedimiento descrito (descomposición primaria $\to$ divisores elementales $\to$ factores invariantes) depende enteramente de que esas bases sean primas.

DESCOMPOSICIÓN DE PERMUTACIONES EN TRASPOSICIONES

TO BE CONTINUED CONTINUARÁ

Si el universo lo permite y la clase dominante no lo impide

Sobre Álgebra Abstracta, de Allan Clark

1. Significado y Contexto

2. El Enunciado Completo y la Jerarquía

3. Conceptos Relacionados

4. Estrategia de la Demostración

¿Qué es el Teorema de Cauchy?

Ubicación en el Curso

Guía de Estudio: Introducción a la Teoría de Grupos

Lección 1: Fundamentos de Grupos y Estructura Básica

Lección 2: Subgrupos y Grupos Cíclicos

Lección 3: Clases Laterales y el Teorema de Lagrange

Lección 4: Permutaciones y Grupos Simétricos

Lección 5: Subgrupos Normales y Grupos Cociente

Lección 6: Homomorfismos y Teoremas de Isomorfismo

Lección 7: Productos Directos y Estructura de Grupos Abelianos Finitos

Lección 8: Acciones de Grupos y Teorema de Cauchy

Lección 9: Teoremas de Sylow I: Existencia y Conjugación

Lección 10: Teoremas de Sylow II: Enumeración y Aplicaciones

Lección 2: Subgrupos y Grupos Cíclicos

Lección 2: Subgrupos y Grupos Cíclicos

1. Subgrupos

1.1. Definición y Criterios

Criterio para Subgrupos Finitos

Explicación

Demostración

1. Necesidad ($\Rightarrow$)

2. Suficiencia ($\Leftarrow$)

1.2. Tipos de Subgrupos

2. Grupos Cíclicos y Orden de un Elemento

2.1. Grupos Cíclicos y Generadores

2.2. Orden de un Elemento

2.3. Corolario del Teorema de Lagrange

3. Teorema Estructural para Grupos Cíclicos

Demostración Detallada

1. Caso Trivial

2. Caso No Trivial

Lección 3: Clases Laterales y el Teorema de Lagrange

1. Clases Laterales

Definición

2. Propiedades de las Clases Laterales

A. Partición del Grupo

B. Equipotencia de Clases

1. Demostración para Clases Laterales Izquierdas ($aH$)

2. Demostración para Clases Laterales Derechas ($Ha$)

Conclusión

3. Índice de un Subgrupo

4. Teorema de Lagrange

I. Propiedad de Partición del Grupo

II. Propiedad de Equipotencia (Mismo Tamaño)

III. Conclusión del Teorema de Lagrange

Final de la demostración y de la respuesta de la máquina

5. Aplicaciones Inmediatas

Demostración Detallada

1. Orden de un Elemento y Orden del Grupo

2. La Conclusión ($a^{|G|} = e$)

Lección 4: Permutaciones y Grupos Simétricos

1. Permutaciones y el Grupo Simétrico $S_n$

Definición y Notación

2. Ciclos y Estructura Interna

Ciclos y Descomposición

Orden de una Permutación

3. Trasposiciones y Grupos Alternados

Trasposiciones y Paridad

El Grupo Alternado $A_n$

4. Universalidad de Grupos: Teorema de Cayley

1. Permutaciones y el Grupo Simétrico Sn

Demostración por Inducción sobre $n$

Paso 1: Caso Base ($n=1$)

Paso 2: Hipótesis de Inducción

Paso 3: Paso Inductivo ($P(k) \implies P(k+1)$)

Ejemplo 1: Composición de permutaciones en $S_3$

Ejemplo 2: Composición de permutaciones en $S_4$

2. Ciclos y Estructura Interna

Ciclos y Descomposición

Definición de Órbita de un Elemento

Principales Propiedades de la Órbita

Teorema de Descomposición Cíclica

Premisas Clave

Demostración

1. Existencia de la Descomposición (Construcción)