Das Identitätsproblem für Gruppen mit einer definierenden Relation. (Q563308)

Eine Gruppe sei durch ihre Erzeugenden und die zwischen ihnen bestehenden definierenden Relationen gegeben; dann entsteht die Frage, wann ein Ausdruck in den Erzeugenden auf Grund der Relationen gleich dem Einheitselement ist. Dieses für die Theorie der diskontinuierlichen Gruppen grundlegende Problem wird nach \textit{M. Dehn} das ``Identitätsproblem'' genannt. Es ist im allgemeinen bisher ungelöst. Verf. löst das Problem für den Fall, daß alle Relationen aus nur einer folgen. Er löst dabei für den Fall der einrelationigen Gruppen gleich eine etwas allgemeinere Aufgabe, die er das verallgemeinerte Identitätsproblem nennt: von einem Ausdruck in den Erzeugenden zu entscheiden, ob er gleich einem Ausdruck in einer vorgegebenen Teilmenge der Erzeugenden ist. Ist diese Teilmenge leer, so liegt das gewöhnliche Identitätsproblem vor. Zur Lösung wird der ``Freiheitssatz'' des Verf. (1930; JFM 56.0134.*) sowie der Satz über die ``Existenz des freien Produktes mit vereinigten Untergruppen'' (\textit{O. Schreier}, Abhandlungen Hamburg 5 (1927), 161-183; F. d. M. 53. 110) benutzt. Die angewendeten Methoden sind im wesentlichen die gleichen wie in der zitierten Arbeit des Verf.