Nilpotente Gruppe

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

Nilpotente Gruppe ist ein Begriff aus dem Bereich der Gruppentheorie, einem Teilgebiet der Mathematik. In gewissem Sinn verallgemeinert er für endliche Gruppen den Begriff der kommutativen Gruppe „so wenig wie möglich“: Jede kommutative Gruppe ist nilpotent, aber nicht umgekehrt. Endliche kommutative Gruppen lassen sich (bis auf Isomorphie) eindeutig als direktes Produkt von endlich vielen zyklischen Gruppen von Primzahlpotenzordnung darstellen. Dies ist eine Aussage des Hauptsatzes über endlich erzeugte abelsche Gruppen. Bei nilpotenten Gruppen übernehmen die p-Sylowgruppen die Rolle der zyklischen Gruppen: Jede nilpotente Gruppe ist (bis auf Isomorphie) ein direktes Produkt ihrer p-Sylowgruppen. Die Definition des Begriffs „nilpotente Gruppe“ beruht auf dem allgemeineren Konzept einer Kette von Untergruppen (mit bestimmten Eigenschaften), das im Artikel „Reihe (Gruppentheorie)“ erläutert wird.

[Bearbeiten] Definition

Sei G eine Gruppe, dann ist das Zentrum $C 1 (G) = C (G)$ der Gruppe ein Normalteiler von G. Das Urbild des Zentrums $C (G / C (G))$ unter der kanonischen Projektion $G\rightarrow C(G)$ wird als $C 2 (G)$ notiert. Setzt man dies weiter fort, so kommt man zu einer aufsteigenden Reihe von Untergruppen

$1=C_0(G) < C_1(G) < C_2(G)<\cdots$

der aufsteigenden Zentralreihe von G. Jede Gruppe in der Reihe ist eine charakteristische Untergruppe, also erst recht Normalteiler von G, daher gilt $C_k(G) \triangleleft C_{k+1}(G)$ . Die Zentralreihe ist eine Normalreihe von G.

Eine Gruppe, deren Zentralreihe bis zur Gruppe selbst aufsteigt, für die also eine Zahl n existiert, mit der $C n (G) = G$ gilt, heißt nilpotent, die kleinste Zahl n mit dieser Eigenschaft Nilpotenzgrad der Gruppe G.

[Bearbeiten] Eigenschaften

Jede Untergruppe und jedes homomorphe Bild einer nilpotenten Gruppe ist nilpotent.
Jede nilpotente Gruppe ist auflösbar. (Die Umkehrung ist im allgemeinen falsch.)

[Bearbeiten] Klassifikation

Das direkte Produkt nilpotenter Gruppen ist nilpotent, falls die Nilpotenzgrade der Faktoren beschränkt sind.
Jede endliche p-Gruppe ist nilpotent. Eine unendliche p-Gruppe ist nilpotent, wenn die Ordnung der Gruppenelemente beschränkt ist. (Beachte, dass diese Forderung stärker ist, als die Forderung endlicher Ordnung für Gruppenelemente, die durch die Definition der p-Gruppe ohnehin gewährleistet ist.)
Eine endliche nilpotente Gruppe ist isomorph zum direkten Produkt ihrer p-Sylow-Untergruppen. Man beachte dabei, dass jede Gruppe zu jeder Primzahl p genau eine (ggf. triviale) p-Sylow-Untergruppe besitzt.

[Bearbeiten] Beispiele

Eine Gruppe ist genau dann nilpotent vom Nilpotenzgrad 1, wenn sie abelsch ist.

Es sei $K$ ein Körper und $n$ eine natürliche Zahl. Die Menge der n×n-Matrizen der Form

$\begin{pmatrix}1&*&\cdots&*\\0&1&\ddots&\vdots \\ \vdots & \ddots & \ddots & *\\ 0 & \cdots & 0 & 1 \end{pmatrix}$ (dabei stehen die Sterne für beliebige Elemente von

K

)

ist eine Untergruppe der Gruppe der invertierbaren n×n-Matrizen, die Gruppe der strikten oberen Dreiecksmatrizen. Sie ist nilpotent mit Nilpotenzgrad