Gruppentheorie
Die Gruppentheorie ist ein Teilgebiet der Mathematik, das untersucht, wie sich Vorgänge hintereinander ausführen und wieder rückgängig machen lassen. Sie beschreibt damit Symmetrien und liefert die Rechenregeln hinter Verschlüsselung, Fehlerkorrektur und moderner Physik.
Nimm einen Zauberwürfel. Du kannst eine Seite drehen, dann eine andere, und du kannst jede Drehung rückgängig machen. Egal wie oft du drehst: du landest immer wieder bei einem Würfel, nie bei etwas anderem. Die Gruppentheorie ist der Teil der Mathematik, der genau solche Systeme von Vorgängen untersucht. Sie fragt nicht, wie einzelne Zahlen aussehen, sondern wie sich Vorgänge kombinieren lassen. Eine Gruppe ist dabei nichts anderes als eine Menge solcher Vorgänge zusammen mit einer Regel, wie man zwei davon hintereinander ausführt.
Warum Symmetrie sich rechnen lässt
Der große Trick der Gruppentheorie ist die Abstraktion. Die Drehungen eines Würfels, das Mischen eines Kartenstapels und das Addieren von Uhrzeiten sehen völlig verschieden aus. Mathematisch gehorchen sie aber denselben vier Grundregeln. Wer einmal etwas über diese Regeln beweist, hat es für alle diese Fälle gleichzeitig bewiesen.
Deshalb ist die Gruppentheorie zu einer Art Universalsprache für Symmetrie geworden. In der Physik beschreibt sie, welche Größen bei einem Vorgang unverändert bleiben. Das Standardmodell der Teilchenphysik, also die beste bekannte Beschreibung der kleinsten Bausteine der Materie, ist im Kern in gruppentheoretischer Sprache formuliert. Auch die Klassifikation von Kristallen in der Chemie beruht darauf.
Für Technik und Wirtschaft ist ein anderer Punkt entscheidender. Fast jede moderne Verschlüsselung rechnet in Gruppen. Wenn dein Browser eine Verbindung zu einer Bank absichert, führt er im Hintergrund Rechnungen aus, deren Sicherheit auf gruppentheoretischen Eigenschaften beruht. Ohne dieses Gebiet gäbe es kein sicheres Online-Banking.
Die vier Regeln, die eine Gruppe ausmachen
Eine Gruppe besteht aus einer Menge von Elementen und einer Verknüpfung, die aus zwei Elementen ein drittes macht. Erstens muss das Ergebnis immer wieder in der Menge liegen. Zweitens darf die Reihenfolge der Klammerung keine Rolle spielen. Drittens muss es ein neutrales Element geben, das nichts verändert. Viertens braucht jedes Element ein Gegenstück, das seine Wirkung aufhebt.
Ein alltägliches Beispiel ist die Uhr. Addiere Stunden auf einem Zwölf-Stunden-Zifferblatt: 9 plus 5 ergibt 2. Das Ergebnis bleibt immer zwischen 1 und 12, also innerhalb der Menge. Die 12 wirkt neutral, denn 12 Stunden später zeigt die Uhr dasselbe. Und zu jeder Verschiebung gibt es eine Gegenverschiebung. Diese Struktur heißt Restklassenrechnung und ist eine der wichtigsten Gruppen überhaupt.
Ein häufiger Irrtum: In einer Gruppe müsse die Reihenfolge egal sein. Das gilt nur für sogenannte kommutative Gruppen. Beim Zauberwürfel ist es anders. Erst oben drehen und dann rechts ergibt ein anderes Bild als umgekehrt. Genau diese Nicht-Vertauschbarkeit macht viele Gruppen interessant und mathematisch schwierig.
Von der Bankverbindung bis zum Zauberwürfel-Rekord
Am direktesten begegnet man Gruppentheorie in der Kryptografie, also der Wissenschaft vom Verschlüsseln. Verfahren wie die Elliptische-Kurven-Kryptografie nutzen eine Gruppe, in der das Hin-Rechnen leicht und das Zurück-Rechnen praktisch unmöglich ist. Diese Verfahren stecken in Chipkarten, Messengern und Kryptowährungen. Wenn in News von Post-Quanten-Kryptografie die Rede ist, geht es darum, welche Gruppen ein Quantencomputer knacken könnte.
Ein zweites Feld ist die Fehlerkorrektur. Daten auf einer Festplatte oder in einem Funksignal werden so kodiert, dass verfälschte Bits erkannt und repariert werden. Die zugrundeliegenden Codes sind gruppentheoretisch konstruiert. Auch Quantencomputer brauchen solche Codes, weil ihre Rechenbausteine extrem störanfällig sind.
In der Informatik selbst hilft die Gruppentheorie beim Abzählen. Sie beantwortet Fragen wie: Wie viele wirklich verschiedene Stellungen hat ein Zauberwürfel? Die Antwort, rund 43 Quintillionen, stammt aus einer gruppentheoretischen Rechnung. Auch im maschinellen Lernen wird das Konzept genutzt: Modelle, die Symmetrien eines Problems eingebaut bekommen, brauchen weniger Trainingsdaten. Solche Ansätze laufen unter dem Schlagwort geometrisches Deep Learning.