Every finite group admits a just finite presentation

Sintesi Tecnica: Ogni Gruppo Finito Ammette una Presentazione Just Finite

Enunciato del Problema
Il lavoro affronta il Problema 21.10 del Quaderno di Kourovka, proposto da Barnea. Il problema chiede se ogni gruppo finito ammetta una presentazione "just finite". Una presentazione finita $\langle X \mid R \rangle$ di un gruppo finito $G$ è definita just finite se la rimozione di una singola relazione $r \in R$ comporta una presentazione per un gruppo infinito. Sebbene la teoria dei gruppi "just infinite" (gruppi infiniti in cui ogni quoziente proprio è finito) sia ben consolidata, il concetto duale per i gruppi finiti rimaneva una questione aperta.

Metodologia e Costruzione
L'autore risolve la congettura dimostrando un risultato più forte riguardante i gruppi con la Proprietà (FA) di Serre. Un gruppo possiede la Proprietà (FA) se ogni azione su un albero ha un punto fisso; per i gruppi finitamente generati, ciò è equivalente al fatto che il gruppo non sia né un prodotto libero amalgamato non banale né un'estensione HNN. Poiché tutti i gruppi finiti possiedono la Proprietà (FA), dimostrare l'esistenza di una presentazione "just-(FA)" per qualsiasi gruppo finitamente presentato con la Proprietà (FA) è sufficiente a risolvere il problema originale.

La costruzione centrale modifica una presentazione finita irridondante esistente $\langle X \mid R \rangle$ di un gruppo $G$ (dove $G$ non è ciclico) in una nuova presentazione $P' = \langle X' \mid R' \rangle$:

1. Espansione dei Generatori: Per ogni relazione $r \in R$, viene introdotto un nuovo generatore $b_r$.
2. Sostituzione delle Relazioni: Ogni relazione originale $r$ è sostituita da una coppia di nuove relazioni:
   • $r^{-1} b_r r = b_r^2$
   • $b_r^{-1} r b_r = r^2$
3. Fondamento Teorico: Questa sostituzione si basa sul Lemma 4 (B.H. Neumann), che afferma che se gli elementi $u, v$ soddisfano $u^{-1}vu = v^2$ e $v^{-1}uv = u^2$, allora $u=v=1$. Di conseguenza, nella nuova presentazione $P'$, le relazioni impongono $b_r = 1$ e $r = 1$ per ogni $r$, garantendo che $P'$ presenti ancora il gruppo originale $G$.

Dimostrazione della Proprietà Just-(FA)
Per dimostrare che $P'$ è just-(FA), l'autore mostra che la rimozione di una singola relazione da $R'$ produce un gruppo che non possiede la Proprietà (FA). La prova analizza due casi per una specifica coppia di relazioni corrispondente a una relazione originale $r$:

• Caso 1 (Rimozione di $b_r^{-1} r b_r = r^2$): Il gruppo risultante $K_1$ è mostrato essere un prodotto libero amalgamato non banale. Nello specifico, si decompone come $H_r *_{\langle r \rangle} B'$, dove $H_r = \langle X \mid R \setminus \{r\} \rangle$ e $B'$ è un prodotto semidiretto (o un gruppo di Baumslag-Solitar se l'ordine di $r$ è infinito). Si dimostra che l'indice del sottogruppo amalgamato è almeno 3, assicurando che il prodotto sia non banale a meno che $H_r$ non sia ciclico. L'autore sostiene che se $H_r$ fosse ciclico, anche $G$ (in quanto quoziente di $H_r$) sarebbe ciclico, contraddicendo l'assunzione che $G$ non sia ciclico. Pertanto, $K_1$ è un prodotto libero amalgamato non banale e non possiede la Proprietà (FA).
• Caso 2 (Rimozione di $r^{-1} b_r r = b_r^2$): Il gruppo risultante $K_2$ ammette un omomorfismo suriettivo sul gruppo ciclico infinito $\mathbb{Z}$. Mappando tutti i generatori originali all'identità e il generatore specifico $b_r$ a un generatore di $\mathbb{Z}$, la relazione rimanente è soddisfatta in modo banale. Poiché $K_2$ si mappa su un gruppo infinito, non può possedere la Proprietà (FA).

Risultati Chiave
Il lavoro stabilisce i seguenti teoremi:

• Teorema 1: Ogni gruppo finito ammette una presentazione finita, just finite.
• Teorema 2: Ogni gruppo finitamente presentato con la Proprietà (FA) ammette una presentazione just-(FA) finita.
• Teorema 3: Ogni gruppo finitamente presentato con la Proprietà (T) di Kazhdan ammette una presentazione just-(T) finita (una presentazione in cui la rimozione di qualsiasi relazione distrugge la Proprietà (T)).
• Teorema 6: Per qualsiasi presentazione finita irridondante di un gruppo non ciclico con la Proprietà (FA), esiste una presentazione just-(FA) con la stessa difettosità (numero di generatori meno numero di relazioni).

Significato e Contesto
Il lavoro afferma di risolvere la questione aperta posta nel Quaderno di Kourovka in senso affermativo. Il significato risiede nell'instaurare l'esistenza di presentazioni minime per i gruppi finiti nel senso che nessuna relazione è ridondante per il mantenimento della finitezza.

Nota sulla Metodologia
Il lavoro riconosce esplicitamente l'uso dello strumento di co-matematico AI Google DeepMind. L'AI ha proposto la struttura iniziale della soluzione e la strategia di prova centrale, ma ha incontrato un difetto riguardante il caso specifico in cui $H_r = \langle r \rangle$ nel Caso 1. L'autore umano ha identificato il vuoto logico, fornito la correzione necessaria (l'argomento riguardante i quozienti ciclici) e affinato la presentazione per includere i concetti più ampi di presentazioni just-(FA) e just-(T). Il testo finale è stato verificato e corretto dallo strumento AI.