Die Untergruppen der freien Gruppen. (Q5907722)

Jede Untergruppe einer von endlich oder unendlich vielen Elementen erzeugten freien Gruppe ist bei geeigneter Wahl der erzeugenden Elemente selbst eine freie Gruppe. Zwischen der Erzeugendenzahl der gegebenen Gruppe, dem Index der Untergruppe in ihr und der Erzeugendenzahl der Untergruppe besteht dabei eine Beziehung, die es in den meisten Fällen gestattet, aus den beiden ersten, endlichen oder unendlichen, Kardinalzahlen die dritte eindeutig zu berechnen. -- Der Beweis wird mittels einer Methode erbracht, die über die hier gemachte Anwendung hinaus Bedeutung hat: In Verfolgung eines von Reidemeister (Knoten und Gruppen; Abh. Hamb. 5 (1926), 7-23; F. d. M. 52) in speziellen Fällen angewandten Gedankens wird eine Methode entwickelt, nach der man, wenn eine Gruppe durch erzeugende Elemente und definierende Relationen gegeben ist, auch zu jeder ihrer Untergruppen erzeugende Elemnete und definierende Relationen finden kann. - Zu erwähnen ist noch ein Beweis der Existenz des ``freien Produktes'' einer Menge von Gruppen mit ``vereinigten Untergruppen''.