Lo que quiero decir es, ¿existe un algoritmo que, dado cualquier finitely presentado el grupo con solubles palabra problema se puede resolver el problema en ese grupo?
Respuesta
¿Demasiados anuncios?
No. Este es el Boone-Rogers teorema sobre la unsolvability del uniforme de la palabra problema. Se menciona en el artículo de la Wikipedia sobre la palabra problema. https://en.wikipedia.org/wiki/Word_problem_for_groups
