Zyklische Gruppe - LinkFang.de





Zyklische Gruppe


In der Gruppentheorie ist eine zyklische Gruppe eine Gruppe, die von einem einzelnen Element [math]a[/math] erzeugt wird. Sie besteht nur aus Potenzen des Erzeugers [math]a[/math]:

[math]\left\langle a \right\rangle := \lbrace a^n \mid n \in \Z \rbrace.[/math]

Eine Gruppe [math]G[/math] ist also zyklisch, wenn sie ein Element [math]a[/math] enthält, sodass jedes Element von [math]G[/math] eine Potenz von [math]a[/math] ist. Gleichbedeutend damit ist, dass es ein Element [math]a[/math] gibt, sodass [math]G[/math] selbst die einzige Untergruppe von [math]G[/math] ist, die [math]a[/math] enthält. In diesem Fall wird [math]a[/math] ein erzeugendes Element oder kurz ein Erzeuger von [math]G[/math] genannt.

Zyklische Gruppen sind die einfachsten Gruppen und können vollständig klassifiziert werden: Für jede natürliche Zahl [math]n[/math] (für diese Aussage betrachten wir 0 nicht als natürliche Zahl) gibt es eine zyklische Gruppe [math]C_n[/math] mit genau [math]n[/math] Elementen, und es gibt die unendliche zyklische Gruppe, die additive Gruppe der ganzen Zahlen [math]\Z[/math]. Jede andere zyklische Gruppe ist zu einer dieser Gruppen isomorph.

Veranschaulichung

Drehgruppen

Die endlichen zyklischen Gruppen können veranschaulicht werden als Drehgruppen regulärer Vielecke in der Ebene. Zum Beispiel besteht die Gruppe [math]C_4[/math] aus den möglichen Drehungen der Ebene, die ein vorgegebenes Quadrat in sich überführen.

Die obenstehende Abbildung zeigt ein Quadrat A und die Stellungen B, C und D, in die es durch Drehen überführt werden kann. Darunter ist jeweils die dazu nötige Drehung angegeben. Die Elemente der zyklischen Gruppe sind hier die Bewegungen und nicht die Stellungen des Quadrats. Das heißt, die Gruppe [math]C_4[/math] besteht in dieser Darstellung aus der Menge {0°, 90°, 180°, 270°}. Die Verknüpfung der Elemente ist die Hintereinanderausführung der Drehungen; das entspricht einer Addition der Winkel. Dabei stimmt die Drehung um 360° mit der Drehung um 0° überein, die Winkel werden also genau genommen modulo 360° addiert.

Lässt man nicht nur Drehungen der Ebene zu, sondern auch Spiegelungen, dann erhält man im Fall von Vielecken die so genannten Diedergruppen.

Beachte auch, dass die Drehgruppe des Kreises, [math]S^1[/math], nicht zyklisch ist.

Restklassengruppen

Eine andere Darstellung einer zyklischen Gruppe liefert die Addition modulo einer Zahl, die so genannte Restklassenarithmetik. In der additiven Gruppe [math](\Z/n\Z, +)[/math] ist die Restklasse der 1 ein Erzeuger, das heißt, man kann jede andere Restklasse erhalten, indem man die 1 wiederholt mit sich selbst addiert. Am Beispiel [math]\Z/4\Z = \{0, 1, 2, 3\}[/math] bedeutet dies, dass sich alle 4 Elemente als Summe von 1 darstellen lassen, also 1 = 1, 2 = 1+1, 3 = 1+1+1, 0 = 1+1+1+1. Die Restklassengruppe [math]\Z/4\Z[/math] verhält sich genauso wie die oben beschriebene Drehgruppe {0°, 90°, 180°, 270°}: 0 entspricht 0°, 1 entspricht 90° usw: Diese beiden Gruppen sind isomorph.

Schreibweisen

Für endliche zyklische Gruppen gibt es im Wesentlichen drei Schreibweisen: [math]C_n[/math], [math]\Z / n\Z[/math] und [math]\Z_n[/math]. Für nichtendliche zyklische Gruppen stehen die beiden Schreibweisen [math]C_\infty[/math] und [math]\Z[/math] zur Verfügung. Als Gruppenoperation wird in [math]C_n[/math] meist die Multiplikation und in [math]\Z[/math], [math]\Z / n\Z[/math] und [math]\Z_n[/math] die Addition verwendet.

Die Schreibweisen [math]\Z / n\Z[/math], [math]\Z_n[/math] und [math]\Z[/math] rühren daher, dass die additiven Gruppen der Restklassenringe [math]\Z/n\Z[/math] und von [math]\Z[/math] selbst die bekanntesten Vertreter zyklischer Gruppen sind. Im Gegensatz zur [math]C[/math]-Schreibweise verleiten sie jedoch dazu, das Vorhandensein einer Ringstruktur anzunehmen. Die Bezeichnung [math]\Z_n[/math] wird zudem auch noch im Zusammenhang mit p-adischen Zahlen verwendet.

Eigenschaften

Alle zyklischen Gruppen sind abelsche Gruppen.

Eine zyklische Gruppe kann mehrere Erzeuger haben. Die Erzeuger von [math]\Z[/math] sind +1 und -1, die Erzeuger von [math]\Z/n\Z[/math] sind die Restklassen, die teilerfremd zu [math]n[/math] sind; ihre Anzahl [math]\varphi(n)[/math] wird von der Eulerschen φ-Funktion angegeben.

