Gruppentheorie — Gruppen, Untergruppen & Homomorphismen

Die Gruppentheorie erklärt, wann eine Menge und eine Verknüpfung auf stabile Weise zusammenpassen. Eine Gruppe hat vier Bestandteile: Abgeschlossenheit, Assoziativität, ein neutrales Element und zu jedem Element ein Inverses. Eine Untergruppe ist eine kleinere Gruppe innerhalb einer größeren, und ein Homomorphismus ist eine Abbildung, die die Verknüpfung erhält.

Wenn du dir nur ein Beispiel merkst, nimm die ganzen Zahlen mit der Addition. Daran sieht man die Gruppendefinition, bekommt eine klare Untergruppe und kann die Idee eines Homomorphismus leicht prüfen.

Gruppendefinition: die vier Axiome

Eine Gruppe ist eine Menge $G$ zusammen mit einer Verknüpfung, oft multiplikativ als $ab$ geschrieben, sodass vier Bedingungen gelten:

1. Abgeschlossenheit: Wenn $a,b \in G$, dann gilt $ab \in G$.
2. Assoziativität: $(ab)c = a(bc)$ für alle $a,b,c \in G$.
3. Neutrales Element: Es gibt ein Element $e \in G$ mit $ea = ae = a$ für jedes $a \in G$.
4. Inverse: Zu jedem $a \in G$ gibt es ein Element $a^{-1} \in G$ mit $aa^{-1} = a^{-1}a = e$.

Das ist die vollständige Definition. Wenn auch nur eine Bedingung nicht erfüllt ist, dann ist die Menge mit dieser Verknüpfung keine Gruppe.

Warum die Definition wichtig ist

Die Definition gibt dir ein System, in dem du Elemente verknüpfen, Schritte rückgängig machen und darauf vertrauen kannst, dass Umgruppieren das Ergebnis nicht verändert. Deshalb tauchen Gruppen in Symmetrien, modularer Arithmetik, Permutationen und Matrixalgebra auf.

Wenn du dir eine Verknüpfung als erlaubten Zug vorstellst, dann ist eine Gruppe ein System, in dem erlaubte Züge kombiniert werden können, es einen Nichtstun-Zug gibt und jeder Zug rückgängig gemacht werden kann.

Beispiel: Warum $(\mathbb{Z}, +)$ eine Gruppe ist

Betrachte die Menge aller ganzen Zahlen $\mathbb{Z} = \{\dots,-2,-1,0,1,2,\dots\}$ mit der Verknüpfung Addition.

Das ist eine Gruppe:

• Abgeschlossenheit gilt, weil die Summe zweier ganzer Zahlen wieder eine ganze Zahl ist.
• Assoziativität gilt, weil $(a+b)+c = a+(b+c)$ für ganze Zahlen.
• Das neutrale Element ist $0$, weil $a+0 = 0+a = a$.
• Das Inverse von $a$ ist $-a$, weil $a + (-a) = 0$.

Also ist $(\mathbb{Z}, +)$ eine Gruppe.

Dieses Beispiel ist der richtige Einstieg, weil es auch Untergruppen und Homomorphismen anschaulich macht.

Untergruppendefinition mit den geraden Zahlen

Eine Untergruppe ist eine Teilmenge einer Gruppe, die unter derselben Verknüpfung selbst wieder eine Gruppe ist.

Innerhalb von $(\mathbb{Z}, +)$ betrachten wir die geraden Zahlen:

$$2\mathbb{Z} = \{\dots,-4,-2,0,2,4,\dots\}$$

Das ist eine Untergruppe von $\mathbb{Z}$ bezüglich der Addition, denn:

• die Summe zweier gerader Zahlen ist wieder gerade
• $0$ ist gerade, also ist das neutrale Element weiterhin enthalten
• das Negative einer geraden Zahl ist wieder gerade

Also ist $2\mathbb{Z}$ nicht nur eine Teilmenge. Es behält dieselben algebraischen Regeln wie die größere Gruppe.

Das ist die Hauptidee einer Untergruppe: Sie ist eine kleinere abgeschlossene Welt, in der dieselbe Verknüpfung weiterhin funktioniert.

Homomorphismus-Definition: die Verknüpfung erhalten

Ein Homomorphismus ist eine Funktion zwischen Gruppen, die die Verknüpfung erhält.

Wenn $f : G \to H$ ein Homomorphismus ist, dann gilt

$$f(ab) = f(a)f(b)$$

