Vrije abelse groep

In de abstracte algebra en meer specifiek in de groepentheorie is een vrije abelse groep een abelse groep die een "basis" heeft in de zin dat elk element van de groep op een en slechts een manier geschreven kan worden als een eindige lineaire combinatie met geheeltallige coëfficiënten van elementen van de basis. Vandaar dat vrij abelse groepen over een basis ook wel bekendstaan als formele sommen over . Informeel kan een element van een vrije abelse groep gezien worden als een formele som of als getekende multisets met eindig veel elementen van de basis waarbij de coëfficiënt van een basiselement opgevat wordt als de multipliciteit van dat element.

Vrije abelse groepen kunnen vergeleken worden met vectorruimten, of opgevat worden als een vrij -moduul. Elke vrije abelse groep heeft een rang, die gedefinieerd is als de kardinaliteit van een basis. De rang bepaalt de groep op isomorfie na. Elke deelgroep van een vrije abelse groep is zelf weer een vrije abelse groep, wat belangrijk is voor de beschrijving van een algemene abelse groep als een cokern van een homomorfisme tussen vrije abelse groepen.

VoorbeeldBewerken

Laat   de directe som van twee kopieën van de oneindige cyclische groep   zijn. Symbolisch geldt dat

 

Een basis voor deze groep is  . Dan is:

 

Met deze basis is er geen andere manier om (4,3) te schrijven, maar met de keuze dat   als basis is (4,3) te schrijven als

 

In tegenstelling tot vectorruimten, hebben niet alle abelse groepen een basis, vandaar de speciale naam voor die abelse groepen die wel een basis hebben. (De groep met periodieke elementen is bijvoorbeeld geen vrije abelse groep, omdat elk element op een oneindig aantal manieren kan worden uitgedrukt, eenvoudigweg door een arbitrair getal van cycli geconstrueerd uit een periodiek element in te voeren.)

De triviale abelse groep {0} wordt geacht een vrije abelse groep te zijn met als basis de lege verzameling.

TerminologieBewerken

Merk op dat een vrije abelse groep niet een vrije groep is. Hierop zijn twee uitzonderingen: een vrije abelse groep met een lege basis (rang 0, die de triviale groep geeft) of een vrije abelse groep met slechts één element in de basis (rang 1, wat de oneindige cyclische groep geeft). Andere abelse groepen zijn geen vrije groepen, omdat   in vrije groepen moet verschillen van  , indien   en   verschillende elementen van de basis zijn.

EigenschappenBewerken

  1. Voor elke verzameling   bestaat er een vrije abelse groep met basis  , en alle vrije abelse groepen die   als basis hebben, zijn isomorf. Een voorbeeld kan worden geconstrueerd als de abelse groep van geheelwaardige functies op   met slechts een eindig aantal waarden ongelijk aan nul. Dit is de directe som van de kopieën van  , één kopie voor elk element van  .
  2. Voor een vrije abelse groep   met basis   geldt de universele eigenschap dat er voor elke willekeurige functie   van   naar een willekeurige abelse groep   een uniek groepshomomorfisme van   naar   bestaat die de functie   uitbreidt. Deze universele eigenschap kan ook gebruikt worden om vrije abelse groepen te definiëren.
  3. Bij elke abelse groep   bestaat er een vrije abelse groep   en een surjectief groepshomomorfisme van   naar  . Dit volgt uit de universele eigenschap die hierboven wordt vermeld.
  4. Alle vrije abelse groepen zijn torsievrij, en alle eindige gegenereerde torsievrije abelse groepen zijn vrije abelse groepen. (Hetzelfde geldt voor vlakheid, omdat een abelse groep dan en slechts dan torsie-vrij is als de abelse groep vlak is.) De additieve groep van rationale getallen   is een (niet eindig gegenereerde) torsievrije groep die geen vrije abels groep is. De reden:   is deelbaar, terwijl niet-nulzijnde vrije abelse groepen echter nooit deelbaar zijn.
  5. Vrije abelse groepen zijn een speciaal geval van vrije modulen, aangezien abelse groepen niets meer zijn dan modulen over de ring  .

Belangrijk is dat elke deelgroep van een vrije abelse groep zelf ook een vrije abelse groep is. Als gevolg daarvan bestaat er voor elke abelse groep   een korte exacte rij

 

waarin   en   vrije abelse groepen zijn. Dit betekent dat   isomorf is met de factorgroep  ). Dit wordt een vrije resolutie van   genoemd. Bovendien zijn de vrije abelse groepen precies de projectieve objecten in de categorie van abelse groepen.[1]

Het kan verrassend moeilijk zijn om te bepalen of een concreet gegeven groep al of niet een vrije abelse groep is. Denk bijvoorbeeld aan de Baer-Specker-groep  , het directe product van aftelbaar vele kopieën van  . Reinhold Baer bewees in 1937 dat deze groep geen vrije abelse groep is; Specker bewees in 1950 dat elke aftelbare deelgroep van   een vrije abelse groep is.

VoetnotenBewerken

  1. Griffith, p.18