Abelsche Gruppe

Abelsche Gruppe

Eine abelsche Gruppe (nach dem norwegischen Mathematiker Niels Henrik Abel) ist in der Gruppentheorie eine Gruppe (G,\cdot), für die das Kommutativgesetz

a \cdot b = b \cdot a  für alle  a, b \in G

gilt.

Ist eine Gruppe abelsch, dann schreibt man ihre Verknüpfung meist additiv (Operator „+“; 0 als das neutrale Element oder Nullelement; −a als das Inverse oder Negative von a) oder multiplikativ (Operator „·“; 1 als das neutrale Element oder Einselement; a − 1 als das Inverse oder Kehrwert von a).

Inhaltsverzeichnis

Beispiele

Jede zyklische Gruppe ist abelsch; Beispiele sind die additive Gruppe (\Bbb Z, +) der ganzen Zahlen oder der Restklassenring (\Bbb Z/n\Bbb Z, +) mit der Addition.

Die reellen Zahlen bilden eine abelsche Gruppe mit der Addition; ohne die Null bilden sie eine abelsche Gruppe mit der Multiplikation.

Allgemeiner liefert jeder Körper (K, +, \cdot) in derselben Weise zwei abelsche Gruppen \left(K, +\right) und (K\setminus\{0\}, \cdot).

Ein weiteres Beispiel ist die Faktorgruppe \Bbb Q/\Bbb Z, die isomorph zur (multiplikativen) Gruppe der komplexen Einheitswurzeln ist. Die Faktorgruppe \R/\Bbb Z ist isomorph zur Gruppe aller komplexen Zahlen mit Betrag 1.

Hingegen ist die Gruppe (\mathrm{GL}_n(R), \cdot) der invertierbaren Matrizen über einem Ring R für n > 1 ein Beispiel für eine nicht-abelsche Gruppe.

Eigenschaften

Für eine (kleine) endliche Gruppe erkennt man leicht, ob sie abelsch ist:

Genau dann, wenn eine Gruppe abelsch ist, ist ihre Verknüpfungstafel symmetrisch zur Hauptdiagonalen, die von links oben nach rechts unten führt.

Ist n eine natürliche Zahl und x ein Element der abelschen Gruppe G, dann kann man nx definieren als die Summe x+x+\cdots+x mit genau n Summanden, 0x als 0 (das neutrale Element der Gruppe) und (−n)x als −(nx). Auf diese Weise wird G zu einem Modul über dem Ring  \mathbb{Z} . Da jeder  \Z -Modul eine abelsche Gruppe ist, kann man also die  \Z -Moduln mit den abelschen Gruppen identifizieren. Theoreme über abelsche Gruppen können so oft verallgemeinert werden zu Sätzen für Moduln über Hauptidealringen. Ein Beispiel ist die Klassifikation endlich erzeugter abelscher Gruppen (siehe unten).

Jede Untergruppe einer abelschen Gruppe ist ein Normalteiler, also kann man zu jeder Untergruppe eine Faktorgruppe erzeugen. Untergruppen, Faktorgruppen, Produkte und direkte Summen abelscher Gruppen sind wieder abelsch.

Sind f, g\colon G \to H zwei Gruppenhomomorphismen zwischen abelschen Gruppen, dann ist ihre Summe f + g, definiert durch

\left(f+g\right)\left(x\right) = f\left(x\right)+g\left(x\right)

ebenfalls ein Homomorphismus. (Das gilt im Allgemeinen nicht, wenn H nicht abelsch ist.) Die Menge \operatorname{Hom}(G, H) aller Gruppenhomomorphismen wird mit dieser Addition selbst zu einer abelschen Gruppe.

Die abelschen Gruppen mit ihren Homomorphismen bilden eine Kategorie. Diese ist der Prototyp einer abelschen Kategorie.

Viele abelsche Gruppen haben eine natürliche Topologie, durch die sie zu topologischen Gruppen werden.

Zusätzliche Attribute

  • Eine abelsche Gruppe ist genau dann endlich erzeugt, wenn es eine endliche Menge E = \{e_1, \ldots, e_k\} gibt, so dass sich jedes Element in der Form