für alle $a,b \in G$.

Die genauen Symbole hängen von den beteiligten Gruppen ab. Wenn die Verknüpfung die Addition ist, schreibt man dieselbe Bedingung oft als

$$f(a+b) = f(a) + f(b)$$

Der Punkt ist derselbe: erst verknüpfen und dann abbilden oder erst abbilden und dann verknüpfen. Ein Homomorphismus sorgt dafür, dass diese beiden Wege zum selben Ergebnis führen.

Durchgerechnetes Beispiel: Paritätsabbildung von $\mathbb{Z}$ nach $\mathbb{Z}_2$

Definiere $f : \mathbb{Z} \to \mathbb{Z}_2$ durch

$$f(n) = \text{der Rest von } n \text{ modulo } 2$$

Hier ist $\mathbb{Z}_2 = \{0,1\}$ mit Addition modulo $2$.

Diese Funktion erfasst, ob eine ganze Zahl gerade oder ungerade ist. Um zu prüfen, dass sie ein Homomorphismus ist, vergleiche beide Seiten:

$$f(a+b)$$

ist die Parität der Summe, während

$$f(a) + f(b)$$

die beiden Paritäten modulo $2$ addiert.

Das stimmt für alle ganzen Zahlen $a$ und $b$ überein, also gilt

$$f(a+b) = f(a) + f(b)$$

in $\mathbb{Z}_2$.

Zum Beispiel gilt für $a=3$ und $b=5$:

$$f(3) = 1,\qquad f(5) = 1,\qquad f(3+5) = f(8) = 0$$

und

$$f(3)+f(5) = 1+1 = 0 \pmod{2}$$

Also erhält die Abbildung die Gruppenverknüpfung.

Häufige Fehler in der Gruppentheorie

Vergessen, dass die Verknüpfung Teil der Daten ist

Zu sagen „Die ganzen Zahlen bilden eine Gruppe“ ist unvollständig, solange die Verknüpfung nicht klar ist. Die ganzen Zahlen bilden bezüglich der Addition eine Gruppe, aber nicht bezüglich der Multiplikation, weil die meisten ganzen Zahlen in $\mathbb{Z}$ kein multiplikatives Inverses haben.

Annehmen, dass jede Teilmenge eine Untergruppe ist

Eine Teilmenge muss das neutrale Element enthalten, unter der Verknüpfung abgeschlossen sein und Inverse enthalten. Zum Beispiel sind die positiven ganzen Zahlen keine Untergruppe von $(\mathbb{Z}, +)$, weil sie weder $0$ noch additive Inverse enthalten.

Homomorphismen wie beliebige Funktionen behandeln

Ein Homomorphismus ist nicht einfach irgendeine Abbildung zwischen Mengen. Seine ganze Aufgabe ist es, die Verknüpfung zu erhalten. Wenn diese Bedingung nicht erfüllt ist, dann ist es kein Gruppenhomomorphismus.

Notation zwischen verschiedenen Gruppen vermischen

In einer Gruppe kann die Verknüpfung Addition sein, in einer anderen Multiplikation und in einer weiteren Komposition. Die Homomorphismus-Regel muss auf jeder Seite die richtige Verknüpfung verwenden.

Wo Gruppentheorie verwendet wird

Gruppentheorie wird überall dort verwendet, wo ein Problem eine wiederholbare und umkehrbare Struktur hat. Häufige Beispiele sind Symmetrien von Figuren, modulare Arithmetik, Permutationen, lineare Algebra und Teile der Physik.

Du brauchst keine fortgeschrittenen Beispiele, um davon zu profitieren. Schon auf einem grundlegenden Niveau hilft dir die Gruppentheorie zu erkennen, wann verschiedene Probleme dieselbe zugrunde liegende Struktur haben.

Probiere eine ähnliche Aufgabe

Beginne mit $(\mathbb{Z}, +)$. Prüfe, ob die Vielfachen von $3$ eine Untergruppe bilden. Teste dann die Abbildung $g(n) = n \bmod 3$ von $\mathbb{Z}$ nach $\mathbb{Z}_3$ und überprüfe, ob

$$g(a+b) = g(a) + g(b)$$

modulo $3$ gilt.

Wenn du noch einen Schritt weitergehen willst, versuche dieselben Fragen mit Drehungen eines gleichseitigen Dreiecks. Dort beginnt sich Gruppentheorie oft eher wie ein Werkzeug als wie eine Definition anzufühlen.