Gruppentheorie

Die Gruppentheorie als mathematische Disziplin untersucht die algebraische Struktur von Gruppen.

Anschaulich besteht eine Gruppe aus den Symmetrien eines Objekts oder einer Konfiguration zusammen mit jener Verknüpfung, die durch das Hintereinanderausführen dieser Symmetrien gegeben ist. So bilden beispielsweise die Drehungen eines regelmäßigen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -Ecks in der Ebene, mit denen die Figur auf sich selbst abgebildet werden kann, eine Gruppe mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} Elementen. Um dieses Konzept allgemein zu fassen, hat sich eine knappe und mächtige Definition herausgebildet: Demnach ist eine Gruppe eine Menge zusammen mit einer zweistelligen inneren Verknüpfung (durch die jedem geordneten Paar von Elementen eindeutig ein Element dieser Menge als Resultat zugeordnet wird), wenn diese Verknüpfung assoziativ ist und es ein neutrales Element gibt sowie zu jedem Element ein Inverses. So bildet zum Beispiel auch die Menge der ganzen Zahlen zusammen mit der Addition eine Gruppe.

Die systematische Untersuchung von Gruppen begann im 19. Jahrhundert und wurde durch konkrete Probleme ausgelöst, zunächst durch die Frage nach der Lösbarkeit von algebraischen Gleichungen, später durch die Untersuchung geometrischer Symmetrien. Dementsprechend stand zunächst die Untersuchung konkreter Gruppen im Vordergrund; erst gegen Ende des 19. Jahrhunderts wurden verstärkt abstrakte Fragestellungen untersucht. Wichtige Beiträge stammen unter anderem von Évariste Galois und Niels Henrik Abel in der Algebra sowie Felix Klein und Sophus Lie in der Geometrie. Eine der herausragenden mathematischen Leistungen des 20. Jahrhunderts ist die Klassifikation aller endlichen einfachen Gruppen, also der unzerlegbaren Bausteine aller endlichen Gruppen.

Die große Bedeutung der Gruppentheorie für viele Gebiete der Mathematik und ihrer Anwendungen resultiert aus ihrer Allgemeinheit, denn sie umfasst in einer einheitlichen Sprache sowohl geometrische Sachverhalte (Bewegungen des Raumes, Symmetrien etc.) als auch arithmetische Regeln (Rechnen mit Zahlen, Matrizen etc.). Vor allem in der Algebra ist der Begriff der Gruppe von grundlegender Bedeutung: Ringe, Körper, Moduln und Vektorräume sind Gruppen mit zusätzlichen Strukturen und Eigenschaften. Methoden und Sprechweise der Gruppentheorie durchziehen daher viele Gebiete der Mathematik. In Physik und Chemie treten Gruppen überall dort auf, wo Symmetrien eine Rolle spielen (z. B. Invarianz physikalischer Gesetze, Symmetrie von Molekülen und Kristallen). Zur Untersuchung solcher Phänomene liefern die Gruppentheorie und die eng verwandte Darstellungstheorie die theoretischen Grundlagen und eröffnen wichtige Anwendungen.

Zugang ohne mathematische Voraussetzungen

Gruppen werden in der Mathematik verwendet, um das Rechnen mit Zahlen zu verallgemeinern. Entsprechend besteht eine Gruppe aus einer Menge von Dingen (z. B. Zahlen, Symbolen, Objekten, Bewegungen) und einer Rechenvorschrift (eine Verknüpfung, in diesem Artikel als Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle *} dargestellt), die angibt, wie mit diesen Dingen umzugehen ist. Diese Rechenvorschrift muss dabei bestimmten Regeln genügen, den sogenannten Gruppenaxiomen, die im Folgenden erklärt werden.

Von einer Gruppe spricht man, falls für eine Menge zusammen mit einer Verknüpfung je zweier Elemente dieser Menge, hier geschrieben als Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a * b} , die folgenden Anforderungen erfüllt sind:

