Praktische und theoretische Aspekte des Gruppenisomorphieproblems (A19*)

• Fachliche Zuordnung: Mathematik
• Förderung: Förderung von 2021 bis 2024
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 286237555

Trotz tiefgehender und umfassender Einsichten in die Theorie der endlichen Gruppen bleiben für das Gruppenisomorphieproblem Herausforderungen weiterbestehen: 1.) Die Komplexität des Problems ist ungeklärt, 2.) die derzeitig verwendeten Implementierungen basieren auf Heuristiken, für die keine Laufzeitanalyse vorhanden ist, und 3.) wir verstehen in Allgemeinen nicht, welche kombinatorischen Eigenschaften die Struktur einer Gruppe als Ganzes festlegen. Das Projekt befasst sich mit diesen Herausforderungen: Es untersucht die Berechnungskomplexität des Problems, erstellt und untersucht neue Algorithmen zu dessen Lösung und charakterisiert kombinatorische Eigenschaften, die eine Gruppe vollständig definieren.

• DFG-Verfahren: Transregios
• Teilprojekt zu: TRR 195: Symbolische Werkzeuge in der Mathematik und ihre Anwendung
• Antragstellende Institution: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Teilprojektleiter: Professor Dr. Pascal Schweitzer, seit 1/2021