On certain sets of elements in a free group. (Q2605837)

Es werden Systeme von lauter gewöhnlichen oder lauter zyklischen Worten in einer freien Gruppe \(G\) mit \(p\) Erzeugenden \(a_1,\ldots \!,a_p\) betrachtet. Unter einer \textit{einfachen Transformation} eines solchen Wortsystems \((W)\) wird eine Operation einer der folgenden zwei Arten verstanden: (1) Ersetzung von \(x\) durch \(xy\) in jedem Worte des Systems \((W)\); (2) Kürzung oder Einschaltung von \(xx^{-1}\) in einem Worte des Systems \((W)\). Dabei sind \(x\), \(y\) allgemeine Symbole für \(a_1,\ldots \!,a_p, \, a_1^{-1},\ldots \!,a_p^{-1}\), und es wird vorausgesetzt, daß \(y\) von \(x\) sowie von \(x^{-1}\) verschieden ist. Ein Wortsystem \((W) = (w_1,\ldots \!,w_k)\) heißt \textit{einfach}, wenn man es vermöge einer Folge von einfachen Transformationen in ein System \((x_1,\ldots \!,x_k)\) mit \(x_1,\ldots \!,x_k=a_1,\ldots \!,a_p, \, a_1^{-1},\ldots \!,a_p^{-1}\) und \(x_i \neq x_j \neq x_i^{-1}\) \((i \neq j)\) überführen kann. Ist hier \((W)\) ein System gewöhnlicher Wörter, so folgt aus den Untersuchungen von \textit{J. Nielsen} (Math. Ann. 79 (1918), 269-272; F.~d.~M. 46, 175-176), daß \((W)\) dann und nur dann einfach ist, wenn die Elemente \(w_1,\ldots \!,w_k\) von \(G\) in gewisse den soeben angeführten Bedingungen genügende Elemente \(x_1,\ldots \!,x_k\) mittels eines Automorphismus von \(G\) übergeführt werden können. Mittels scharfsinniger topologischer Betrachtungen stellt der Verf. ein allgemeines Verfahren auf, welches in jedem Falle zu entscheiden gestattet, ob ein vorgegebenes Wortsystem einfach ist. Im Falle eines einfachen Wortsystems liefert dieses Verfahren zugleich die aufeinander folgenden einfachen Transformationen, die das System in die Form \((x_1,\ldots \!,x_k)\) überführen. Gewisse Anwendungen des Verfahrens auf \textit{Heegaard}sche Diagramme dreidimensionaler Mannigfaltigkeiten werden kurz diskutiert. (V 2 C.)