Zwei Gruppen und gelten als isomorph, wenn ein Homomorphismus von nach vorliegt , der bijektiv ist. Das Problem des Gruppenisomorphismus ist wie folgt: Überprüfen Sie bei zwei Gruppen, ob sie isomorph sind oder nicht. Es gibt verschiedene Möglichkeiten, eine Gruppe einzugeben. Die beiden am häufigsten verwendeten werden von einer Cayley-Tabelle und einem Generator verwendet. Hier gehe ich davon aus, dass Eingabegruppen durch ihre Cayley-Tabelle angegeben werden. Formeller:
Zwei Gruppen und .
Ist ?
Nehmen wir an, dass
Es ist nicht bekannt, dass das Problem des Gruppenisomorphismus, wenn Eingabegruppen durch die Cayley-Tabelle angegeben werden, im Allgemeinen in . Obwohl es Gruppenklassen wie die abelsche Gruppenklasse gibt, für die das Problem bekanntermaßen in Polynomzeit liegt, Gruppen, die die Erweiterung einer abelschen Gruppe darstellen, einfache Gruppen usw. Selbst für Gruppen mit nullpotenter Klasse zwei gibt es keinen besseren Algorithmus als Brute Force bekannt.
Ein Brute-Force-Algorithmus für den Gruppenisomorphismus wird von Tarjan wie folgt angegeben. Lassen und sind zwei Eingangsgruppen, und lassen eine Stromerzeugers der Gruppe sein . Es ist bekannt, dass jede endliche Gruppe eine Menge von -Größen zulässt , die in Polynomzeit gefunden werden kann. Die Anzahl der Bilder des Erzeugungssatzes im Homomorphismus von nach beträgt viele. Überprüfen Sie nun, ob jeder mögliche Homomorphismus bijektiv ist oder nicht. Die Gesamtlaufzeit beträgt .
Lassen Sie mich zunächst das Zentrum der Gruppe :
bezeichnet die Elemente der Gruppe die mit allen anderen Elementen der Gruppe pendeln. Gruppen, für die (/ für Quotient verwendet) abelisch ist, werden als nicht potente Klasse-2-Gruppen bezeichnet. Mir scheint, dass nilpotente Gruppen der Klasse zwei die schwierigsten Instanzen sind, um das Problem des Gruppenisomorphismus zu lösen. Die Bedeutung von "schwierigsten Instanzen" ist: Durch die Lösung dieses Falls können Forscher, die in der Gruppentheorie arbeiten, das Isomorphismusproblem einer großen Anzahl von Gruppen lösen.
Anfangs dachte ich, dass einfache Gruppen die schwierigsten Instanzen sind, da sie Bausteine aller Gruppen sind, aber später erfuhr ich, dass das Isomorphismusproblem für einfache Gruppen in .
Frage : Was ist die schwierigste Instanz für das Problem des Gruppenisomorphismus?