🔢 mathematics

The endomorphism tower of a finite symmetric group

Este artículo demuestra que la torre de endomorfismos del grupo simétrico finito $\mathcal{S}_n$ (para $n \geq 7$ ) no se estabiliza en un número finito de pasos al caracterizar explícitamente la estructura de los monoides de endomorfismos segundo y tercer iterados y mostrar que sus grupos de unidades siguen siendo isomorfos a $\mathcal{S}_n$ .

Autores originales: Victoria Gould, Ambroise Grau, Marianne Johnson, Jamie Smith

Publicado 2026-06-24

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Victoria Gould, Ambroise Grau, Marianne Johnson, Jamie Smith

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que tienes una máquina masiva y compleja hecha de engranajes, palancas e interruptores. En el mundo de las matemáticas, esta máquina es un grupo llamado el Grupo Simétrico ( $S_n$ ), que representa todas las formas posibles de barajar un mazo de $n$ cartas.

Este artículo trata sobre lo que sucede cuando le haces una pregunta muy específica a esta máquina: "Si construimos una nueva máquina que controla a la primera, y luego una tercera máquina que controla a la segunda, y así sucesivamente, ¿deja alguna vez de cambiar el sistema?"

Aquí tienes un desglose del viaje del artículo, utilizando analogías sencillas.

1. El Concepto: La "Torre de Control"

Piensa en el grupo original ( $S_n$ ) como un Chef Maestro que conoce cada forma posible de organizar los ingredientes.

Nivel 0: El Chef Maestro ( $S_n$ ).
Nivel 1: Construimos un Supervisor ( $End_1$ ). El único trabajo de este supervisor es observar al Chef y registrar cada forma posible en que el Chef podría cambiar su propia receta (un "endomorfismo"). El Supervisor es una máquina nueva y más grande.
Nivel 2: Construimos un Gran Supervisor ( $End_2$ ). Esta máquina observa al primer Supervisor y registra cada forma en que esa máquina podría cambiar sus propias reglas.
Nivel 3: Un Gran-Gran Supervisor ( $End_3$ ), y así sucesivamente.

Esta secuencia se llama la Torre de Endomorfismos.

2. La Gran Pregunta: ¿Deja de crecer alguna vez?

En el mundo de las matemáticas puras, existe una pregunta famosa sobre las "Torres de Automorfismos" (donde solo se observan máquinas que reordenan las cosas perfectamente sin romperlas). Para grupos finitos, se sabía que esta torre eventualmente dejaba de crecer; alcanzaba un techo y se estabilizaba.

Los autores se preguntaron: ¿Qué pasa si observamos la "Torre de Endomorfismos" (donde las máquinas pueden romper o simplificar las cosas)?

Las Malas Noticias: Demostraron que para cualquier máquina finita que no sea completamente trivial (como un solo botón), esta torre nunca deja de crecer. Sigue haciéndose más grande y compleja para siempre. Nunca llegas a un punto donde el "Gran Supervisor" sea exactamente igual al "Gran-Gran Supervisor".

3. El Caso Específico: El Grupo Simétrico ( $S_n$ )

Dado que la torre nunca deja de crecer, los autores decidieron observar los primeros pisos de la torre para el Grupo Simétrico (el barajador de cartas), específicamente cuando tienes 7 o más cartas ( $n \ge 7$ ).

Querían ver si, aunque la torre siga creciendo, los "Líderes" (las partes invertibles, o el "Grupo de Unidades") de estas nuevas máquinas se veían familiares.

Piso 0: El Líder es el Grupo Simétrico ( $S_n$ ).
Piso 1: El Líder del primer Supervisor es también el Grupo Simétrico ( $S_n$ ). (Esto ya se sabía).
Piso 2: Los autores hicieron el trabajo pesado aquí. Mapearon cada una de las reglas e interacciones en la segunda máquina del supervisor ( $End_2$ ). Descubrieron que, aunque esta máquina es increíblemente compleja y enorme, su Líder sigue siendo el Grupo Simétrico ( $S_n$ ).
Piso 3: Fueron un paso más allá. Observaron el tercer Supervisor ( $End_3$ ) y confirmaron que su Líder también es el Grupo Simétrico ( $S_n$ ).

4. Cómo lo Hicieron (El Trabajo de Detective)

Para probar esto, los autores tuvieron que actuar como detectives. No solo adivinaron; tuvieron que mapear toda la "Tabla de Cayley" (un gigante cuadro de multiplicación) para el segundo piso de la torre.

