Unsolved Problems in Group Theory. The Kourovka Notebook

El Cuaderno Kourovka es una colección de problemas abiertos en teoría de grupos propuesta por matemáticos de todo el mundo, publicada periódicamente desde 1965, y cuya 21ª edición incluye 150 nuevos problemas junto con comentarios sobre ediciones anteriores.

Lo esencial

Imagina que las matemáticas son como un gigantesco jardín de laberintos. Dentro de este jardín, hay un área especial dedicada a los "grupos", que son como colecciones de reglas para mezclar cosas (números, movimientos, formas) siguiendo un orden lógico.

El documento que tienes entre manos es el "Cuaderno Kourovka" (Kourovka Notebook), específicamente la edición número 21 del año 2026. Pero no es un cuaderno de notas cualquiera; es como el "Grimorio de los Misterios Sin Resolver" de la teoría de grupos.

Aquí te explico qué es y por qué es tan importante, usando analogías sencillas:

1. ¿Qué es este cuaderno?

Imagina que en 1965, un grupo de matemáticos rusos se reunió en un pequeño pueblo llamado Kourovka y dijo: "Hagamos una lista de los rompecabezas que aún no hemos podido resolver en el mundo de los grupos".

Desde entonces, cada 2 o 4 años, publican una nueva edición. Este documento es la edición 21. Contiene:

• Problemas nuevos: Nuevos acertijos planteados por matemáticos de todo el mundo.
• Problemas viejos: Los acertijos de las ediciones anteriores que aún no se han resuelto.
• Actualizaciones: Si alguien resolvió un problema antiguo, se añade una nota explicando cómo se hizo.

Es como un tablero de ajedrez global donde los mejores jugadores del mundo (más de 500 autores) dejan sus jugadas pendientes para que otros intenten ganar la partida.

2. ¿Por qué se llama "Kourovka"?

El nombre viene de ese pequeño pueblo donde se originó la idea. Es como si el "Santo Grial" de los problemas de ajedrez se llamara "El Torneo de la Plaza Mayor". Le da un toque humano y nostálgico a una colección de matemáticas muy abstractas.

3. ¿De qué tratan los problemas? (La analogía de las cajas y las llaves)

Los problemas en este cuaderno son preguntas sobre cómo se comportan estas "cajas de reglas" (los grupos). Aquí tienes algunos ejemplos traducidos a lenguaje cotidiano:

• El problema de los "Ceros Fantasma":

  • La pregunta: Si tienes una caja de herramientas (un grupo) y no tiene piezas rotas (es "libre de torsión"), ¿puedes mezclar dos herramientas y que el resultado sea "nada" (cero)?
  • La analogía: Imagina que tienes dos llaves. Si las giras juntas, ¿pueden anularse mutuamente hasta que no quede nada? Los matemáticos quieren saber si esto es posible o si siempre queda algo.

• El problema de los "Laberintos Infinitos":

  • La pregunta: ¿Existen grupos que sean infinitos pero que se puedan describir con un número finito de reglas?
  • La analogía: Imagina un laberinto que nunca termina, pero que se puede dibujar en una sola hoja de papel con un conjunto de instrucciones simples. ¿Es posible construir algo así?

• El problema de las "Formas Ocultas":

  • La pregunta: Si dos grupos parecen diferentes, ¿pueden tener la misma "huella digital" interna?
  • La analogía: Imagina dos personas que parecen totalmente distintas por fuera, pero si miras su ADN (sus propiedades matemáticas), son idénticas. ¿Cómo podemos saber si dos grupos son realmente el mismo o solo se parecen?

4. ¿Por qué es importante si nadie los ha resuelto?

Este cuaderno es vital por tres razones:

1. Es un mapa del tesoro: Guía a los matemáticos jóvenes hacia dónde están los "tesoros" (las respuestas) que aún no se han encontrado.
2. Es un termómetro de la salud: El hecho de que más de 3/4 de los problemas de las primeras ediciones ya estén resueltos nos dice que la ciencia avanza. Es como ver cómo se van llenando los huecos en un rompecabezas gigante.
3. Conecta al mundo: Un matemático en Rusia, otro en EE. UU. y otro en Japón pueden estar trabajando en el mismo problema gracias a este libro. Es un lenguaje universal.

