Freie abelsche Gruppe - LinkFang.de





Freie abelsche Gruppe


In der Mathematik ist eine freie abelsche Gruppe eine abelsche Gruppe, die als [math]\Z[/math]-Modul eine Basis hat.

Im Gegensatz zu 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]-Moduls [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 Summe von Elementen aus [math]B[/math] bezeichnet. Beispielsweise werden in der Definition der singulären Homologie die formalen Summen singulärer Simplizes oder in der Definition der Blochgruppe die formalen Summen 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 aufteilen:

  • [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 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 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 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,\dots,e_r\}[/math] wobei [math]e_i = (0,\dots,0,1,0,\dots,0)[/math] der [math]i[/math]-te Einheitsvektor ist.

Die Menge [math]\Z^{(\N)}[/math] der 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 Einheitsvektoren [math](0,\dots,0,1,0,\dots)[/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 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 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 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. 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]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,\dots,b_r)[/math] auf eine neue Basis [math]B' = (h(b_1),\dots,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 freien 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,\dots,f_s)[/math] eine Basis von [math]F[/math] und [math](g_1,\dots,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 + \dots + a_{rj} g_r[/math] mit Koeffizienten [math]a_{ij} \in \Z[/math]. Das Zahlenschema [math](a_{ij})[/math] mit [math]i=1,\dots,r[/math] und [math]j=1,\dots,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 Gruppen. (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. Jeder 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,\dots,b_r)[/math] von [math]F[/math] und ganze Zahlen [math]k_1,\dots,k_s \in \Z \setminus \{0\}[/math] so dass [math](k_1 b_1,\dots,k_s b_s)[/math] eine Basis von [math]U[/math] ist. Dies lässt sich mit Hilfe des Gauss'schen Algorithmus für ganzzahlige Matrizen beweisen.

Anwendung auf endlich erzeugte abelsche Gruppen

Freie abelsche Gruppen spielen eine wichtige Rolle bei der 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,\dots,b_r)[/math] von [math]\Z^r[/math] und ganze Zahlen [math]k_1,\dots,k_s \in \Z \setminus \{0\}[/math] so dass [math](k_1 b_1,\dots,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 \dots \oplus \Z/k_s \oplus \Z^{r-s}[/math].

Literatur


Kategorien: Gruppentheorie | Gruppe (Mathematik)

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Freie abelsche Gruppe (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.