The Erd\H{o}s-Ginzburg-Ziv theorem constant of finite groups

Resumen Técnico: La Constante del Teorema de Erdős-Ginzburg-Ziv en Grupos Finitos

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la Teoría de Suma Cero (Zero-Sum Theory), una rama de la Teoría Combinatoria de Números. Se centra en la constante de Erdős-Ginzburg-Ziv, denotada como $E(G)$, para un grupo finito $G$ de orden $n$.

• Definición: $E(G)$ es el menor entero positivo $\ell$ tal que cualquier secuencia de longitud $\ell$ sobre $G$ contiene una subsucesión de longitud exactamente $n$ cuyo producto (en algún orden) es el elemento identidad del grupo.
• Contexto Histórico:
  • Para grupos abelianos, el teorema clásico de Erdős, Ginzburg y Ziv (1961) establece que $E(G) \le 2|G| - 1$.
  • Para grupos cíclicos, se sabe que $E(G) = 2|G| - 1$.
  • Olson (1976) demostró que $E(G) \le 2|G| - 1$ para cualquier grupo finito.
• La Conjetura: En 2010, Gao y Li conjeturaron que para cualquier grupo finito no cíclico $G$, se cumple la cota superior más estricta:
  $$E(G) \le \frac{3|G|}{2}$$
  El objetivo del artículo es confirmar esta conjetura para una clase específica de grupos y caracterizar los casos en los que se alcanza la igualdad.

2. Metodología y Herramientas

Los autores emplean un enfoque combinado de teoría de grupos, teoría de secuencias y análisis estructural. Las herramientas clave incluyen:

• Constante de Davenport ($d(G)$): Definida como la longitud máxima de una secuencia sobre $G$ que no contiene ninguna subsucesión no vacía con producto identidad. Se utiliza la relación fundamental $E(G) \ge d(G) + |G|$.
• Análisis de Grupos Cuocientes: Utilizan homomorfismos de grupos $\phi: G \to G/H$ para reducir el problema a subgrupos normales y grupos cuociente. Si se puede controlar $E(H)$ y $E(G/H)$, se pueden acotar los valores para $G$.
• Clasificación de Grupos: Se basan en la clasificación de grupos de orden específico (particularmente órdenes impares y órdenes $2m$ con $m$ impar) y en la estructura de grupos metacíclicos.
• Análisis de Casos y Contradicción: La prueba principal se estructura mediante casos exhaustivos, asumiendo la existencia de una secuencia contraejemplo de longitud $\lceil 3|G|/2 \rceil$ y demostrando que inevitablemente debe contener una subsucesión de producto uno de longitud $|G|$.
• Lemas Técnicos: Se apoyan en resultados previos de Gao, Li, Qu, Godara, Joshi y Mazumdar, así como en lemas sobre la estructura de secuencias extremas en grupos abelianos (como $C_n \times C_n$).

3. Contribuciones Clave y Resultados Principales

El resultado central del artículo es el Teorema 1.2, que resuelve la conjetura para grupos cuyo orden no es divisible por 4.

Teorema 1.2:
Sea $G$ un grupo finito no cíclico tal que $4 \nmid |G|$ (el orden de $G$ no es divisible por 4). Entonces:

1. Cota Superior: Se cumple la desigualdad $E(G) \le \frac{3|G|}{2}$.
2. Caracterización de la Igualdad: La igualdad $E(G) = \frac{3|G|}{2}$ se cumple si y solo si $G$ posee un subgrupo cíclico de índice dos.

Desglose de la Prueba:

• Caso 1: $G$ tiene un subgrupo cíclico de índice 2.
  • Si $G$ es abeliano, se deduce de la fórmula $E(G) = |G| + d(G)$ y propiedades de $d(G)$.
  • Si $G$ es no abeliano, la estructura implica que $G \cong C_{n/2} \rtimes C_2$. Usando resultados previos sobre grupos metacíclicos, se demuestra que $E(G) = 3|G|/2$.
• Caso 2: $G$ no tiene un subgrupo cíclico de índice 2.
  • Si $|G|$ es impar, el resultado ya era conocido (Gao, Li, Qu 2023), pero se refina para excluir ciertos casos pequeños.
  • Si $|G|$ es par (y no divisible por 4), el grupo tiene un subgrupo normal $K$ de índice 2.
  • Se analizan dos subcasos para $K$:
    • Si $K \not\cong C_3 \times C_3$, se aplica la conjetura a $K$ y se eleva a $G$, obteniendo una cota estricta $E(G) < 3|G|/2$.
    • Si $K \cong C_3 \times C_3$, entonces $|G| = 18$. Los autores clasifican los grupos no abelianos de orden 18 que no tienen subgrupo cíclico de índice 2 (isomorfos a $S_3 \times C_3$ o $(C_3 \times C_3) \rtimes C_2$).
  • Lema 3.11 (Contribución Original): Demuestran explícitamente que para estos grupos de orden 18, $E(G) \le 26$, lo cual es estrictamente menor que $3(18)/2 = 27$. Esto se logra mediante un análisis detallado de la estructura de las secuencias extremas y el uso de propiedades de los grupos $S_3$ y $C_3$.

4. Significado e Impacto

• Resolución Parcial de la Conjetura: El artículo confirma la conjetura de Gao-Li para una clase amplia de grupos (todos aquellos con orden no divisible por 4), avanzando significativamente sobre resultados previos que solo cubrían órdenes impares o formas específicas de grupos de orden $2p^t$.
• Caracterización Inversa: Más allá de la cota superior, el trabajo proporciona una caracterización completa de los grupos que alcanzan el límite máximo de la conjetura. Establece que la estructura algebraica de tener un "subgrupo cíclico de índice dos" es la condición necesaria y suficiente para que la constante sea máxima ($3|G|/2$) en este contexto.
• Método de Prueba: La demostración para los grupos de orden 18 (Lema 3.11) es un aporte técnico notable, ya que requiere un manejo fino de las secuencias en grupos no abelianos complejos, demostrando que incluso en casos donde la estructura es "casi" la peor posible, la constante es estrictamente menor a la cota teórica si falta la estructura cíclica específica.
• Relevancia en Teoría de Suma Cero: El trabajo refuerza la conexión entre la estructura de los grupos (abelianos vs. no abelianos, cíclicos vs. no cíclicos) y las propiedades combinatorias de sus secuencias, un tema central en la teoría de factorización y la teoría de números aditiva.

En conclusión, Zhao y Wang no solo validan la conjetura para una nueva familia de grupos, sino que ofrecen una comprensión profunda de cuándo y por qué se alcanza el límite superior, vinculando directamente la constante $E(G)$ con la existencia de subgrupos cíclicos de índice dos.