1. Die Verknüpfung zweier Elemente der Menge ergibt wiederum ein Element derselben Menge. (Abgeschlossenheit)
2. Für die Verknüpfung ist die Klammerung unerheblich, das heißt, es gilt $(a*b)*c=a*(b*c)$ für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a,b,c} . (Assoziativgesetz)
3. Es gibt ein Element $e$ in der Menge, das bezüglich der Verknüpfung nichts bewirkt, also ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle *} -neutrales Element: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a * e = e * a = a} für alle $a$.
4. Zu jedem Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} gibt es bezüglich der Verknüpfung ein Umkehr-Element, also ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle *} -inverses Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^*} . Dieses hat die Eigenschaft, beim Verknüpfen mit $a$ das neutrale Element zu ergeben: $a^{*}*a=a*a^{*}=e$.

Man beachte: Falls auf der Menge von mehreren Verknüpfungen die Rede ist, etwa Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle *} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \circ} , dann gibt es mehrere neutrale und inverse Elemente, jeweils passend zur Verknüpfung. Wenn aus dem Kontext klar ist, dass nur eine bestimmte Verknüpfung gemeint ist, dann spricht man kurz von dem neutralen Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e} und dem inversen Element $a^{*}$ zu $a$ ohne die Verknüpfung nochmals explizit zu erwähnen.

• Wenn man zudem noch die Operanden vertauschen darf, wenn also stets Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a * b = b * a} gilt, dann liegt eine abelsche Gruppe vor, auch kommutative Gruppe genannt. (Kommutativgesetz)

Beispiele für abelsche Gruppen sind

• die ganzen Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Z} mit der Addition $+$ als Verknüpfung und der Null als neutralem Element,
• die rationalen Zahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Q} ohne Null mit der Multiplikation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \cdot} als Verknüpfung und der Eins als neutralem Element. Die Null muss hierbei ausgeschlossen werden, da sie kein inverses Element besitzt: „1/0“ ist nicht definiert.

Die sehr allgemeine Definition von Gruppen ermöglicht es, nicht nur Mengen von Zahlen mit entsprechenden Operationen als Gruppen aufzufassen, sondern auch andere mathematische Objekte mit geeigneten Verknüpfungen, die die obigen Anforderungen erfüllen. Ein solches Beispiel ist die Menge der Drehungen und Spiegelungen (Symmetrietransformationen), durch die ein regelmäßiges n-Eck auf sich selbst abgebildet wird, mit der Hintereinanderausführung der Transformationen als Verknüpfung (Diedergruppe).

Definition einer Gruppe

→ Hauptartikel: Gruppe (Mathematik)

Eine Gruppe ist ein Paar $(G,*)$. Dabei ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} eine Menge und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle *} eine zweistellige Verknüpfung bezüglich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} . Das heißt, dadurch wird die Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle *\colon G \times G \to G, (a,b) \mapsto a*b} beschrieben. Zudem müssen die folgenden Axiome für die Verknüpfung erfüllt sein, damit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (G,*)} als Gruppe bezeichnet werden kann:

• Assoziativität: Für alle Gruppenelemente $a$, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle c} gilt: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (a*b)*c = a*(b*c).}
• Es gibt ein neutrales Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e\in G} , mit dem für alle Gruppenelemente Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a\in G} gilt: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a*e = e*a = a} .
• Zu jedem Gruppenelement Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle a\in G} existiert ein inverses Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^{-1}\in G} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a*a^{-1} = a^{-1}*a = e} .

Eine Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (G,*)} heißt abelsch oder kommutativ, wenn zusätzlich das folgende Axiom erfüllt ist:

• Kommutativität: Für alle Gruppenelemente $a$ und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a*b = b*a} .

Andernfalls, d. h., wenn es Gruppenelemente Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a,b \in G} gibt, für die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a*b \ne b*a} ist, heißt die Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (G,*)} nichtabelsch.

Beispiele

Bekannte Beispiele für Gruppen sind:

• Kleinsche Vierergruppe (abelsch)
• symmetrische Gruppe (nicht-abelsch für n > 2)
• alternierende Gruppe (nicht-abelsch für n > 3)
• Diedergruppe (nicht-abelsch für n > 2)
• Quaternionengruppe (nicht-abelsch)
• Triviale Gruppe (abelsch): Besteht nur aus dem neutralen Element

Eine ausführlichere Aufzählung befindet sich in der Liste kleiner Gruppen.

Grundkonzepte der Gruppentheorie

Ordnung einer Gruppe

Die Mächtigkeit (Kardinalität) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |G|} der Trägermenge der Gruppe nennt man Ordnung der Gruppe oder kurz Gruppenordnung. Für endliche Mengen ist dies einfach die Anzahl der Elemente.