a_1\cdot e_1+ \cdots +a_k \cdot e_k
mit ganzen Zahlen a_1, \ldots, a_k schreiben lässt. Insbesondere ist jede endliche abelsche Gruppe endlich erzeugt.
  • Die Eigenschaften frei und projektiv sind äquivalent, ebenso torsionsfrei und flach.
  • Eine abelsche Gruppe G heißt teilbar, wenn für alle  n \in \N gilt:  n\cdot 
G = G (das heißt, zu jedem  g\in G gibt es ein  x\in G , so dass  n\cdot x = g gilt). Die abelsche Gruppe der rationalen Zahlen \Q mit der Addition als Verknüpfung ist eine teilbare Gruppe.[1]

Strukturtheorie

  • Vollständig klassifiziert sind die endlich erzeugten abelschen Gruppen. Sie sind nämlich direkte Summen endlich vieler zyklischer Gruppen. Diese kann man übrigens so wählen, dass - bei passender Reihenfolge - die Ordnung jeder dieser Gruppen (ab der zweiten, und so weit endlich) ein Vielfaches der Ordnung der vorhergehenden ist, wobei allfällige unendliche unter ihnen an den Schluss gestellt werden. Außerdem sind diese Gruppenordnungen (mit dieser Reihenfolge) dann eindeutig bestimmt.
  • Für beliebige abelsche Gruppen kann man analog zum Begriff der Dimension eines Vektorraums jeder abelschen Gruppe ihren Rang zuordnen. Er ist definiert als die größte Mächtigkeit einer \mathbb{Z}-linear unabhängigen Teilmenge. Die ganzen Zahlen und die rationalen Zahlen \mathbb{Q} haben Rang 1, so wie jede Untergruppe von \mathbb{Q}. Die abelschen Gruppen vom Rang 1 sind gut verstanden, dagegen sind für höhere Ränge noch viele Fragen offen. Abelsche Gruppen mit unendlichem Rang können extrem komplex sein und ihre offenen Fragen sind oft eng verbunden mit Fragen der Mengenlehre.

Einzelnachweise

  1. Friedrich Kasch, Moduln und Ringe , Teubner 1977, Seite 86 , ISBN 3-519-02211-7

Literatur


Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

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

  • 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… …   Deutsch Wikipedia

  • 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

  • Geordnete abelsche Gruppe — Eine geordnete abelsche Gruppe ist eine mathematische Struktur. Es handelt sich um eine abelsche Gruppe, auf der zusätzlich eine mit der Gruppenstruktur verträgliche Ordnungsrelation gegeben ist, die man üblicher Weise mit bezeichnet (man liest… …   Deutsch Wikipedia

  • Endlich erzeugte abelsche Gruppe — Eine endlich erzeugte abelsche Gruppe ist eine abelsche Gruppe (G,+), in der es endlich viele Elemente gibt, sodass jedes in der Form geschrieben werden kann, wobei ganze Zahlen sind und die ni fache Verknüpfu …   Deutsch Wikipedia

  • Gruppe (Mathematik) — Gruppe (Axiome EANI) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma (Axiom E) Halbgruppe (EA) Monoid (EAN) …   Deutsch Wikipedia

  • Gruppe Mathematik — Gruppe (Axiome EANI) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma (Axiom E) Halbgruppe (EA) Monoid (EAN) …   Deutsch Wikipedia

  • Gruppe — Haufen; Menge; Partie; Posten; Klasse; Stand; Personenkreis; Kaste; Gesellschaftsschicht; Kohorte; Schicht; Kolonne; …   Universal-Lexikon

  • Gruppe der rationalen Punkte auf dem Einheitskreis — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Bitte hilf mit, die Mängel dieses… …   Deutsch Wikipedia

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

  • Ordnung einer Gruppe — Gruppe (Axiome EANI) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma (Axiom E) Halbgruppe (EA) Monoid (EAN) …   Deutsch Wikipedia

Share the article and excerpts

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