imported>Nukelavee: /* growthexperiments-addlink-summary-summary:2|0|0 */

2025-02-05T19:39:21Z

growthexperiments-addlink-summary-summary:2|0|0

Neue Seite

In der [[Mathematik]] ist eine '''freie abelsche Gruppe''' eine [[abelsche Gruppe]], die [[Modul (Mathematik)#Abelsche Gruppen|als <math>\Z</math>-Modul]] eine [[Basis (Modul)|Basis]] hat.

Im Gegensatz zu [[Vektorraum|Vektorräumen]] hat nicht jede abelsche Gruppe eine Basis, deshalb gibt es den spezielleren Begriff der freien abelschen Gruppe.

Man beachte, dass eine freie abelsche Gruppe nicht dasselbe ist wie eine [[freie Gruppe]], die abelsch ist. In der Tat sind die meisten freien Gruppen [[nichtabelsch]], und die meisten freien abelschen Gruppen sind keine freien Gruppen: Eine ''freie abelsche Gruppe'' ist genau dann auch eine ''freie Gruppe,'' wenn ihr Rang höchstens <math>1</math> ist. Zur Vermeidung von Missverständnissen verwenden manche Autoren daher auch die Bezeichnung '''frei abelsche Gruppe,''' in der die Bezeichnung ''frei abelsch'' als ein einzelnes Attribut aufgefasst wird.

== Definition ==
Die abelsche Gruppe <math>F</math> heißt frei über <math>B \subset F</math>, wenn <math>B</math> eine Basis des <math>\Z</math>-[[Modul (Mathematik)|Modul]]s <math>F</math> ist. Dies bedeutet, dass sich jedes Element von <math>F</math> auf genau eine Weise als <math>\Z</math>-Linearkombination über <math>B</math> darstellen lässt.

Hierbei ist eine <math>\Z</math>-Linearkombination über <math>B</math> eine Summe der Form <math>\textstyle \sum_{b \in B} \lambda_b \cdot b</math> von Elementen aus <math>B</math> mit ganzzahligen Koeffizienten <math>\lambda_b \in \Z</math>. Ist die Menge <math>B</math> unendlich, so fordert man hier zusätzlich, dass nur endliche viele der Koeffizienten <math>\lambda_b</math> von null verschieden sein dürfen, damit die Summe einen Sinn hat.

Die Elemente der von <math>B</Math> erzeugten freien abelschen Gruppe werden auch als '''formale Summen''' von Elementen aus <Math>B</Math> bezeichnet. Beispielsweise werden in der Definition der [[Singuläre Homologie|singulären Homologie]] die formalen Summen singulärer Simplizes oder in der Definition der [[Bloch-Gruppe]] die formalen Summen [[Komplexe Zahl|komplexer Zahlen]] verwendet.

== Alternative Definitionen ==
Die Bedingung, dass die abelsche Gruppe <math>F</math> frei über <math>B</math> ist, lässt sich in zwei Teile gliedern:

* <math>B</math> ist ein [[Erzeugendensystem]] für die Gruppe <math>F</math>, das heißt, jedes Element von <math>F</math> ist eine <math>\Z</math>-Linearkombination über <math>B</math>.

* <math>B</math> ist frei, das heißt, das [[Neutrales Element|neutrale Element]] <math>0</math> kann nur auf die triviale Weise als <math>\Z</math>-Linearkombination über <math>B</math> dargestellt werden.

Jede abelsche Gruppe ist auf natürliche Weise ein <math>\Z</math>-Modul.
Freie abelsche Gruppen sind daher nichts anderes als [[freier Modul|freie Moduln]] über <math>\Z</math>.

== Universelle Eigenschaft ==
Eine abelsche Gruppe <math>F</math> ist genau dann frei abelsch mit Basis <math>B \subset F</math>, wenn sie folgende [[universelle Eigenschaft]] hat:
Ist <math>f \colon B \to A</math> eine beliebige [[Abbildung (Mathematik)|Abbildung]] der Menge <math>B</math> in eine abelsche Gruppe <math>A</math>, dann gibt es genau einen [[Gruppenhomomorphismus]] <math>h \colon F \to A</math>, der <math>f</math> fortsetzt, also <math>h(b) = f(b)</math> für alle <math>b \in B</math> erfüllt.

Diese universelle Abbildungseigenschaft ist zu obiger Definition äquivalent. Jede der beiden Charakterisierungen kann also als Definition freier abelscher Gruppen verwendet werden. Die jeweils andere Charakterisierung ist dann eine Folgerung.

== Beispiele ==
Die Gruppe <math>(\Z,+)</math> der ganzen Zahlen ist frei abelsch mit Basis <math>\{1\}</math>.

Das kartesische Produkt <math>\Z \times \Z</math> mit komponentenweiser Addition ist frei abelsch mit Basis <math>\{(1,0),(0,1)\}</math>.

Allgemein ist <math>\Z^r</math> frei abelsch mit Basis <math>\{e_1, \dotsc, e_r\}</math> wobei <math>e_i = (0, \dotsc, 0, 1, 0, \dotsc, 0)</math> der <math>i</math>-te Einheitsvektor ist.

Die Menge <math>\Z^{(\N)}</math> der [[Folge (Mathematik)|Folgen]] ganzer Zahlen, die nur endlich viele von 0 verschiedene Komponenten haben, ist mit der komponentenweisen Addition eine freie abelsche Gruppe; eine Basis bilden die kanonischen [[Einheitsvektor]]en <math>(0, \dotsc, 0, 1, 0, \dotsc)</math>.

Hingegen ist die Menge <math>\Z^\N</math> ''aller'' Folgen ganzer Zahlen mit der komponentenweisen Addition zwar eine abelsche Gruppe, aber nicht frei abelsch.

Endliche abelsche Gruppen (außer der einelementigen Gruppe) sind keine freien abelschen Gruppen.

Jede freie abelsche Gruppe ist [[Torsionsuntergruppe|torsionsfrei]], aber umgekehrt ist nicht jede torsionsfreie abelsche Gruppe auch frei abelsch. Zum Beispiel ist <math>(\Q,+)</math> nicht frei abelsch.

== Konstruktion ==
Zu jeder Menge <math>B</math> kann eine freie abelsche Gruppe mit Basis <math>B</math> wie folgt konstruiert werden: Wir betrachten die Menge <math>F(B) = \Z^{(B)}</math> aller Funktionen <math>B \to \Z</math> der Menge <math>B</math> in die Gruppe <math>\Z</math> der [[Ganze Zahlen|ganzen Zahlen]], die nur an endlich vielen Stellen von <math>0</math> verschiedene Werte annehmen. Diese Menge ist eine abelsche Gruppe mit der punktweisen Addition. Wir identifizieren jedes Element <math>b \in B</math> mit seiner charakteristischen Funktion, also mit jener Funktion <math>B \to \Z</math>, die an der Stelle <math>b</math> den Wert <math>1</math> annimmt und sonst den Wert <math>0</math>. Dann ist <math>F(B)</math> frei abelsch mit Basis <math>B</math>.

Die freie abelsche Gruppe über der Menge <math>B</math> ist in folgendem Sinne eindeutig: Sind <math>F_1</math> und <math>F_2</math> zwei freie abelsche Gruppen mit Basis <math>B</math>, dann sind sie kanonisch [[Isomorphismus|isomorph]], das heißt, es gibt genau einen Isomorphismus <math>h \colon F_1 \to F_2</math> mit <math>h(b)=b</math> für alle <math>b \in B</math>.
Diese Eindeutigkeit erlaubt es, von ''der'' freien abelschen Gruppe mit Basis <math>B</math> zu sprechen.

== Rang ==
Ist eine abelsche Gruppe <math>F</math> sowohl frei über <math>B</math> als auch frei über <math>B'</math>, dann haben die Mengen <math>B</math> und <math>B'</math> dieselbe [[Mächtigkeit (Mathematik)|Mächtigkeit]]. Diese heißt '''Rang''' der freien abelschen Gruppe <math>F</math>. Nach obiger Konstruktion gibt es für jede Mächtigkeit <math>n</math> bis auf Isomorphie genau eine freie abelsche Gruppe vom Rang <math>n</math>.

Um zu beweisen, dass der Rang eindeutig bestimmt ist, kann man auf verschiedene Arten vorgehen.
Für eine freie abelsche Gruppe <math>F = F(B)</math> über einer Menge <math>B</math> endlicher Mächtigkeit <math>n \in \N</math> gelingt dies besonders einfach:
Aufgrund der universellen Abbildungseigenschaft von <math>F</math> besteht die Menge <math>\mathrm{Hom}(F,C_2)</math> aller Gruppenhomomorphismen in die zyklische Gruppe <math>C_2</math> aus genau <math>2^n</math> Elementen.
Damit ist <math>n</math> durch die Gruppe <math>F</math> eindeutig festgelegt.

Allgemein kann der Rang einer freien abelschen Gruppe <math>F</math> definiert werden als die Dimension des Vektorraums <math>F \otimes K</math> über einem Körper <math>K</math> (üblicherweise <math>K = \Q</math>).
Diese Dimension ist eindeutig durch die Gruppe <math>F</math> bestimmt.
Diese Definition kann auch benutzt werden, um allen abelschen Gruppen (ob frei oder nicht) einen Rang zuzuweisen, siehe [[Rang einer abelschen Gruppe]].

== Basiswechsel und Automorphismen ==
Eine freie abelsche Gruppe <math>F</math> vom Rang <math>r \ge 2</math> hat unendlich viele Basen.
Jeder Automorphismus <math>h \colon F \to F</math> sendet eine Basis <math>B = (b_1, \dotsc, b_r)</math> auf eine neue Basis <math>B' = (h(b_1), \dotsc ,h(b_r))</math>. Umgekehrt existiert zu je zwei solchen Basen <math>B</math> und <math>B'</math> genau ein Automorphismus <math>h \colon F \to F</math>.
Da jede frei abelsche Gruppe <math>F</math> vom Rang <math>r</math> zu <math>\Z^r</math> isomorph ist, ist die Automorphismengruppe <math>\mathrm{Aut}(F)</math> zur linearen Gruppe <math>\mathrm{GL}_r(\Z)</math> isomorph.
Das deutet bereits an: Selbst wenn die freien abelschen Gruppen selbst sehr leicht zu verstehen sind, so sind doch ihre Automorphismengruppen hochgradig kompliziert und interessant.

== Gruppenhomomorphismen und Matrizen ==
Freie abelsche Gruppen haben viele angenehme Eigenschaften, ähnlich wie Vektorräume und/oder allgemein freie Moduln.
Zum Beispiel lässt sich jeder Gruppenhomomorphismus <math>h \colon F \to G</math> zwischen frei abelschen Gruppen endlichen Rangs als Matrix über <math>\Z</math> darstellen. Hierzu sei <math>(f_1, \dotsc, f_s)</math> eine Basis von <math>F</math> und <math>(g_1, \dotsc, g_r)</math> eine Basis von <math>G</math>. Das Bild <math>h(f_j)</math> in <math>G</math> schreibt sich eindeutig als <math>h(f_j) = a_{1j} g_1 + \dotsb + a_{rj} g_r</math> mit Koeffizienten <math>a_{ij} \in \Z</math>.
Das Zahlenschema <math>(a_{ij})</math> mit <math>i=1, \dotsc, r</math> und <math>j=1, \dotsc, s</math> bildet eine <math>r \times s</math>-Matrix. Umgekehrt entspricht jeder Matrix auf diese Weise genau ein Gruppenhomomorphismus.
Für Addition und Multiplikation von Matrizen gelten die üblichen Rechenregeln, und diese entsprechen der Addition und Komposition von Homomorphismen.
Dies führt zu sehr effizienten Darstellungen und Berechnungsmethoden.

== Untergruppen ==
In einer frei abelschen Gruppe <math>F</math> ist jede [[Untergruppe]] <math>U \subset F</math> frei abelsch.
Dies ist keineswegs selbstverständlich und gilt nicht allgemein für Moduln über Ringen.
(Über dem Polynomring <math>\Z[X]</math> zum Beispiel ist <math>\Z[X]</math> ein freier Modul mit Basis <math>1</math>, aber der Untermodul <math>(2,X)</math> ist nicht frei.)

Zudem ist der Rang einer Untergruppe <math>U \subset F</math> einer frei abelschen Gruppe <math>F</math> stets kleiner oder gleich dem Rang der gesamten Gruppe <math>F</math>.
Dies ist nicht selbstverständlich und gilt nicht für [[freie Gruppe]]n.
(Zum Beispiel enthält die freie Gruppe vom Rang <math>2</math> Untergruppen von jedem Rang <math>r \in \N</math>.)

Die Untergruppen einer frei abelschen Gruppe <math>F</math> vom Rang <math>r</math> lassen sich wie folgt klassifizieren.
Jede Untergruppe <math>U \subset F</math> hat Rang <math>s</math> mit <math>0 \le s \le r</math>, und es gibt eine Basis <math>(b_1, \dotsc, b_r)</math> von <math>F</math> und ganze Zahlen <math>k_1, \dotsc, k_s \in \Z \setminus \{0\},</math> sodass <math>(k_1 b_1, \dotsc, k_s b_s)</math> eine Basis von <math>U</math> ist.
Dies lässt sich mit Hilfe des Gauß’schen Algorithmus für ganzzahlige Matrizen beweisen.

== Anwendung auf endlich erzeugte abelsche Gruppen ==
Freie abelsche Gruppen spielen eine wichtige Rolle bei der [[Hauptsatz über endlich erzeugte abelsche Gruppen|Klassifikation endlich erzeugter abelscher Gruppen]].
Jede endlich erzeugte abelsche Gruppe <math>A</math> ist das homomorphe Bild einer freien abelschen Gruppe, also eines Epimorphismus <math>h \colon \Z^r \to A</math>. Der Kern ist wieder eine freie abelsche Gruppe und es gibt eine Basis <math>(b_1, \dotsc, b_r)</math> von <math>\Z^r</math> und ganze Zahlen <math>k_1, \dotsc, k_s \in \Z \setminus \{0\},</math> sodass <math>(k_1 b_1, \dotsc, k_s b_s)</math> eine Basis von <math>\ker(h)</math> ist.
Aus dieser Darstellung erhält man unmittelbar einen Gruppenisomorphismus <math>A \cong \Z/k_1 \oplus \dotsb \oplus \Z/k_s \oplus \Z^{r-s}</math>.

== Literatur ==
* [[Gisbert Wüstholz]]: ''Algebra. Für Studierende der Mathematik, Physik, Informatik.'' Vieweg, Wiesbaden 2004, ISBN 3-528-07291-1.

[[Kategorie:Gruppe (Mathematik)]]

Freie abelsche Gruppe - Versionsgeschichte

imported>Nukelavee: /* growthexperiments-addlink-summary-summary:2|0|0 */