Untergruppen

→ Hauptartikel: Untergruppe

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} eine Teilmenge der Trägermenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} einer Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (G,*)} und ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (H,*)} selbst eine Gruppe, so nennt man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} eine Untergruppe von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} , Bezeichnung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H \leq G} .

Hierzu ein wichtiger Satz (Satz von Lagrange): Die Ordnung jeder Untergruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} einer endlichen Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} ist ein Teiler der Ordnung der Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} . Ist speziell Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |G|} eine Primzahl, dann hat Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} nur die (trivialen) Untergruppen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{e\}} (bestehend aus dem neutralen Element) und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} selbst.

Zyklische Gruppen

→ Hauptartikel: Zyklische Gruppe

Gibt es in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} ein Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} so, dass man jedes Element als Potenz Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^n} (mit einer ganzen Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} , die auch negativ sein darf) schreiben kann, so nennt man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} eine zyklische Gruppe und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} erzeugendes Element.

Ordnung von Elementen

→ Hauptartikel: Ordnung eines Gruppenelementes

Ergibt ein Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} der Gruppe, endlich viele Male (Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -mal) mit sich selbst verknüpft, das neutrale Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e} , d. h., gibt es ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n\in\N} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \underbrace{a*a*\ldots *a}_{n\text{-mal}} = e} , so nennt man das kleinste derartige Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n > 0} die Ordnung des Elements Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} . In diesem Fall spricht man von einem Element endlicher Ordnung oder Torsionselement. Falls kein solches Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} existiert, sagt man, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} unendliche Ordnung hat. In beiden Fällen entspricht die Ordnung des Elements der Ordnung der von ihm erzeugten Untergruppe.

Aus dem Satz von Lagrange folgt daher: In einer endlichen Gruppe ist die Ordnung jedes Elements endlich, und ein Teiler der Gruppenordnung.

Die kleinste positive Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} , mit der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \underbrace{a*a*\ldots *a}_{n\text{-mal}} = e} für jedes Gruppenelement Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} gilt, wird Gruppenexponent genannt.

Unterschiedliche Schreibweisen für das Verknüpfungszeichen

Steht das Zeichen »*« für das Mal-Zeichen »·«, dann spricht man von einer multiplikativ geschriebenen Gruppe. Diese kann kommutativ sein oder auch nicht, und das Zeichen »·« kann weggelassen, d. h. die zwei Operanden direkt nebeneinander geschrieben werden. Das neutrale Element ist dann Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e = 1 ,} und das Inverse wird Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^{-1} } oder im kommutativen Fall auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1/a } geschrieben. In Analogie zu den reellen Zahlen wird für das multiplikativ Iterierte die Potenzschreibweise Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^n := \underbrace{a\cdot a\cdot \ldots \cdot a}_{n\text{-mal}} } verwendet.

Wird andererseits das Plus-Zeichen »+« als Zeichen für die Verknüpfung verwendet, dann spricht man von einer additiv geschriebenen Gruppe, die dann auch allermeist kommutativ ist und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e = 0 } als neutrales Element hat. Das Vielfache wird Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n a := n \cdot a := \underbrace{a+a+\ldots +a}_{n\text{-mal}} } und das Inverse Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (-1) \cdot a := -a} geschrieben.

Es gibt aber außer Multiplikation und Addition noch weitere Operationen, die eine Gruppenstruktur definieren. So gilt für die Hintereinanderausführung von Funktionen stets das Assoziativgesetz. Werden dabei nur Funktionen betrachtet, die invertierbar sind, und zwar Bijektionen einer Menge auf sich selbst, dann definieren sie eine Gruppe (die im Allgemeinen nicht kommutativ ist). Häufig wird Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \circ } als Zeichen für die Hintereinanderausführung und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{id} } für das entsprechende neutrale Element verwendet. Ist bei Inversenbildung und Iteration gegenüber der Potenzschreibweise ein Unterschied zu machen, dann wird der Exponent auch in spitze Klammern gesetzt, z. B. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^{\langle -1 \rangle} \circ a = \operatorname{id} } und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^{\langle n \rangle} := \underbrace{a\circ a\circ \ldots \circ a}_{n\text{-mal}} \, . }

Nebenklassen

Definition

