Die Untergruppen der freien Produkte von belieligen Gruppen. (Q2616700): Difference between revisions

\textit{O. Schreier} hatte bewiesen, daß\ jede Untergruppe einer freien Gruppe wieder frei ist (1927; F. d. M. 53, 110 (JFM 53.0110.*)). Den entsprechenden Satz für die von \textit{Schreier} und \textit{Artin} eingeführten freien Produkte hatte Verf. früher (Über freie Produkte von Gruppen; Math. Ann. 108 (1933), 26-36; F. d. M. \(59_{\text{II}}\)) nur für den Fall bewiesen, daß\ es sich um freie Produkte von zyklischen Gruppen handelt; außerdem hatte er die Beziehungen, die zwischen zwei verschiedenen Darstellungen als freies Produkt bestehen, unter speziellen Voraussetzungen klargestellt. Hier nun greift Verf. das Problemin voller Allgemeinheit an und gelangt zu dem befriedigenden Resultat: Ist eine Gruppe \(G\) das freie Produkt von ``Komponenten'', die selbst nicht weiter in freie Produkte echter Untergruppen zerlegbar sind, so gilt das gleiche für jede Untergruppe von \(G\). Dabei sind die Komponenten der Untergruppe Untergruppen der Komponenten von \(G\), oder wenigstens zu solchen in \(G\) konjugiert, oder aber unendliche zyklische Gruppen. Daraus folgt mit Methoden der angeführten Arbeit, daß\ zwei verschiedene Darstellungen von \(G\) als freies Produkt nicht weiter als freies Produkt zerlegbarer Gruppen ``im wesentlichen'' übereinstimmen: die Komponenten in den beiden Darstellungen lassen sich eineindeutig so einander zuordnen, daß\ entsprechende Komponenten isomorph sind, ja sogar konjugiert in \(G\), wenn sie nicht gerade unendliche zyklische Gruppen sind. - Die Beweise, die keine Einschränkung über die Mächtigkeit der Menge der Komponenten erfordern, aber (naturgemäß) dafür Wohlordnung benutzen, bauen wesentlich die elementaren Methoden aus, die wohl erstmalig von \textit{J. Nielsen} (Math. Ann. 79 (1919), 269-272; F. d. M. 46, 175 (JFM 46.0175.*)) verwendet wurden. Da die Beweise unabhängig von den \textit{Schreier}schen sind, ist damit zugleich der Satz von den Untergruppen der freien Gruppen erneut bewiesen.