5. ¿Qué significa "CFSG"?

En el texto verás una abreviatura extraña: CFSG. Significa "Clasificación de los Grupos Simples Finitos".

• La analogía: Imagina que los matemáticos han creado una "Enciclopedia de la Vida" para todas las formas básicas de grupos. Es un libro tan enorme y complejo que a veces los investigadores dicen: "Para resolver este acertijo, necesito consultar la Enciclopedia". A veces, quieren resolverlo sin consultar la enciclopedia, para ver si pueden encontrar una solución más elegante y simple.

En resumen

El Cuaderno Kourovka es el libro de los "No sé" más famoso de las matemáticas. Es una invitación abierta a la humanidad para que, juntos, sigamos desatando los nudos más difíciles del universo matemático. No necesitas ser un genio para entenderlo; solo necesitas curiosidad para saber que, incluso en el mundo más abstracto, todavía hay misterios esperando ser descubiertos.

Es como si el universo nos dijera: "Aquí hay un secreto. ¿Quién se atreve a encontrarlo?". Y este cuaderno es la lista de esos secretos.

Resumen técnico

Resumen Técnico Detallado: "Kourovka Notebook" No. 21 (2026)

1. Introducción y Contexto del Problema
El documento presentado es la 21ª edición del "Cuaderno de Kourovka" (Kourovka Notebook), una colección seminal de problemas abiertos en la teoría de grupos, publicada por el Instituto de Matemáticas S. L. Sobolev de la Rama Siberiana de la Academia de Ciencias de Rusia. Esta obra, iniciada en 1965 por M. I. Kargapolov, no es un artículo de investigación tradicional con una única hipótesis a probar, sino un catálogo vivo y actualizado de los desafíos más importantes en la teoría de grupos y áreas afines.

El problema central que aborda este volumen es la organización y actualización del estado del arte en la teoría de grupos. Su objetivo es servir como un medio de comunicación único para investigadores, catalogando problemas resueltos, actualizando comentarios sobre problemas pendientes y presentando 150 nuevos problemas propuestos por expertos de todo el mundo. La edición de 2026 cubre un período que abarca desde el primer número (1965) hasta el presente, integrando avances recientes, incluyendo soluciones obtenidas en 2024 y 2025.

2. Metodología y Estructura
La metodología de este documento es compilatoria y curatorial, basada en la revisión exhaustiva de la literatura matemática global.

• Estructura Cronológica: El contenido se organiza por ediciones anteriores (del 1º al 20º), listando los problemas originales y añadiendo comentarios de estado actual (resuelto, parcialmente resuelto, o aún abierto).
• Sección de Nuevos Problemas: Incluye una sección dedicada a 150 problemas nuevos propuestos para la edición 21 (2026).
• Archivo de Problemas Resueltos: Contiene una lista detallada de problemas que han sido resueltos desde la última edición (2022), citando las publicaciones específicas donde se encuentran las demostraciones completas.
• Actualización Dinámica: Los editores (E. I. Khukhro y V. D. Mazurov) incorporan comentarios de la comunidad científica, corrigiendo errores y añadiendo referencias a soluciones recientes, a menudo publicadas en preprints de arXiv o revistas de alto impacto.
• Abreviaturas Clave: Se utiliza la abreviatura CFSG (Classification of Finite Simple Groups) para indicar cuando una solución depende de la Clasificación de los Grupos Simples Finitos, un teorema masivo que es fundamental en la teoría moderna de grupos.

3. Contribuciones Clave y Áreas Temáticas
El documento abarca un espectro vasto de la teoría de grupos. Las contribuciones y temas principales incluyen:

• Grupos Finitos y Simples: Problemas sobre la estructura de grupos simples, grupos de Lie, grupos de permutación, y la clasificación de grupos con propiedades específicas (como grupos de tipo $D_\pi$, grupos de Hughes-Thompson, y grupos de tipo $D_0$).
• Grupos Infinitos y Burnside: Una sección significativa se dedica al Problema de Burnside, grupos de Burnside libres ($B(m, n)$), grupos de crecimiento intermedio, y la amenabilidad de grupos finitamente generados.
• Teoría de Representaciones y Caracteres: Problemas sobre caracteres complejos, módulos modulares, y la relación entre el espectro de un grupo y su estructura (problemas de reconocimiento espectral).
• Teoría de Formaciones y Fitting: Análisis de clases de grupos, formaciones locales, clases de Fitting, y propiedades radicales.
• Grupos Ordenados y Topológicos: Problemas sobre grupos ordenables, grupos topológicos locales compactos, y la interacción entre la topología y la estructura algebraica.
• Teoría de Anillos de Grupos: Cuestiones sobre anillos de grupos integrales, unidades, divisores de cero, y la conjetura de Kaplansky.
• Grupos de Braids y Geometría: Problemas sobre grupos de trenzas, grupos de automorfismos de grupos libres, y la relación con la teoría de nudos y geometría hiperbólica.
• Lógica y Teoría de Modelos: Decidibilidad de teorías elementales, problemas de isomorfismo, y propiedades de grupos libres y metabelianos.

4. Resultados Destacados (Actualizaciones 2024-2026)
El volumen destaca varias soluciones recientes a problemas de larga data, demostrando la vitalidad del campo:

• Resolución de Conjeturas de Orden: Se confirma que existen grupos no ordenables sin torsión generalizada (problema 16.48) y se resuelven problemas sobre la ordenabilidad de grupos libres y sus subgrupos.
• Grupos de Braids y Automorfismos: Se han resuelto problemas sobre la linealidad de grupos de trenzas virtuales y la estructura de endomorfismos de grupos de trenzas (problemas 19.7, 14.102).
• Grupos de Burnside y Engel: Avances significativos en la estructura de grupos de Burnside de exponente grande y grupos $n$-Engel, incluyendo la demostración de que ciertos grupos de Burnside tienen subgrupos normales no libres.
• Teoría de Formaciones: Se han clasificado nuevas familias de formaciones superradicales y se han resuelto problemas sobre la estructura de subformaciones en formaciones saturadas.
• Grupos de Permutación y Combinatoria: Soluciones a problemas sobre la expansión de conjuntos en grupos alternos, el número de clases de conjugación en grupos simétricos, y la estructura de grupos primitivos.
• Problemas de Decidibilidad: Se han establecido resultados sobre la decidibilidad de problemas de palabra y conjugación en diversas clases de grupos (grupos hiperbólicos, grupos de automorfismos de árboles).
• Nuevos Contrajemplos: Se han encontrado contraejemplos a conjeturas sobre la estructura de grupos con propiedades de orden, como la existencia de grupos simples infinitos que no son de tipo Lie (problema 11.112) y la no existencia de ciertos tipos de grupos de orden finito con propiedades específicas de caracteres.

5. Significado e Impacto
El "Cuaderno de Kourovka" No. 21 es de importancia crítica para la comunidad matemática por las siguientes razones:

• Búlgaro de Referencia: Es la fuente definitiva para identificar qué problemas están abiertos en la teoría de grupos, evitando la duplicación de esfuerzos y guiando la investigación futura.
• Historia Viva de la Disciplina: Documenta la evolución de la teoría de grupos durante más de 60 años, mostrando cómo los problemas se han transformado, resuelto o reformulado.
• Estímulo a la Investigación: Al presentar problemas difíciles y a menudo famosos (como los relacionados con el Problema de Burnside o la Conjetura de Tarski), inspira a nuevas generaciones de matemáticos a abordar desafíos fundamentales.
• Integración de Resultados Recientes: La inclusión de soluciones de 2024 y 2025 demuestra la rapidez con la que la comunidad científica actualiza el conocimiento, incluso en un formato impreso/digital periódico.
• Conexión Interdisciplinaria: Muchos problemas conectan la teoría de grupos con otras áreas como la topología, la geometría, la lógica matemática, la teoría de números y la física teórica (ej. teoría de cuerdas y grupos de Lie).

En resumen, este documento no es solo una lista de problemas, sino un mapa estratégico para el desarrollo futuro de la teoría de grupos, consolidando décadas de investigación y señalando el camino hacia las fronteras del conocimiento matemático actual.