Definiert man auf der Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (G,*)} mit einer Untergruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (H,*)} die Relation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sim} durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b \sim a \; :\Longleftrightarrow \; \exists \, h \in H\colon \, b = a * h} ,

erhält man eine Äquivalenzrelation auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G ,} die die Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G } partitioniert. Die Äquivalenzklasse (englisch: coset) zu einem Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a \in G} (d. h. die Menge aller Elemente Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} , die zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} in der Relation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b \sim a} stehen), ist die Menge

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{b\in G \mid b \sim a \} = \{a*h \mid h \in H\}} .

Für diese Menge schreibt man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a*H ,} Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a H} oder auch kurz Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \bar a ,} wenn klar ist, durch welchen Vorgang die Nebenklassen gebildet werden. Da diese Menge alle Elemente von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} enthält, die dadurch entstehen, dass die Elemente aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} links mit dem Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} verknüpft werden, heißt sie (genauer) die Linksnebenklasse, Alternativbezeichnung Linksrestklasse, von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} nach dem Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} .

Wenn man andererseits eine Relation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \backsim } durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b \backsim a \; :\Longleftrightarrow \; \exists \, h \in H\colon \, b = h * a}

definiert, dann ist dies im Allgemeinen eine andere Äquivalenzrelation und die Menge der zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} äquivalenten Elemente in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} jetzt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H a := \{h*a \mid h \in H\}} ,

die durch Rechtsverknüpfung der Elemente aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} mit dem Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} entsteht. Sie wird mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H*a} oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Ha} bezeichnet und Rechtsnebenklasse, Alternativbezeichnung Rechtsrestklasse, von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} nach dem Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} genannt.

Für die Menge aller Links- bzw. Rechtsnebenklassen wird die Notation

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G/H := \{gH \mid g\in G\}}

bzw.

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H \backslash G := \{Hg \mid g\in G\}}

verwendet.

Nebenklassen werden benutzt, um den Satz von Lagrange zu beweisen, um die Begriffe Normalteiler und Faktorgruppe zu erklären und um Gruppenoperationen zu studieren.

Nebenklassen als Bahnen einer Gruppenoperation

Man kann Nebenklassen auch als Bahnen einer Gruppenoperation verstehen. Die Untergruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} operiert nämlich auf der Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} von links

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H \times G \to G, \quad (h,g) \mapsto h * g}

bzw. von rechts

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G \times H \to G, \quad (g,h) \mapsto g * h}

durch Multiplikation. Für ein gegebenes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g \in G} ist dann die Rechtsnebenklasse

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Hg = \{ h*g \mid h \in H \}}

gerade die Bahn von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} der Linksoperation, entsprechend die Linksnebenklasse

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle gH = \{ g*h \mid h \in H \}}

die Bahn von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} der Rechtsoperation. Die Notation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G/H} für die Menge der Linksnebenklassen bzw. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H \backslash G} für die Menge der Rechtsnebenklassen deckt sich mit der für Bahnen üblichen Notation für den Orbitraum.

Doppelnebenklassen

Sind zwei Untergruppen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} gegeben, so erhält man eine Äquivalenzrelation durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a \sim b \; :\Longleftrightarrow \; \exists \, k \in K, \, h \in H\colon \, b = k * a * h} .

Die Äquivalenzklasse zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a\in G} ist

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{k*a*h \mid k \in K, h \in H\}}

Für diese Menge schreibt man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K*a*H} oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle KaH} und nennt sie die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (K,H)} -Doppelnebenklasse zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} .

Normalteiler

→ Hauptartikel: Normalteiler

Ist für jedes Element Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a \in G} die linke Nebenklasse von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} gleich der rechten, d. h. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle aH=Ha} , so nennt man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} einen Normalteiler von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} , Bezeichnung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H \trianglelefteq G} .

In einer abelschen Gruppe ist jede Untergruppe ein Normalteiler. Der Kern jedes Gruppenhomomorphismus ist ein Normalteiler.

Faktorgruppe

→ Hauptartikel: Faktorgruppe

