Publicación: |
Centre de Recerca Matemàtica 2005 |
Resumen: |
We say the endomorphism problem is solvable for an element W in a free group F if it can be decided effectively whether, given U in F, there is an endomorphism Φ of F sending W to U. This work analyzes an approach due to C. Edmunds and improved by C. Sims. Here we prove that the approach provides an efficient algorithm for solving the endomorphism problem when W is a two- generator word. We show that when W is a two-generator word this algorithm solves the problem in time polynomial in the length of U. This result gives a polynomial-time algorithm for solving, in free groups, two-variable equations in which all the variables occur on one side of the equality and all the constants on the other side. |
Derechos: |
Aquest document està subjecte a una llicència d'ús Creative Commons. Es permet la reproducció total o parcial, la distribució, i la comunicació pública de l'obra, sempre que no sigui amb finalitats comercials, i sempre que es reconegui l'autoria de l'obra original. No es permet la creació d'obres derivades. |
Lengua: |
Anglès |
Colección: |
Centre de Recerca Matemàtica. Prepublicacions |
Colección: |
Prepublicacions del Centre de Recerca Matemàtica ; 655 |
Documento: |
Article ; Prepublicació ; Versió de l'autor |
Materia: |
Grups lliures ;
Endomorfismes (Teoria de grups) |