Suppose that <i></i>₀ is an unknotted simple closed curve contained in the 3-sphere which happens to be invariant under a subgroup <i>G</i> of the Mbius group of <i>S³</i> = the group (generated by inversions in 2-spheres). It is shown that there is an equivariant isotopy <i></i>_<i>t</i>, 0 <i>t</i> 1, from <i></i>₀ to a round circle <i></i>₁.

Given a 3-holed sphere decomposition of an orientable closed surface, it is shown that each orientation preserving homeomorphism of the surface is isotopic to a composition AB where A is a product of positive Dehn twists and B is a product of negative Dehn twists on the decomposition curves.

Given a loop on a surface, its homotopy class can be specified as a word consisting of letters representing the homotopy group generators. One of the interesting problems is how to compute the shortest word for a given loop. This is an NP-hard problem in general. However, for a closed surface that allows a hyperbolic metric and is equipped with a canonical set of fundamental group generators, the shortest word problem can be reduced to finding the shortest loop that is homotopic to the given loop, which can be solved efficiently. In this paper, we propose an efficient algorithm to compute the shortest words for loops given on triangulated surface meshes. The design of this algorithm is inspired and guided by the work of Dehn and BirmanSeries. In support of the shortest word algorithm, we also propose efficient algorithms to compute shortest paths and shortest loops under hyperbolic metrics using a novel