Die Linksnebenklassen (oder auch die Rechtsnebenklassen) bezüglich einer Untergruppe teilen die Gruppe (als Menge angesehen) in disjunkte Teilmengen auf. Ist die Untergruppe sogar ein Normalteiler, so ist jede Linksnebenklasse zugleich eine Rechtsnebenklasse und wird ab jetzt nur Nebenklasse genannt.

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} ein Normalteiler von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} , dann kann man auf der Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G/H} der Nebenklassen eine Verknüpfung definieren:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_1H * a_2H := \left(a_1 * a_2\right)H}

Die Verknüpfung ist wohldefiniert, d. h., sie ist nicht abhängig von der Wahl der Repräsentanten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_1} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_2} in ihrer Nebenklasse. (Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} kein Normalteiler, dann gibt es Nebenklassen mit Repräsentanten, die verschiedene Ergebnisse produzieren.)

Zusammen mit dieser induzierten Verknüpfung bildet die Menge der Nebenklassen eine Gruppe, die Faktorgruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G/H} . Die Faktorgruppe ist eine Art vergröbertes Abbild der originalen Gruppe.

Klassifikation der endlichen einfachen Gruppen

Eine nicht-triviale Gruppe heißt einfach, wenn sie keine Normalteiler außer der trivialen Gruppe und sich selbst hat. Beispielsweise sind alle Gruppen von Primzahlordnung einfach. Die einfachen Gruppen spielen eine wichtige Rolle als „Grundbausteine“ von Gruppen. Seit 1982 sind die endlichen einfachen Gruppen vollständig klassifiziert. Jede gehört entweder zu einer der 18 Familien endlicher einfacher Gruppen oder ist eine der 26 Ausnahmegruppen, die auch als sporadische Gruppen bezeichnet werden.

Beispiel

Rubiks Zauberwürfel als Beispiel einer endlichen nicht-abelschen Gruppe

Manche Eigenschaften endlicher Gruppen lassen sich mit dem Zauberwürfel veranschaulichen, der seit seiner Erfindung vielfach im akademischen Unterricht eingesetzt wurde, weil die Permutationen der Ecken- und Kantenelemente des Würfels ein sichtbares und handgreifliches Beispiel einer Gruppe darstellen.

Anwendungen

Chemie

Punktgruppen

Die Menge der möglichen Positionen der Atome der Moleküle in ihrer Gleichgewichtskonformation lässt sich mit Hilfe von Symmetrieoperationen (Einheitselement, Spiegelung, Drehung, Inversion, Drehspiegelung) auf sich selbst abbilden. Die Symmetrieoperationen lassen sich zu Gruppen, den sogenannten Punktgruppen zusammenfassen.

Beispielanwendungen

• Quantenchemie
  • Der Rechenaufwand von quantenchemischen Rechnungen kann unter Benutzung der Gruppentheorie erheblich verringert werden, z. B. hat ein Hamiltonoperator die gleiche Symmetrie wie sein System.
  • Weiterhin ist sie hilfreich zur Beschreibung von SALKs (symmetrieadaptierten Linearkombinationen aus Atomorbitalen, auch Liganden-Gruppen-Orbitale), was in der MO-Theorie und Ligandenfeldtheorie Anwendung findet.
  • Weiterhin findet die Gruppentheorie Anwendung bei der Theorie der Erhaltung der Orbitalsymmetrie (siehe: Woodward-Hoffmann-Regeln).

• Spektroskopie
  • Die Gruppentheorie ist auch für die Infrarotspektroskopie von Bedeutung, IR-, Raman-Eigenschaften, Vorhandensein von Quadrupol- und Octopolmoment können direkt aus der Charaktertafel eines Moleküls abgelesen werden.
  • In der NMR-Spektroskopie sind Protonen, die sich durch Spiegelung aufeinander abbilden lassen, chemisch äquivalent und ergeben daher im Spektrum die gleiche chemische Verschiebung.

• Physikalische Eigenschaften
  • Ein permanentes elektrisches Dipolmoment können nur Moleküle ohne jegliche Symmetrie oder Symmetrien der Punktgruppen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C_{nv}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C_n} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C_s} haben.
  • Chiralität / optische Aktivität
    • Moleküle, die keine Drehspiegelachse Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S_n} aufweisen, sind chiral und daher optisch aktiv, z. B. Bromchloriodmethan.
    • Moleküle, die eine Spiegelachse haben, sind nicht optisch aktiv, auch wenn sie chirale Zentren enthalten, z. B. Meso-Verbindungen. Chirale Katalysatoren in der enantioselektiven Synthese enthalten oft Liganden mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C_2} -Symmetrie, damit sich definierte Komplexe bilden.