Ist allgemein [math]d[/math] ein Teiler von [math]n[/math], dann ist [math]\varphi(d)[/math] die Anzahl der Elemente von [math]\Z/n\Z[/math], die die Ordnung [math]d[/math] haben:

[math]\Big| \{m \in \Z/n\Z \mid \text{ord}(m) = d\} \Big| = \varphi(d)[/math].

Das direkte Produkt zweier zyklischer Gruppen [math]C_n[/math] und [math]C_m[/math] ist genau dann zyklisch, wenn [math]n[/math] und [math]m[/math] teilerfremd sind; in diesem Fall ist das Produkt isomorph zu [math]C_{mn}[/math].

Jede endlich erzeugte abelsche Gruppe ist direktes Produkt endlich vieler zyklischer und unendlich zyklischer Gruppen.

Der Gruppenexponent einer endlichen zyklischen Gruppe ist gleich ihrer Ordnung. Jede endliche zyklische Gruppe ist isomorph zur additiven Gruppe des Restklassenring [math]\Z/n\Z[/math], der Isomorphismus ist dabei der diskrete Logarithmus: Ist [math]a[/math] ein Erzeuger von [math]C_n[/math], dann ist die Abbildung

[math]a^t \mapsto t[/math] mod [math]n[/math]

ein Isomorphismus.

Untergruppen und Faktorgruppen

Alle Untergruppen und Faktorgruppen von zyklischen Gruppen sind zyklisch. Insbesondere sind die Untergruppen von [math]\Z[/math] von der Form [math]m\Z[/math] mit einer natürlichen Zahl [math]m[/math] zyklisch. Alle diese Untergruppen sind verschieden, und für [math]m\not=0[/math] sind sie isomorph zu [math]\Z[/math].

Der Verband der Untergruppen von [math]\Z[/math] ist isomorph zum dualen Verband der natürlichen Zahlen mit der Teilbarkeit. Alle Faktorgruppen von [math]\Z[/math] sind endlich, mit Ausnahme der trivialen Faktorgruppe [math]\Z/\{0\}[/math].

Für jeden positiven Teiler [math]d[/math] von [math]n[/math] hat die Gruppe [math]\Z/n\Z[/math] genau eine Untergruppe der Ordnung [math]d[/math], nämlich die von dem Element [math]n/d[/math] erzeugte Untergruppe [math]\left\{kn/d \mid k=0,\ldots,d-1\right\}[/math]. Andere als diese Untergruppen gibt es nicht. Der Untergruppenverband ist deshalb isomorph zum Teilerverband von [math]n[/math].

Eine zyklische Gruppe ist genau dann einfach, wenn ihre Ordnung eine Primzahl ist.

Endomorphismen und Automorphismen

Der Endomorphismenring (siehe Gruppenhomomorphismus) der Gruppe [math]C_n[/math] ist Ring-isomorph zum Restklassenring [math]\Z/n\Z[/math]. Unter diesem Isomorphismus entspricht die Restklasse [math]r[/math] von [math]\Z/n\Z[/math] dem Endomorphismus von [math]C_n[/math], der jedes Element auf seine [math]r[/math]-te Potenz abbildet. Daraus folgt, dass die Automorphismengruppe von [math]C_n[/math] isomorph zur Gruppe [math](\Z/n\Z)^*[/math], der Einheitengruppe des Rings [math]\Z/n\Z[/math], ist. Diese Gruppe besteht aus den Elementen, die teilerfremd zu [math]n[/math] sind, und hat somit genau [math]\phi(n)[/math] Elemente.

Der Endomorphismenring der zyklischen Gruppe [math]\Z[/math] ist isomorph zum Ring [math]\Z[/math], und die Automorphismengruppe ist isomorph zur Einheitengruppe [math]\left\{+1,-1\right\}[/math] von [math]\Z[/math], und diese ist isomorph zur zyklischen Gruppe [math]C_2[/math].

Algebraische Eigenschaften

Ist [math]n[/math] eine natürliche Zahl, dann ist [math](\Z/n\Z)^*[/math] genau dann zyklisch, wenn [math]n[/math] gleich 2, 4, [math]p^k[/math] oder [math]2p^k[/math] ist, für eine Primzahl [math]p\gt2[/math] und eine natürliche Zahl [math]k[/math]. Die Erzeuger dieser zyklischen Gruppe heißen Primitivwurzeln modulo [math]n[/math].

Insbesondere ist für jede Primzahl [math]p[/math] die Gruppe [math](\Z/p\Z)^*[/math] zyklisch mit [math]p[/math]-1 Elementen. Allgemeiner ist jede endliche Untergruppe der multiplikativen Gruppe eines Körpers zyklisch.

Die Galoisgruppe einer endlichen Körpererweiterung eines endlichen Körpers ist eine endliche zyklische Gruppe. Umgekehrt gibt es für jeden endlichen Körper [math]K[/math] und jede endliche zyklische Gruppe [math]G[/math] eine endliche Körpererweiterung [math]L/K[/math] mit Galoisgruppe [math]G[/math].

Siehe auch

Literatur


Kategorien: Gruppentheorie | Endliche Gruppe

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Zyklische 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.