Utilizaron algunos trucos ingeniosos:

El Truco de la "Huella Dactilar": Observaron partes específicas de la máquina que no podían ser movidas o cambiadas por ningún reordenamiento interno (llamadas "subconjuntos característicos").
El Truco del "Centro": Analizaron qué partes de la máquina eran "centrales" (que no eran movidas por otras).
El Truco de la "Paridad": Utilizaron el hecho de que los embarajamientos de cartas pueden ser "pares" o "impares" para separar diferentes tipos de reglas.

Al demostrar que la única forma de reordenar las reglas de los segundos y terceros pisos sin romperlas es usando el Grupo Simétrico original, demostraron que el "alma" de la máquina sigue siendo $S_n$ en estos niveles.

5. La Conclusión y las Preguntas Abiertas

El artículo concluye con tres ideas principales:

Crecimiento Infinito: La torre de endomorfismos para un grupo finito nunca se estabiliza; crece para siempre.
Liderazgo Estable: A pesar de que la torre crece para siempre, los "Líderes" (los grupos de unidades) para los tres primeros niveles ( $End_0, End_1, End_2, End_3$ ) son todos idénticos al Grupo Simétrico original ( $S_n$ ).
El Misterio Continúa: Los autores plantean la gran pregunta: ¿Se mantiene este patrón para siempre? ¿Es el líder del piso 100 todavía $S_n$ ? Aún no lo saben. También preguntan si existen otros tipos de máquinas (monoides) donde esta torre sí deje de crecer.

En resumen: Los autores construyeron un rascacielos matemático de "máquinas de control" basado en el barajado de cartas. Demostraron que el edificio nunca deja de hacerse más alto, pero descubrieron que, para los primeros pisos, el "CEO" del edificio es siempre la misma persona: el Grupo Simétrico original.

Resumen Técnico: La torre de endomorfismos de un grupo simétrico finito

Planteamiento del problema
Este artículo investiga la "torre de endomorfismos" de un monoide $M$ , definida como la secuencia de monoides $\text{End}_i(M)$ donde $\text{End}_0(M) = M$ y $\text{End}_i(M) = \text{End}(\text{End}_{i-1}(M))$ para $i \ge 1$ . Si bien el comportamiento de la torre de automorfismos análoga para grupos finitos está bien comprendido (terminando en pasos finitos para grupos finitos sin centro), el comportamiento de la torre de endomorfismos para monoides permanece en gran medida inexplorado. Los autores establecen primero que para cualquier monoide finito no trivial, la secuencia $\text{End}_i(M)$ nunca se estabiliza (es decir, $\text{End}_i(M) \not\cong \text{End}_{i+1}(M)$ para cualquier $i$ finito). En consecuencia, el estudio se desplaza hacia la identificación de patrones de estabilidad en los grupos de unidades (grupos de automorfismos) de estas torres. El enfoque principal es el grupo simétrico finito $S_n$ para $n \ge 7$ , donde la torre de automorfismos termina inmediatamente ( $\text{Aut}(S_n) \cong S_n$ ). La cuestión central es: ¿permanece el grupo de unidades de $\text{End}_i(S_n)$ isomorfo a $S_n$ para niveles superiores $i$ ?

Metodología
Los autores emplean una combinación de teoría de semigrupos estructurales y propiedades específicas de los grupos simétricos para analizar los monoides $\text{End}_1(S_n)$ , $\text{End}_2(S_n)$ y $\text{End}_3(S_n)$ .