• Kristallographie
  • In der Kristallographie kommt die Gruppentheorie durch die Einordnung von Kristallstrukturen in die 230 möglichen Raumgruppen vor.

Physik

In der Quantenmechanik sind Symmetriegruppen als Gruppen von unitären oder antiunitären Operatoren realisiert. Die Eigenvektoren einer maximalen abelschen Untergruppe dieser Operatoren zeichnet eine physikalisch wichtige Basis aus, die zu Zuständen mit wohldefinierter Energie oder Impuls oder Drehimpuls oder Ladung gehört. Beispielsweise bilden in der Festkörperphysik die Zustände in einem Kristall mit einer fest gewählten Energie einen Darstellungsraum der Symmetriegruppe des Kristalls.

Geschichte

Die Entdeckung der Gruppentheorie wird Évariste Galois zugeschrieben, der die Lösbarkeit algebraischer Gleichungen durch Radikale (in heutiger Terminologie) auf die Auflösbarkeit ihrer Galois-Gruppe zurückführte. Galois’ Arbeit wurde erst 1846 postum veröffentlicht. Implizit spielte das Konzept einer Gruppe aber bereits bei Lagrange (Réflexions sur la résolution algébrique, 1771) und Gauß (Disquisitiones Arithmeticae, 1801) eine Rolle.

Im letzten Viertel des 19. Jahrhunderts wurde die Gruppentheorie vor allem durch Felix Kleins Erlanger Programm und die von Sophus Lie entwickelte Theorie der kontinuierlichen Transformationsgruppen sowie auch Poincarés und Kleins Arbeiten über automorphe Funktionen zu einem zentralen Bestandteil der Mathematik. Aus dem Jahr 1881 stammt Poincarés bekanntes Zitat „Les mathématiques ne sont qu’une histoire des groupes.“ (Die Mathematik ist nur eine Geschichte der Gruppen.)

Eine abstrakte Definition von Gruppen findet sich erstmals 1854 bei Arthur Cayley:

„A set of symbols Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1,\alpha,\beta,\ldots} , all of them different, and such that the product of any two of them (no matter in what order), or the product of any one of them into itself, belongs to the set, is said to be a group. These symbols are not in general convertible [commutative] but associative, it follows that if the entire group is multiplied by any one of the symbols, either as further or nearer factor [left or right], the effect is simply to reproduce the group.“

Erst ab 1878 erschienen die ersten Arbeiten zur abstrakten Gruppentheorie. Cayley bewies, dass jede endliche Gruppe isomorph zu einer Gruppe von Permutationen ist, und bemerkte in derselben Arbeit, dass es einfacher sei, Gruppen als abstrakte Gruppen statt als Gruppen von Permutationen zu betrachten. 1882 definierte Dyck erstmals Gruppen mittels Erzeugern und Relationen.

Literatur

• Pavel S. Alexandroff: Einführung in die Gruppentheorie. Deutsch, Frankfurt 2007, ISBN 978-3-8171-1801-4.
• Hans Kurzweil, Bernd Stellmacher: Theorie der endlichen Gruppen. Eine Einführung. Springer, Berlin 1998, ISBN 3-540-60331-X.
• Thorsten Camps u. a.: Einführung in die kombinatorische und die geometrische Gruppentheorie. Heldermann, Lemgo 2008, ISBN 978-3-88538-119-8.
• Oleg Bogopolski: Introduction to group theory. European Mathematical Society Publishing House, Zürich 2008, ISBN 978-3-03719-041-8.
• Stephan Rosebrock: Anschauliche Gruppentheorie – Eine computerorientierte geometrische Einführung. Springer Spektrum, 2020, ISBN 978-3-662-60786-2.

Weblinks

Wiktionary: Gruppentheorie – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

• Gruppenzwang. Eine Einführung in die Gruppentheorie auf Matroids Matheplanet.
• Online-Werkzeug zur Erstellung von Gruppentafeln (englisch).
• Israel Kleiner: The Evolution of Group Theory: A Brief Survey. Mathematics Magazine, Vol. 59, No. 4 (Oktober 1986), S. 195–215.