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

1. Contexte et Problématique

L'article s'inscrit dans le domaine de la Théorie des sommes nulles (Zero-Sum Theory), une sous-discipline de la théorie des nombres combinatoire. Le problème central concerne la constante d'Erdős-Ginzburg-Ziv, notée $E(G)$, pour un groupe fini $G$ d'ordre $n$.

• Définition : $E(G)$ est le plus petit entier positif $\ell$ tel que toute séquence (multisets ordonnés) de longueur $\ell$ d'éléments de $G$ contient une sous-séquence de longueur exactement $n$ dont le produit (dans un certain ordre) est l'élément neutre du groupe.
• Historique : Le théorème original (1961) d'Erdős, Ginzburg et Ziv établit que pour tout groupe abélien fini, $E(G) \le 2|G| - 1$. Pour les groupes cycliques, cette borne est atteinte : $E(G) = 2|G| - 1$.
• Conjecture de Gao et Li (2010) : Pour tout groupe fini non cyclique $G$, il est conjecturé que :
  $$E(G) \le \frac{3|G|}{2}$$
  Cette conjecture suggère une rigidité combinatoire différente pour les groupes non cycliques par rapport aux groupes cycliques.

Objectif de l'article : Confirmer cette conjecture pour une large classe de groupes non cycliques et caractériser les groupes qui atteignent l'égalité $E(G) = \frac{3|G|}{2}$.

2. Méthodologie

Les auteurs utilisent une approche combinatoire et algébrique structurée autour de plusieurs piliers :

1. Lien avec la constante de Davenport ($d(G)$) :
   Ils exploitent la relation fondamentale entre $E(G)$ et $d(G)$ (la longueur maximale d'une séquence sans sous-séquence produit-un). Le lemme 3.2 établit que $E(G) \ge d(G) + |G|$. Pour les groupes abéliens, l'égalité $E(G) = d(G) + |G|$ est connue (Lemme 3.3).

2. Analyse des sous-groupes et homomorphismes :
   L'argument principal repose sur l'existence de sous-groupes d'indice 2.

   • Si $G$ possède un sous-groupe normal $H$ d'indice 2, les auteurs utilisent un lemme de Gao et Li (Lemme 3.5) qui permet de borner $E(G)$ en fonction de $E(H)$.
   • Ils utilisent des homomorphismes canoniques $\phi: G \to G/H$ pour décomposer les séquences en parties appartenant au noyau et en parties dans le quotient.

3. Étude des cas spécifiques et classification :

   • Cas d'ordre impair : Ils s'appuient sur des résultats récents (Gao, Li, Qu) et les affinent pour les groupes non cycliques d'ordre impair.
   • Cas d'ordre pair (non divisible par 4) : Le théorème principal traite les groupes dont l'ordre n'est pas divisible par 4 ($4 \nmid |G|$). Cela implique que si $|G|$ est pair, il est de la forme $2m$ avec $m$ impair.
   • Classification des groupes d'ordre 18 : Pour le cas critique où le sous-groupe d'indice 2 est isomorphe à $C_3 \times C_3$, les auteurs classifient les groupes d'ordre 18 non cycliques ($S_3 \times C_3$ et $(C_3 \times C_3) \rtimes C_2$) et prouvent manuellement la borne pour ces structures spécifiques (Lemme 3.11).

4. Analyse structurelle des séquences :
   Ils utilisent des résultats profonds sur la structure des séquences maximales sans produit-un (Lemme 3.9, basé sur des travaux de Gao et al.) pour montrer que si une séquence ne contient pas de sous-séquence produit-un de longueur $|G|$, elle doit avoir une forme très restrictive (concentration d'éléments identiques), ce qui mène à une contradiction dans le contexte des groupes considérés.

3. Résultats Principaux

Le résultat central est le Théorème 1.2 :

Soit $G$ un groupe fini non cyclique tel que $4$ ne divise pas l'ordre de $G$ ($4 \nmid |G|$). Alors :
$$E(G) \le \frac{3|G|}{2}$$
De plus, l'égalité $E(G) = \frac{3|G|}{2}$ est atteinte si et seulement si $G$ possède un sous-groupe cyclique d'indice 2.

Détails de la preuve :

• Cas avec sous-groupe cyclique d'indice 2 : Si $G$ a un sous-groupe cyclique $H$ d'indice 2, alors $G \cong C_{n/2} \rtimes C_2$ (groupe métacyclique). Les auteurs montrent que dans ce cas, $E(G) = \frac{3|G|}{2}$, confirmant que la borne est optimale pour cette classe.
• Cas sans sous-groupe cyclique d'indice 2 :
  • Si l'ordre est impair, la borne est stricte ($E(G) \le \frac{3|G|-3}{2}$ sauf pour $C_3 \times C_3$).
  • Si l'ordre est pair (mais non divisible par 4), le groupe possède un sous-groupe normal d'indice 2. Si ce sous-groupe n'est pas $C_3 \times C_3$, la borne stricte découle de l'hypothèse inductive.
  • Si le sous-groupe est $C_3 \times C_3$, les auteurs traitent les deux groupes d'ordre 18 possibles ($S_3 \times C_3$ et $(C_3 \times C_3) \rtimes C_2$) et prouvent que pour eux, $E(G) \le 26 < 27 = \frac{3 \times 18}{2}$.

4. Contributions Clés

1. Confirmation de la conjecture : L'article résout la conjecture de Gao et Li pour tous les groupes non cycliques dont l'ordre n'est pas divisible par 4. C'est une extension significative des résultats antérieurs qui ne couvraient que les ordres impairs ou certaines classes spécifiques.
2. Caractérisation des cas d'égalité : L'article ne se contente pas de prouver l'inégalité ; il identifie précisément la structure algébrique nécessaire pour atteindre la borne supérieure ($E(G) = \frac{3|G|}{2}$) : la présence d'un sous-groupe cyclique d'indice 2.
3. Résolution du problème inverse : En caractérisant les groupes atteignant l'égalité, l'article répond au "problème inverse" associé à la conjecture, une question souvent aussi difficile que la borne elle-même dans la théorie des sommes nulles.
4. Traitement des groupes d'ordre 18 : La preuve détaillée pour les groupes d'ordre 18 (Lemme 3.11) comble un vide technique important, car ces groupes constituent le cas limite où la structure du sous-groupe d'indice 2 ($C_3 \times C_3$) complique l'application directe des bornes générales.

5. Signification et Impact

Ce travail est une avancée majeure dans la théorie des sommes nulles pour les groupes non abéliens.

• Il renforce la compréhension de la rigidité combinatoire des groupes finis, montrant que la non-cyclicité impose une réduction significative de la constante $E(G)$ par rapport au cas cyclique ($2|G|-1$ vs $1.5|G|$).
• Il établit un lien clair entre la structure de sous-groupes (existence d'un sous-groupe cyclique d'indice 2) et les propriétés combinatoires des séquences de produits.
• Les méthodes développées, notamment l'analyse fine des séquences dans les groupes d'ordre 18 et l'utilisation systématique des quotients par des sous-groupes d'indice 2, offrent des outils potentiels pour aborder la conjecture dans le cas général (y compris lorsque $4 \mid |G|$).

En résumé, Zhao et Wang ont non seulement prouvé une conjecture ouverte pour une classe importante de groupes, mais ils ont aussi fourni une caractérisation complète des cas extrêmes, enrichissant ainsi la structure théorique de la constante d'Erdős-Ginzburg-Ziv.