A note on invariant transversals for normal subgroups

Este artículo investiga la existencia de transversales invariantes para subgrupos normales, proporcionando contraejemplos a una conjetura cuando el subgrupo es abeliano y el grupo es finito.

Lo esencial

Imagina que el mundo de las matemáticas que estudia este artículo es como un gigantesco baile de máscaras (un grupo de personas, o "grupo G").

Aquí está la explicación sencilla, usando analogías para entender qué hizo el autor, Gerhard Hiss:

1. El escenario: El baile y los grupos

En este baile, hay dos tipos de personas:

• El grupo grande (G): Todos los bailarines.
• El grupo pequeño (H): Un grupo especial de bailarines que siempre se mueven juntos (un "subgrupo normal").

El problema que se plantean los matemáticos es: ¿Podemos elegir un representante de cada grupo de baile (una "transversal") de una manera muy especial?

Esta "manera especial" significa que si miras a tu alrededor y ves quién es tu vecino en el baile (conjugación), tu grupo de representantes debe verse igual. Es como si eligieras a un capitán para cada mesa, pero si todos los bailarines intercambian sus sillas, la lista de capitanes sigue siendo la misma. A esto le llaman "transversal invariante".

2. La suposición errónea (La Conjetura)

Antes de este artículo, los matemáticos tenían una idea muy bonita, una regla de oro (la Conjetura 1.1):

"Si logras elegir a estos representantes especiales de forma que el grupo pequeño (H) sea abeliano (es decir, que sus miembros se lleven muy bien y no se peleen entre ellos), entonces es imposible que el grupo pequeño y el grupo de 'peleas' del baile (el subgrupo conmutador G') tengan nada en común."

En lenguaje sencillo: Se creía que si el grupo pequeño es muy ordenado y tiene representantes especiales, entonces no puede tener ninguna "pelea" interna.

3. El giro de la historia: ¡La trampa!

El autor, Gerhard Hiss, dice: "Espera un momento, eso no siempre es cierto".

Su objetivo en este artículo fue intentar probar esa regla de oro, pero en el camino, encontró excepciones. Encontró casos donde:

1. El grupo pequeño (H) es ordenado (abeliano).
2. Lograron elegir a los representantes especiales (transversal invariante).
3. PERO, el grupo pequeño SÍ tiene "peleas" internas (interseca con el grupo de conmutadores).

Básicamente, encontró que la regla de oro tiene agujeros.

4. ¿Cómo lo encontró? (Las herramientas)

Para encontrar estos casos, Hiss usó dos tipos de "lupas":

• La lupa de los infinitos: Primero miró grupos infinitos (como un baile que nunca termina). Descubrió que en ciertos bailes infinitos, la regla ya fallaba.
• La lupa de los finitos (y la computadora): Luego miró grupos finitos (bailes con un número limitado de personas). Aquí es donde se puso interesante.
  • Usó una computadora (un programa llamado GAP) para simular miles de bailes pequeños.
  • Encontró que en grupos de 64 personas y otros de 27 personas, la regla fallaba.
  • También encontró ejemplos en grupos muy complejos y grandes (como los relacionados con el grupo $PSL_3(4)$), que son como "super-bailes" no resolubles.

5. La analogía final: El rompecabezas

Imagina que la conjetura era un rompecabezas que todos creían que encajaba perfectamente: "Si la pieza A es cuadrada, entonces no puede tocar la pieza B".

Hiss tomó el rompecabezas, lo sacudió y dijo: "Miren, aquí hay una pieza cuadrada (H abeliano) que toca a la pieza B (G') y, sin embargo, el rompecabezas sigue encajando (tiene transversal invariante)".

¿Por qué importa esto?

En matemáticas, cuando descubres que una regla que parecía perfecta tiene excepciones, es una gran noticia. Significa que:

1. La realidad es más compleja y rica de lo que pensábamos.
2. Los matemáticos ahora deben reescribir sus libros de texto y buscar nuevas reglas que expliquen cuándo funciona la regla antigua y cuándo falla.

En resumen: Este artículo es como un detective que llega a una fiesta, ve que todos creen que "los invitados tranquilos nunca discuten", y demuestra con pruebas concretas que, a veces, los invitados tranquilos sí discuten, pero de una forma muy especial que permite que la fiesta siga funcionando perfectamente.

Resumen técnico

Aquí tienes un resumen técnico detallado del artículo "A NOTE ON INVARIANT TRANSVERSALS FOR NORMAL SUBGROUPS" de Gerhard Hiss, traducido y adaptado al español.

Resumen Técnico: Notas sobre Transversales Invariantes para Subgrupos Normales

1. Planteamiento del Problema

El artículo aborda la existencia de transversales invariantes para subgrupos normales en teoría de grupos.

• Definiciones clave: Sea $G$ un grupo y $H \leq G$ un subgrupo. Un conjunto $S \subseteq G$ es un transversal para las clases laterales derechas $H\backslash G$ si contiene exactamente un representante de cada clase. $S$ se denomina $L$-invariante si es invariante bajo conjugación por elementos de un subgrupo $L$ (es decir, es una unión de clases de conjugación de $L$ en $G$).
• La Conjetura 1.1: El autor examina una conjetura propuesta previamente (en [6] y en la tesis de Ortjohann [11]):

  Sea $G$ un grupo finito y $H \leq G$ un subgrupo abeliano que admite un transversal $G$-invariante. Entonces, la intersección de $H$ con el subgrupo conmutador de $G$ es trivial: $H \cap G' = \{1\}$.

  La motivación original de la conjetura era simplificar la clasificación de pares $(G, H)$ donde $H$ es abeliano y posee un transversal invariante bajo $G$. Se sabía que si $H \cap G' = \{1\}$, la existencia de tales transversales estaba garantizada bajo ciertas condiciones, pero la conjetura proponía que la recíproca era cierta.

2. Metodología

El autor emplea una combinación de teoría de grupos estructural, teoría de representaciones y verificación computacional:

1. Criterios de Existencia (Sección 2):

   • Se establecen condiciones necesarias y suficientes para la existencia de transversales invariantes para subgrupos normales $H \unlhd G$.
   • Lema 2.1 y Proposición 2.3: Se demuestra que la existencia de un transversal $G$-invariante para $G/H$ es equivalente a dos condiciones:
     1. $G = H C_G(H)$ (el grupo es generado por $H$ y su centralizador).
     2. $C_{G/H}(Hg) = H C_G(g) / H$ para todo $g \in G$ (una condición sobre los centralizadores en el cociente).
   • Se reduce el problema al caso donde $H$ es abeliano, mostrando que si $H$ es abeliano, la condición (1) equivale a $H \leq Z(G)$ (el centro de $G$).

2. Conexión con Extensiones Centrales y Cohomología (Sección 3):

   • Para grupos finitos, se utiliza la relación entre el número de clases de conjugación $k(G)$ y la condición de transversales. Según Gallagher [3], la condición (2) es equivalente a $k(G) = k(G/H) \cdot k(H)$.
   • El problema se reformula en el contexto de extensiones centrales $1 \to H \to G \to \bar{G} \to 1$.
   • Se introduce un 2-cociclo $\gamma$ asociado a un transversal. La existencia de un transversal invariante se vincula a la regularidad de elementos en el grupo cociente $\bar{G}$ respecto a un cociclo $\alpha$ derivado de un homomorfismo $\lambda: H \to \mathbb{C}^\times$.
   • Se invoca el trabajo de Reynolds [13] y Blau [2] sobre grupos metabelianos y grupos cuasisimples, donde se han construido casos en los que todos los elementos son "regulares" a pesar de que la clase de cohomología $[\alpha]$ es no trivial.

