Lokal freie Gruppen. (Q2593974)

Eine Gruppe ist lokal frei, wenn jede endliche Menge von Gruppenelementen eine freie Untergruppe erzeugt. Eine lokal freie Gruppe besitzt den endlichen Rang \(n\), wenn jede endliche Menge von Gruppenelementen stets enthalten ist in einer freien Untergruppe von \(n\) Erzeugenden, aber nicht immer in einer solchen Untergruppe mit weniger als \(n\) Erzeugenden. Einige Eigenschaften der lokal freien Gruppen seien angegeben. Jede abzählbare lokal freie Gruppe ist die Vereinigung einer wachsenden Folge freier Gruppen mit einer endlichen Erzeugendenanzahl. (Es ist nicht bekannt, ob ein ähnlicher Satz für eine lokal freie Gruppe mit nicht abzählbar vielen Elementen gilt.) Das freie Produkt einer beliebigen Menge der lokal freien Gruppe mit einer anderen ist wieder lokal frei. Die Vereinigung einer wachsenden Folge nicht abzählbar vieler freier Gruppen ist keine Gruppe von endlichem Rang. Wenn eine lokal freie Gruppe \(G\) von endlichem Rang homomorph, aber nicht isomorph, einer lokal freien Gruppe \(\overline G\) ist, so ist der Rang von \(\overline G\) kleiner als der Rang von \(G\). Der Rang des freien Produkts zweier lokal freier Gruppen von endlichem Rang ist die Summe der Ränge der Faktoren. Es existieren lokal freie Gruppen zu jeder Mächtigkeit (wie es abzählbare lokal freie Gruppen mit beliebigem endlichen Rang gibt), die nicht als freies Produkt zweier ihrer Untergruppen dargestellt werden können.