Every finite group admits a just finite presentation

Resumo Técnico: Todo Grupo Finito Admite uma Apresentação Justo-Finita

Enunciado do Problema
O artigo aborda o Problema 21.10 do Caderno Kourovka, proposto por Barnea. O problema pergunta se todo grupo finito admite uma apresentação "justo-finita". Uma apresentação finita $\langle X \mid R \rangle$ de um grupo finito $G$ é definida como justo-finita se a remoção de qualquer relação única $r \in R$ resultar em uma apresentação para um grupo infinito. Embora a teoria dos grupos "justo-infinitos" (grupos infinitos onde todo quociente próprio é finito) seja bem estabelecida, o conceito dual para grupos finitos permanecia uma questão em aberto.

Metodologia e Construção
O autor resolve a conjectura provando um resultado mais forte referente a grupos com a Propriedade (FA) de Serre. Um grupo possui a Propriedade (FA) se toda ação em uma árvore tiver um ponto fixo; para grupos finitamente gerados, isso é equivalente ao grupo não ser nem um produto livre amalgamado não trivial, nem uma extensão HNN. Como todos os grupos finitos possuem a Propriedade (FA), provar a existência de uma apresentação "justo-(FA)" para qualquer grupo finitamente apresentado com a Propriedade (FA) é suficiente para resolver o problema original.

A construção central modifica uma apresentação finita irredundante existente $\langle X \mid R \rangle$ de um grupo $G$ (onde $G$ não é cíclico) em uma nova apresentação $P' = \langle X' \mid R' \rangle$:

1. Expansão de Geradores: Para cada relação $r \in R$, um novo gerador $b_r$ é introduzido.
2. Substituição de Relações: Cada relação original $r$ é substituída por um par de novas relações:
   • $r^{-1} b_r r = b_r^2$
   • $b_r^{-1} r b_r = r^2$
3. Base Teórica: Esta substituição baseia-se no Lema 4 (B.H. Neumann), que afirma que se elementos $u, v$ satisfazem $u^{-1}vu = v^2$ e $v^{-1}uv = u^2$, então $u=v=1$. Consequentemente, na nova apresentação $P'$, as relações forçam $b_r = 1$ e $r = 1$ para todo $r$, garantindo que $P'$ ainda apresente o grupo original $G$.

Prova da Propriedade Justo-(FA)
Para demonstrar que $P'$ é justo-(FA), o autor mostra que a remoção de qualquer relação única de $R'$ produz um grupo que carece da Propriedade (FA). A prova analisa dois casos para um par específico de relações correspondente a uma relação original $r$:

• Caso 1 (Removendo $b_r^{-1} r b_r = r^2$): O grupo resultante $K_1$ é mostrado ser um produto livre amalgamado não trivial. Especificamente, ele decompõe-se como $H_r *_{\langle r \rangle} B'$, onde $H_r = \langle X \mid R \setminus \{r\} \rangle$ e $B'$ é um produto semi-direto (ou um grupo de Baumslag-Solitar se a ordem de $r$ for infinita). O índice do subgrupo amalgamado é mostrado ser pelo menos 3, garantindo que o produto seja não trivial, a menos que $H_r$ seja cíclico. O autor argumenta que, se $H_r$ fosse cíclico, $G$ (como um quociente de $H_r$) também seria cíclico, contradizendo a suposição de que $G$ não é cíclico. Assim, $K_1$ é um produto livre amalgamado não trivial e carece da Propriedade (FA).
• Caso 2 (Removendo $r^{-1} b_r r = b_r^2$): O grupo resultante $K_2$ admite um homomorfismo sobrejetor para o grupo cíclico infinito $\mathbb{Z}$. Ao mapear todos os geradores originais para a identidade e o gerador específico $b_r$ para um gerador de $\mathbb{Z}$, a relação restante é satisfeita trivialmente. Como $K_2$ mapeia para um grupo infinito, ele não pode ter a Propriedade (FA).

Resultados Chave
O artigo estabelece os seguintes teoremas:

• Teorema 1: Todo grupo finito admite uma apresentação finita, justo-finita.
• Teorema 2: Todo grupo finitamente apresentado com a Propriedade (FA) admite uma apresentação finito justo-(FA).
• Teorema 3: Todo grupo finitamente apresentado com a Propriedade (T) de Kazhdan admite uma apresentação finito justo-(T) (uma apresentação onde a remoção de qualquer relação destrói a Propriedade (T)).
• Teorema 6: Para qualquer apresentação finita irredundante de um grupo não cíclico com a Propriedade (FA), existe uma apresentação justo-(FA) com o mesmo defeito (número de geradores menos número de relações).

Significado e Contexto
O artigo afirma resolver a questão em aberto apresentada no Caderno Kourovka de forma afirmativa. O significado reside em estabelecer a existência de apresentações mínimas para grupos finitos no sentido de que nenhuma relação é redundante para manter a finitude.

Nota sobre Metodologia
O artigo reconhece explicitamente o uso da ferramenta de co-matemático de IA do Google DeepMind. A IA propôs a estrutura inicial da solução e a estratégia central da prova, mas encontrou uma falha referente ao caso específico onde $H_r = \langle r \rangle$ no Caso 1. O autor humano identificou a lacuna lógica, forneceu a correção necessária (o argumento sobre quocientes cíclicos) e refinou a apresentação para incluir os conceitos mais amplos de apresentações justo-(FA) e justo-(T). O texto final foi verificado e corrigido pela ferramenta de IA.