3. Búsqueda Computacional y Reducción:

   • Se utiliza el sistema GAP (Groups, Algorithms, Programming) para buscar contraejemplos en grupos de orden pequeño.
   • Se aplica un lema de reducción (Lema 3.1) que permite pasar de un grupo $G$ a sus subgrupos de Sylow, demostrando que si un grupo $G$ es un contraejemplo, sus subgrupos de Sylow también lo son bajo ciertas condiciones.

3. Contribuciones Clave y Resultados

El objetivo principal del artículo es refutar la Conjetura 1.1 proporcionando contraejemplos explícitos.

• Contraejemplos Infinitos (No Finitos):

  • Se observa que para $G = SL_2(\mathbb{R})$ y $H = Z(G)$, se cumple la condición de transversal invariante pero $H \cap G' \neq \{1\}$ (ya que $SL_2(\mathbb{R})$ es perfecto). Sin embargo, el foco del artículo son los grupos finitos.

• Contraejemplos Finitos Abelianos (Grupos de Orden 27):

  • El autor encuentra 52 clases de isomorfismo de grupos $G$ de orden 27 que contienen un subgrupo $H$ de orden 2 tal que $H \leq Z(G) \cap G'$.
  • Para estos grupos, se verifica que $k(G) = k(G/H) \cdot 2$, lo que satisface la condición de existencia de transversales, pero $H \cap G' = H \neq \{1\}$.
  • Estos son los contraejemplos más pequeños encontrados (no existen contraejemplos con $|G| < 128$ y $H \leq Z(G)$).

• Contraejemplos No Solubles (Grupos Cuasisimples):

  • Basándose en resultados previos de Blau [2] y Liebeck et al. [9], el autor identifica dos grupos cuasisimples no solubles que sirven como contraejemplos:
    1. $G_1$: Un grupo de recubrimiento de $PSL_3(4)$ con centro $Z(G_1) \cong C_2 \times C_{12}$.
    2. $G_2$: Otro grupo de recubrimiento de $PSL_3(4)$ con centro $Z(G_2) \cong C_2 \times C_4$.
  • En ambos casos, existe un subgrupo $H$ de orden 2 en el centro tal que ningún elemento no trivial de $H$ es un conmutador, pero el par $(G, H)$ admite un transversal $G$-invariante.
  • Mediante el Lema 3.1, se deduce que los subgrupos de Sylow 2 de estos grupos (de orden $2^9$) también generan contraejemplos.

4. Significado e Implicaciones

• Refutación de una Conjetura: El trabajo demuestra que la condición $H \cap G' = \{1\}$ no es necesaria para que un subgrupo abeliano normal $H$ admita un transversal $G$-invariante en grupos finitos. Esto invalida la Conjetura 1.1 tal como estaba formulada.
• Clarificación Estructural: El artículo establece una conexión profunda entre la existencia de transversales invariantes, la teoría de extensiones centrales, la cohomología de grupos ($H^2$) y la teoría de caracteres (número de clases de conjugación).
• Nuevas Direcciones: Al mostrar que la conjetura es falsa, el autor sugiere que la clasificación de los pares $(G, H)$ con transversales invariantes es más compleja de lo que se pensaba. La existencia de tales transversales depende de propiedades más sutiles de la cohomología y la estructura de los conmutadores, más allá de la simple intersección trivial con el subgrupo derivado.
• Herramientas Computacionales: El uso de GAP para identificar familias de grupos de orden 27 y verificar propiedades de grupos de recubrimiento de $PSL_3(4)$ subraya el papel vital de la verificación computacional en la teoría de grupos moderna.

En conclusión, Gerhard Hiss proporciona una refutación rigurosa y constructiva de una conjetura abierta en teoría de grupos, utilizando una mezcla elegante de teoría abstracta y cálculo computacional para revelar contraejemplos tanto en grupos p-grupos pequeños como en grupos cuasisimples grandes.