Every finite group admits a just finite presentation

Resumen Técnico: Todo Grupo Finito Admite una Presentación Justo Finita

Enunciado del Problema
El artículo aborda el Problema 21.10 del Cuaderno Kourovka, planteado por Barnea. El problema pregunta si todo grupo finito admite una presentación "justo finita". Una presentación finita $\langle X \mid R \rangle$ de un grupo finito $G$ se define como justo finita si la eliminación de cualquier relación única $r \in R$ resulta en una presentación para un grupo infinito. Si bien la teoría de los grupos "justo infinitos" (grupos infinitos donde cada cociente propio es finito) está bien establecida, el concepto dual para grupos finitos permaneció como una pregunta abierta.

Metodología y Construcción
El autor resuelve la conjetura demostrando un resultado más fuerte concerniente a grupos con la Propiedad (FA) de Serre. Un grupo tiene la Propiedad (FA) si toda acción sobre un árbol tiene un punto fijo; para grupos finitamente generados, esto es equivalente a que el grupo no sea ni un producto libre amalgamado no trivial ni una extensión HNN. Dado que todos los grupos finitos poseen la Propiedad (FA), demostrar la existencia de una presentación "justo-(FA)" para cualquier grupo finitamente presentado con la Propiedad (FA) es suficiente para resolver el problema original.

La construcción central modifica una presentación finita irredundante existente $\langle X \mid R \rangle$ de un grupo $G$ (donde $G$ no es cíclico) en una nueva presentación $P' = \langle X' \mid R' \rangle$:

1. Expansión de Generadores: Para cada relación $r \in R$, se introduce un nuevo generador $b_r$.
2. Sustitución de Relaciones: Cada relación original $r$ es reemplazada por un par de nuevas relaciones:
   • $r^{-1} b_r r = b_r^2$
   • $b_r^{-1} r b_r = r^2$
3. Base Teórica: Esta sustitución se basa en el Lema 4 (B.H. Neumann), que establece que si los elementos $u, v$ satisfacen $u^{-1}vu = v^2$ y $v^{-1}uv = u^2$, entonces $u=v=1$. En consecuencia, en la nueva presentación $P'$, las relaciones fuerzan $b_r = 1$ y $r = 1$ para todo $r$, asegurando que $P'$ sigue presentando al grupo original $G$.

Demostración de la Propiedad Justo-(FA)
Para demostrar que $P'$ es justo-(FA), el autor muestra que eliminar cualquier relación única de $R'$ produce un grupo que carece de la Propiedad (FA). La prueba analiza dos casos para un par específico de relaciones correspondiente a una relación original $r$:

• Caso 1 (Eliminando $b_r^{-1} r b_r = r^2$): Se demuestra que el grupo resultante $K_1$ es un producto libre amalgamado no trivial. Específicamente, se descompone como $H_r *_{\langle r \rangle} B'$, donde $H_r = \langle X \mid R \setminus \{r\} \rangle$ y $B'$ es un producto semidirecto (o un grupo de Baumslag-Solitar si el orden de $r$ es infinito). Se muestra que el índice del subgrupo amalgamado es al menos 3, asegurando que el producto es no trivial a menos que $H_r$ sea cíclico. El autor argumenta que si $H_r$ fuera cíclico, $G$ (como cociente de $H_r$) también sería cíclico, contradiciendo la suposición de que $G$ no es cíclico. Por lo tanto, $K_1$ es un producto libre amalgamado no trivial y carece de la Propiedad (FA).
• Caso 2 (Eliminando $r^{-1} b_r r = b_r^2$): El grupo resultante $K_2$ admite un homomorfismo sobreyectivo hacia el grupo cíclico infinito $\mathbb{Z}$. Mapeando todos los generadores originales a la identidad y el generador específico $b_r$ a un generador de $\mathbb{Z}$, la relación restante se satisface trivialmente. Dado que $K_2$ se mapea sobre un grupo infinito, no puede tener la Propiedad (FA).

Resultados Clave
El artículo establece los siguientes teoremas:

• Teorema 1: Todo grupo finito admite una presentación finita, justo finita.
• Teorema 2: Todo grupo finitamente presentado con la Propiedad (FA) admite una presentación finito justo-(FA).
• Teorema 3: Todo grupo finitamente presentado con la Propiedad (T) de Kazhdan admite una presentación finito justo-(T) (una presentación donde eliminar cualquier relación destruye la Propiedad (T)).
• Teorema 6: Para cualquier presentación finita irredundante de un grupo no cíclico con la Propiedad (FA), existe una presentación justo-(FA) con la misma deficiencia (número de generadores menos número de relaciones).

Significado y Contexto
El artículo afirma resolver la pregunta abierta planteada en el Cuaderno Kourovka de manera afirmativa. La importancia radica en establecer la existencia de presentaciones mínimas para grupos finitos en el sentido de que ninguna relación es redundante para mantener la finitud.

Nota Metodológica
El artículo reconoce explícitamente el uso de la herramienta de co-matemático IA Google DeepMind. La IA propuso la estructura inicial de la solución y la estrategia central de la prueba, pero encontró un defecto relacionado con el caso específico donde $H_r = \langle r \rangle$ en el Caso 1. El autor humano identificó la brecha lógica, proporcionó la corrección necesaria (el argumento sobre cocientes cíclicos) y refinó la presentación para incluir los conceptos más amplios de presentaciones justo-(FA) y justo-(T). El texto final fue verificado y corregido por la herramienta de IA.