Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4657736 | Topology | 2006 | 38 Pages |
Abstract
The aim of this paper is to show that the fundamental group of an oriented 3-manifold which satisfies Thurston's geometrization conjecture has a solvable conjugacy problem. In other words, for any such 3-manifold M , there exists an algorithm which can decide for any couple of elements u,vu,v of π1(M)π1(M) whether u and vv are in the same conjugacy class of π1(M)π1(M) or not. More topologically, the algorithm decides for any two loops in M, whether they are freely homotopic or not.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Geometry and Topology
Authors
Jean-Philippe Préaux,