Freie abelsche Gruppe

Freie abelsche Gruppe

In der Mathematik ist eine freie abelsche Gruppe eine abelsche Gruppe, die eine Basis hat. Das bedeutet, dass jedes Element der Gruppe auf genau eine Weise als Linearkombination von Elementen der Basis mit ganzzahligen Koeffizienten geschrieben werden kann.

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 nicht abelsch, 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 1 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.

Inhaltsverzeichnis

Definition

Die abelsche Gruppe F heißt frei über B \subset F, wenn sich jedes Element von F auf genau eine Weise als \Z-Linearkombination über B darstellen lässt.

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

Alternative Definitionen

Die Bedingung, dass die abelsche Gruppe F frei über B ist, lässt sich in zwei Teile aufteilen:

  • B ist ein Erzeugendensystem für die Gruppe F, das heißt jedes Element von F ist eine \Z-Linearkombination über B.
  • B ist frei, das heißt das neutrale Element 0 kann nur auf die triviale Weise als \Z-Linearkombination über B dargestellt werden.

Jede abelsche Gruppe ist auf natürliche Weise ein \Z-Modul. Freie abelsche Gruppen sind daher nichts anderes als freie Moduln über \Z.

Universelle Eigenschaft

Eine abelsche Gruppe F ist genau dann frei abelsch mit Basis B \subset F wenn sie folgende universelle Eigenschaft hat: Ist f \colon B \to A eine beliebige Abbildung der Menge B in eine abelsche Gruppe A, dann gibt es genau einen Gruppenhomomorphismus h \colon F \to A, der f fortsetzt, also h(b) = f(b) für alle b \in B 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 (\Z,+) der ganzen Zahlen ist frei abelsch mit Basis {1}.

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

Allgemein ist \Z^r frei abelsch mit Basis \{e_1,\dots,e_r\} wobei e_i = (0,\dots,0,1,0,\dots,0) der ite Einheitsvektor ist.

Die Menge \Z^{(\N)} 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 (0,\dots,0,1,0,\dots).

Hingegen ist die Menge \Z^\N 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 (Q, + ) nicht frei abelsch.

Konstruktion

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

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

Rang

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

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

Allgemein kann der Rang einer freien abelschen Gruppe F definiert werden als die Dimension des Vektorraums F \otimes K über einem Körper K (üblicherweise K = \Q). Diese Dimension ist eindeutig durch die Gruppe F 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 F vom Rang r \ge 2 hat unendlich viele Basen. Jeder Automorphismus h \colon F \to F sendet eine Basis B = (b_1,\dots,b_r) auf eine neue Basis B' = (h(b_1),\dots,h(b_r)). Umgekehrt existiert zu je zwei solchen Basen B und B' genau ein Automorphismus h \colon F \to F. Da jede frei abelsche Gruppe F vom Rang r zu \Z^r isomorph ist, ist die Automorphismengruppe Aut(F) zur linearen Gruppe \mathrm{GL}_r(\Z) 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 h \colon F \to G zwischen frei abelschen Gruppen endlichen Rangs als Matrix über \Z darstellen. Hierzu sei (f_1,\dots,f_s) eine Basis von F und (g_1,\dots,g_r) eine Basis von G. Das Bild h(fj) in G schreibt sich eindeutig als h(f_j) = a_{1j} g_1 + \dots + a_{rj} g_r mit Koeffizienten a_{ij} \in \Z. Das Zahlenschema (aij) mit i=1,\dots,r und j=1,\dots,s bildet eine r \times s-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 F ist jede Untergruppe U \subset F frei abelsch. Dies ist keineswegs selbstverständlich und gilt nicht allgemein für Moduln über Ringen. (Über dem Polynomring \Z[X] zum Beispiel ist \Z[X] ein freier Modul mit Basis 1, aber der Untermodul (2,X) ist nicht frei.)

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

Die Untergruppen einer frei abelschen Gruppe F vom Rang r lassen sich wie folgt klassifizieren. Jeder Untergruppe U \subset F hat Rang s mit 0 \le s \le r, und es gibt eine Basis (b_1,\dots,b_r) von F und ganze Zahlen k_1,\dots,k_s \in \Z \setminus \{0\} so dass (k_1 b_1,\dots,k_s b_s) eine Basis von U 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 A ist das homomorphe Bild einer freien abelschen Gruppe, also eines Epimorphismus h \colon \Z^r \to A. Der Kern ist wieder eine freie abelsche Gruppe und es gibt eine Basis (b_1,\dots,b_r) von \Z^r und ganze Zahlen k_1,\dots,k_s \in \Z \setminus \{0\} so dass (k_1 b_1,\dots,k_s b_s) eine Basis von ker(h) ist. Aus dieser Darstellung erhält man unmittelbar einen Gruppenisomorphismus A \cong \Z/k_1 \oplus \dots \oplus \Z/k_s \oplus \Z^{r-s}.

Literatur

Gisbert Wüstholz: Algebra. Vieweg 2004. ISBN 3-528-07291-1


Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Frei abelsche Gruppe — In der Mathematik ist eine freie abelsche Gruppe eine abelsche Gruppe, die eine Basis hat, so dass jedes Element der Gruppe auf genau eine Weise als endliche Linearkombination der Basis mit ganzzahligen Koeffizienten geschrieben werden kann. Im… …   Deutsch Wikipedia

  • Freie Gruppe — In der Mathematik heißt eine Gruppe frei, wenn sie eine Teilmenge S enthält, so dass jedes Gruppenelement auf genau eine Weise als (reduziertes) Wort von Elementen in S und deren Inversen geschrieben werden kann. Hierbei ist die Reihenfolge der… …   Deutsch Wikipedia

  • Kommutative Gruppe — Abelsche Gruppe (=kommutative Gruppe) (Axiome EANIK) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma ( …   Deutsch Wikipedia

  • S3 (Gruppe) — S3 bezeichnet im mathematischen Teilgebiet der Gruppentheorie eine bestimmte symmetrische Gruppe mit 6 Elementen. Alternative Bezeichnungen sind , Sym3 oder D3 (Diedergruppe). Geometrisch entsteht die S3 als Gruppe der Kongruenzabbildungen des… …   Deutsch Wikipedia

  • Abelgruppe — Abelsche Gruppe (=kommutative Gruppe) (Axiome EANIK) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma ( …   Deutsch Wikipedia

  • Abelsch — Abelsche Gruppe (=kommutative Gruppe) (Axiome EANIK) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma ( …   Deutsch Wikipedia

  • Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Euklidisch — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Fehlstand — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

  • Integrabel — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”