P-Gruppe

P-Gruppe

Für eine Primzahl p ist eine p-Gruppe in der Gruppentheorie eine Gruppe, in der die Ordnung jedes Elements eine Potenz von p ist. Das heißt, für jedes Element g der Gruppe gibt es eine natürliche Zahl n, so dass g hoch pn gleich dem neutralen Element der Gruppe ist.

Eine endliche p-Gruppe ist einfach eine Gruppe von Primzahlpotenzordnung.

Die Sylow-Sätze ermöglichen es, p-Untergruppen von endlichen Gruppen mit kombinatorischen Methoden aufzufinden. Besonders wichtig sind dabei die maximalen p-Untergruppen, die Sylowgruppen einer endlichen Gruppe.

Inhaltsverzeichnis

Eigenschaften

  • Eine Untergruppe H einer Gruppe G heißt p-Untergruppe, wenn sie eine p-Gruppe ist.
  • Eine p-Untergruppe H einer Gruppe G heißt p-Sylowuntergruppe oder p-Sylowgruppe von G, wenn sie maximale p-Untergruppe von G ist. Das heißt, für jede p-Untergruppe U von G folgt aus  H \subseteq U, dass H = U gilt. (Dabei steht p hier für eine feste Primzahl.)

Beispiele

Sei p stets eine Primzahl.

Beispiele endlicher p-Gruppen:

  • Das direkte Produkt Cp × Cp ist eine abelsche p-Gruppe (nicht isomorph zu C).

Keine p-Gruppe ist z.B. die zyklische Gruppe C6, da sie Elemente der Ordnung 6 enthält, und 6 ist keine Primzahlpotenz.

Ebenso ist die symmetrische Gruppe S3 keine p-Gruppe, da sie Elemente der Ordnung 2 und Elemente der Ordnung 3 enthält, und diese Ordnungen nicht Potenzen derselben Primzahl sind.

Beispiel einer unendlichen p-Gruppe: Betrachte die Menge aller rationalen Zahlen, deren Nenner 1 oder eine Potenz der Primzahl p ist. Mit der Addition dieser Zahlen modulo 1 erhalten wir eine unendliche abelsche p-Gruppe.

Jede Gruppe, die zu G isomorph ist, heißt p-Gruppe. Gruppen dieses Typs sind wichtig bei der Klassifikation unendlicher abelscher Gruppen.

Die p-Gruppe kann auch beschrieben werden als die multiplikative Gruppe derjenigen komplexen Einheitswurzeln, deren Ordnung eine p-Potenz ist.

Weitere Eigenschaften

p-Gruppen sind spezielle Torsionsgruppen (dies sind Gruppen, in denen jedes Element endliche Ordnung hat).

Endliche p-Gruppen

Ist G eine endliche Gruppe, dann ist sie genau dann eine p-Gruppe, wenn ihre Ordnung (die Anzahl ihrer Elemente) selbst eine p-Potenz ist.

Das Zentrum einer endlichen p-Gruppe besteht nicht nur aus dem neutralen Element. Das zeigt man mit der Bahnenformel für die Konjugation.

Im Spezialfall einer Gruppe der Ordnung p2 kann man sogar noch mehr sagen: In diesem Fall ist die Gruppe abelsch. Man zeigt das, indem man allgemeiner beweist, dass die Faktorgruppe G/Z(G) der Gruppe modulo dem Zentrum nur dann eine zyklische Gruppe ist, wenn sie die triviale (einelementige) Gruppe {e} ist.

Jede endliche p-Gruppe ist nilpotent und auflösbar.

p-Gruppen derselben Ordnung müssen nicht isomorph sein, z.B. sind die zyklische Gruppe C4 und die Kleinsche Vierergruppe beides 2-Gruppen der Ordnung 4, aber nicht zueinander isomorph. Eine p-Gruppe muss auch nicht abelsch sein, z.B. ist die Diedergruppe D8 eine nichtabelsche 2-Gruppe.

Jede nichttriviale endliche Gruppe enthält eine Untergruppe, die p-Gruppe ist. Details dazu sind im Artikel Sylow-Sätze beschrieben.


Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

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

  • 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 — bezeichnet: Soziale Gruppe, eine Sammlung von mindestens drei Personen mit unmittelbaren Beziehungen zueinander Bevölkerungsgruppe, in der Demografie eine Zusammenfassung von Personen nach einzelnen statistischen Merkmalen Kerngruppe, eine rein… …   Deutsch Wikipedia

  • Gruppe der Zwanzig wichtigsten Industrie- und Schwellenländer — Die Gruppe der zwanzig wichtigsten Industrie und Schwellenländer (G 20) ist ein aus 19 Staaten und der Europäischen Union bestehender informeller Zusammenschluss. Sie soll als Forum für die Kooperation und Konsultation in Fragen des… …   Deutsch Wikipedia

  • Gruppe parallel — war eine Gruppe von Künstlern und Wissenschaftlern, die sich mit der Verbindung von Kunst und aktueller Wissenschaft und Technik auseinander setzte. Sie wurde 1968 in Ludwigshafen am Rhein gegründet, 1975 hat sie sich aus persönlichen Gründen… …   Deutsch Wikipedia

  • Gruppe der Zwanzig — Mitgliedstaaten der G8, der G8+5, der G15, der G20 und der …   Deutsch Wikipedia

  • Gruppe der Sowjetischen Streitkräfte in Deutschland — Westgruppe der Truppen Aktiv 26. März 1954–31. August 1994 Land Sowjetunion   …   Deutsch Wikipedia

  • Gruppe der zwanzig wichtigsten Industrie- und Schwellenländer — (blau koloriert) Die Gruppe der zwanzig wichtigsten Industrie und Schwellenländer (G 20) ist ein seit 1999 bestehender informeller Zusammenschluss aus 19 Staaten und der Europäischen Union. Sie soll als Forum für die Kooperation und Konsultation… …   Deutsch Wikipedia

  • Gruppe 47 — Gruppe 47,   eine lockere Vereinigung von Schriftstellern und Kritikern, 1947 entstanden auf Initiative von H. W. Richter, A. Andersch, W. Kolbenhoff u. a. Ihre Gemeinsamkeit bildete nicht ein literarisches Programm, sondern, aus der Erfahrung… …   Universal-Lexikon

  • Gruppe der 20 — steht für: die Gruppe der zwanzig wichtigsten Industrie und Schwellenländer einen Zusammenschluss von 20 Entwicklungs und Schwellenländern, siehe Gruppe der Zwanzig die „Gruppe der 20“, deren Mitglieder im Oktober 1989 in Dresden spontan als… …   Deutsch Wikipedia

  • Gruppe von Aphrodite, Pan und Eros — Gruppe von Aphrodite, Pan und Eros, Frontalansicht in ihrer aktuellen Aufstellung …   Deutsch Wikipedia

Share the article and excerpts

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