Estoy buscando un ejemplo de una palabra en un finitely-presentado el grupo $G = \langle S | R \rangle$, lo que representa la identidad, pero para los que la prueba de que esto es así es bastante largo.
Es decir, tenemos listo insertar un gran número de relaciones, mientras que el aumento del tamaño de la palabra, antes de que podamos descubrir que la palabra representa el $1$. No es demasiado largo, a pesar de. Sólo quiero un buen ejemplo claro de los efectos de ilustrar el fenómeno.
Supongo que me podría establecer tratando de fabricar un ejemplo, pero se me figura que la norma ejemplos están en los libros, y por qué reinventar la rueda!