Descomposición estructural: El artículo utiliza las relaciones de Green y la clasificación de los idempotentes para particionar los monoides. Para $\text{End}_1(S_n)$ , se recupera su estructura de la literatura previa, distinguiendo entre automorfismos, endomorfismos singulares de rango 2 (idempotentes y no idempotentes) y el elemento cero.
Subconjuntos característicos y centralizadores: Una técnica central consiste en identificar "subconjuntos característicos" (subconjuntos invariantes bajo todos los automorfismos) dentro de los monoides de endomorfismos. Los autores aprovechan el hecho de que para $n \ge 7$ , $S_n$ es un grupo completo (sin centro y con solo automorfismos internos). Esto permite la descomposición de $\text{Aut}(\text{End}_i(S_n))$ en un producto directo que involucra a $S_n$ y un núcleo de automorfismos que fijan el grupo de unidades.
Análisis de centralizadores de elementos de orden 2: Una parte significativa del trabajo técnico (Secciones 4.1 y 5) se dedica al análisis de los centralizadores de los elementos de orden 2 en $S_n$ . Los autores demuestran lemas que establecen que si dos elementos de orden 2 tienen centralizadores anidados o iguales, deben ser iguales o disjuntos bajo condiciones de paridad específicas. Esto es crucial para distinguir las clases de conjugación dentro de los endomorfismos singulares.
Construcción iterativa: Los autores construyen explícitamente los elementos de $\text{End}_2(S_n)$ clasificándolos según su acción sobre el grupo de unidades $\text{Aut}(S_n)$ y la parte singular $\text{SEnd}(S_n)$ . Categorizan los endomorfismos por rango y estructura de núcleo, proporcionando una tabla de multiplicación completa para $\text{End}_2(S_n)$ .
Determinación de automorfismos: Para determinar el grupo de unidades de $\text{End}_3(S_n)$ (que es $\text{Aut}(\text{End}_2(S_n))$ ), los autores prueban sistemáticamente que cualquier automorfismo de $\text{End}_2(S_n)$ que fije el grupo de unidades $\text{Aut}(S_n)$ puntualmente debe ser el mapa identidad. Esto se logra demostrando que tales automorfismos deben fijar idempotentes específicos y subconjuntos característicos, forzando eventualmente a que todo el monoide sea fijado.

Contribuciones clave y resultados

No estabilización de monoides finitos: El artículo demuestra (Proposición 3.2) que la torre de endomorfismos de cualquier monoide finito no trivial nunca se estabiliza en un número finito de pasos, ya que el número de idempotentes aumenta estrictamente en cada paso.
Estructura de $\text{End}_2(S_n)$ : Los autores proporcionan una descripción completa de los elementos de $\text{End}_2(S_n)$ para $n \ge 7$ . Clasifican estos endomorfismos en familias distintas (automorfismos, mapas de rango 2, mapas que colapsan clases de conjugación, etc.) y presentan la tabla de composición completa (Sección 6).
Isomorfismo de los grupos de unidades:
- Se verifica que el grupo de unidades de $\text{End}_1(S_n)$ es isomorfo a $S_n$ .
- El artículo determina la estructura de $\text{End}_2(S_n)$ y demuestra que su grupo de unidades, $\text{Aut}(\text{End}_1(S_n))$ , es isomorfo a $S_n$ .
- Crucialmente, los autores determinan la estructura de $\text{End}_3(S_n)$ y demuestran que su grupo de unidades, $\text{Aut}(\text{End}_2(S_n))$ , también es isomorfo a $S_n$ (Teorema 7.23).
Caracterización de automorfismos: El artículo demuestra que para $n \ge 7$ , el grupo de automorfismos de $\text{End}_2(S_n)$ consiste solo en automorfismos internos, reflejando la propiedad de la propia $S_n$ .

Significado y afirmaciones
Los autores posicionan este trabajo como un "abridor" para el estudio de las torres de endomorfismos de monoides. Reconocen que, si bien la torre de automorfismos de $S_n$ se sabe que se estabiliza en el primer paso, el comportamiento de la torre de endomorfismos por encima del nivel $i=1$ era previamente desconocido.

La principal significación alegada es la determinación de los elementos y la estructura de $\text{End}_2(S_n)$ y la verificación de que el grupo de unidades permanece como $S_n$ para los tres primeros niveles de la torre ( $i=0, 1, 2$ ). El artículo establece explícitamente que ilustra las técnicas requeridas para tales estudios y señala las complejidades que surgen.

Los autores mantienen la modestia respecto al caso general. Plantean la pregunta abierta (Pregunta 8.1) de si $\text{Aut}(\text{End}_i(S_n)) \cong S_n$ para todo $i \ge 3$ , señalando que aún no se ha descubierto un patrón general para los elementos que pasan de un nivel al siguiente. También enmarcan el trabajo como una base para estudiar otros monoides de transformación (como $T_n$ ) y para investigar si los semigrupos infinitos pueden poseer torres de endomorfismos estables.

1. El Concepto: La "Torre de Control"

2. La Gran Pregunta: ¿Deja de crecer alguna vez?

3. El Caso Específico: El Grupo Simétrico (SnS_nSn​)

4. Cómo lo Hicieron (El Trabajo de Detective)

5. La Conclusión y las Preguntas Abiertas

Más como este

3. El Caso Específico: El Grupo Simétrico ( $S_n$ )