Hostname: page-component-848d4c4894-m9kch Total loading time: 0 Render date: 2024-06-09T03:26:02.382Z Has data issue: false hasContentIssue false

Incompressible Surfaces in the Boundary of a Handlebody–an Algorithm

Published online by Cambridge University Press:  20 November 2018

Herbert C. Lyon*
Affiliation:
Northland College, Ashland, Wisconsin
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Our first result is a decomposition theorem for free groups relative to a set of elements. This enables us to formulate several algebraic conditions, some necessary and some sufficient, for various surfaces in the boundary of a 3-dimensional handlebody to be incompressible. Moreover, we show that there exists an algorithm to determine whether or not these algebraic conditions are met.

Many of our algebraic ideas are similar to those of Shenitzer [3]. Conversations with Professor Roger Lyndon were helpful in the initial development of these results, and he reviewed an earlier version of this paper, suggesting Theorem 1 (iii) and its proof. Our notation and techniques are standard (cf. [1], [2]). A set X of elements in a finitely generated free group F is a basis if it is a minimal generating set, and X±l denotes the set of all elements in X, together wTith their inverses.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1980

References

1. Hempel, J., 3-manifolds, Ann. of Math. Studies 86 (Princeton Univ. Press, Princeton, N.J., 1976).Google Scholar
2. Lyndon, R. C. and Schupp, P. E., Combinatorial group theory (Springer Verlag, Berlin, Heidelberg, New York, 1977).Google Scholar
3. Shenitzer, A., Decomposition of a group with one defining relation into a free product, Proc. Amer. Math. Soc. 6 (1955), 273279.Google Scholar
4. Suzuchi, S., On homomorphisms of a 3-dimensional handlebody, Can. J. Math. 29 (1977), 111124.Google Scholar
5. Waldhausen, F., Gruppen mit Zentrum and 3-dimensionale Mannigfaltigkeiten, Topolog. 6 (1967), 505517.Google Scholar