Every finite group admits a just finite presentation

Résumé technique : Tout groupe fini admet une présentation juste-finie

Énoncé du problème
L'article traite du problème 21.10 du Cahier Kourovka, posé par Barnea. Le problème demande si tout groupe fini admet une présentation « juste-finie ». Une présentation finie $\langle X \mid R \rangle$ d'un groupe fini $G$ est définie comme juste-finie si la suppression de n'importe quelle relation unique $r \in R$ aboutit à une présentation d'un groupe infini. Alors que la théorie des groupes « justement infinis » (groupes infinis dont chaque quotient propre est fini) est bien établie, le concept dual pour les groupes finis restait une question ouverte.

Méthodologie et construction
L'auteur résout la conjecture en démontrant un résultat plus fort concernant les groupes possédant la propriété (FA) de Serre. Un groupe possède la propriété (FA) si toute action sur un arbre admet un point fixe ; pour les groupes de type fini, cela équivaut au fait que le groupe n'est ni un produit amalgamé non trivial ni une extension HNN. Puisque tous les groupes finis possèdent la propriété (FA), prouver l'existence d'une présentation « juste-(FA) » pour tout groupe de présentation finie possédant la propriété (FA) suffit à résoudre le problème initial.

La construction centrale modifie une présentation finie irréductible existante $\langle X \mid R \rangle$ d'un groupe $G$ (où $G$ n'est pas cyclique) en une nouvelle présentation $P' = \langle X' \mid R' \rangle$ :

1. Extension des générateurs : Pour chaque relation $r \in R$, un nouveau générateur $b_r$ est introduit.
2. Substitution des relations : Chaque relation originale $r$ est remplacée par une paire de nouvelles relations :
   • $r^{-1} b_r r = b_r^2$
   • $b_r^{-1} r b_r = r^2$
3. Fondement théorique : Cette substitution repose sur le Lemme 4 (B.H. Neumann), qui stipule que si les éléments $u, v$ satisfont $u^{-1}vu = v^2$ et $v^{-1}uv = u^2$, alors $u=v=1$. Par conséquent, dans la nouvelle présentation $P'$, les relations imposent $b_r = 1$ et $r = 1$ pour tout $r$, garantissant que $P'$ présente toujours le groupe original $G$.

Démonstration de la propriété Juste-(FA)
Pour démontrer que $P'$ est juste-(FA), l'auteur montre que la suppression de n'importe quelle relation unique de $R'$ produit un groupe qui ne possède pas la propriété (FA). La preuve analyse deux cas pour une paire de relations spécifique correspondant à une relation originale $r$ :

• Cas 1 (Suppression de $b_r^{-1} r b_r = r^2$) : Le groupe résultant $K_1$ est démontré comme étant un produit amalgamé non trivial. Plus précisément, il se décompose comme $H_r *_{\langle r \rangle} B'$, où $H_r = \langle X \mid R \setminus \{r\} \rangle$ et $B'$ est un produit semi-direct (ou un groupe de Baumslag-Solitar si l'ordre de $r$ est infini). L'indice du sous-groupe d'amalgamation est démontré comme étant d'au moins 3, assurant que le produit est non trivial sauf si $H_r$ est cyclique. L'auteur soutient que si $H_r$ était cyclique, $G$ (en tant que quotient de $H_r$) serait également cyclique, ce qui contredit l'hypothèse que $G$ n'est pas cyclique. Ainsi, $K_1$ est un produit amalgamé non trivial et ne possède pas la propriété (FA).
• Cas 2 (Suppression de $r^{-1} b_r r = b_r^2$) : Le groupe résultant $K_2$ admet un homomorphisme surjectif vers le groupe cyclique infini $\mathbb{Z}$. En envoyant tous les générateurs originaux vers l'identité et le générateur spécifique $b_r$ vers un générateur de $\mathbb{Z}$, la relation restante est satisfaite trivialement. Puisque $K_2$ se projette sur un groupe infini, il ne peut pas avoir la propriété (FA).

Résultats clés
L'article établit les théorèmes suivants :

• Théorème 1 : Tout groupe fini admet une présentation finie, juste-finie.
• Théorème 2 : Tout groupe de présentation finie possédant la propriété (FA) admet une présentation juste-(FA) finie.
• Théorème 3 : Tout groupe de présentation finie possédant la propriété (T) de Kazhdan admet une présentation juste-(T) finie (une présentation où la suppression de n'importe quelle relation détruit la propriété (T)).
• Théorème 6 : Pour toute présentation finie irréductible d'un groupe non cyclique possédant la propriété (FA), il existe une présentation juste-(FA) ayant le même défaut (nombre de générateurs moins nombre de relations).

Signification et contexte
L'article prétend résoudre la question ouverte posée dans le Cahier Kourovka de manière affirmative. L'importance réside dans l'établissement de l'existence de présentations minimales pour les groupes finis dans le sens où aucune relation n'est redondante pour maintenir la finitude.

Note sur la méthodologie
L'article reconnaît explicitement l'utilisation de l'outil co-mathématicien Google DeepMind AI. L'IA a proposé la structure de la solution initiale et la stratégie de preuve centrale, mais a rencontré un défaut concernant le cas spécifique où $H_r = \langle r \rangle$ dans le Cas 1. L'auteur humain a identifié la faille logique, fourni la correction nécessaire (l'argument concernant les quotients cycliques) et affiné la présentation pour inclure les concepts plus larges de présentations juste-(FA) et juste-(T). Le texte final a été vérifié et corrigé par l'outil d'IA.