h1

000995067 001__ 995067
000995067 005__ 20241118134637.0
000995067 0247_ $$2HBZ$$aHT030888108
000995067 0247_ $$2Laufende Nummer$$a43702
000995067 0247_ $$2datacite_doi$$a10.18154/RWTH-2024-09688
000995067 037__ $$aRWTH-2024-09688
000995067 041__ $$aEnglish
000995067 082__ $$a510
000995067 1001_ $$0P:(DE-82)IDM06728$$aRademacher, Daniel$$b0$$urwth
000995067 245__ $$aConstructive recognition of finite classical groups with stingray elements$$cvorgelegt von Daniel Rademacher, M.Sc.$$honline
000995067 246_3 $$aKonstruktive Erkennung endlicher klassischer Gruppen mit Stingray-Elementen$$yGerman
000995067 260__ $$aAachen$$bRWTH Aachen University$$c2024
000995067 300__ $$a1 Online-Ressource : Illustrationen
000995067 3367_ $$02$$2EndNote$$aThesis
000995067 3367_ $$0PUB:(DE-HGF)11$$2PUB:(DE-HGF)$$aDissertation / PhD Thesis$$bphd$$mphd
000995067 3367_ $$2BibTeX$$aPHDTHESIS
000995067 3367_ $$2DRIVER$$adoctoralThesis
000995067 3367_ $$2DataCite$$aOutput Types/Dissertation
000995067 3367_ $$2ORCID$$aDISSERTATION
000995067 502__ $$aDissertation, RWTH Aachen University, 2024$$bDissertation$$cRWTH Aachen University$$d2024$$gFak01$$o2024-09-25
000995067 500__ $$aVeröffentlicht auf dem Publikationsserver der RWTH Aachen University
000995067 5203_ $$aIn 1988 stellte Joachim Neubüser in Oberwolfach eine Frage zu Matrixgruppen, die 1992 von Peter Neumann und Cheryl E. Praeger beantwortet wurde. Dies initiierte ein internationales Forschungsprojekt, das sogenannte Matrixgruppenerkennungsprojekt, im Bereich der algorithmischen Gruppentheorie mit dem Ziel, grundlegende Fragen über beliebige Matrixgruppen über endlichen Körpern zu beantworten. Eine mögliche Methode ist eine Datenstruktur namens composition tree. In diesem Ansatz werden Berechnungen einer großen Matrixgruppe in Berechnungen für kleinere Matrixgruppen zerlegt, bis dieser Prozess nicht mehr wiederholt werden kann. Die verbleibenden Gruppen in den Blättern sind die endlichen (quasi-)einfachen Gruppen, zu denen die klassischen Gruppen gehören. Daher sind effiziente Algorithmen zur Behandlung von klassischen Gruppen für die Gesamtleistung des composition tree unerlässlich. Ein grundlegendes Ziel besteht darin, einen effizienten Algorithmus zur konstruktiven Erkennung dieser Gruppen zu entwickeln. Diese Arbeit präsentiert einen neuen Algorithmus zur konstruktiven Erkennung von klassischen Gruppen in ihren natürlichen Darstellungen, aufbauend auf vorläufigen Konzepten von Ákos Seress und Max Neunhöffer für spezielle lineare Gruppen. Der Algorithmus besteht aus drei Teilalgorithmen: GoingDown Algorithmus: Steigt rekursiv von der Eingabegruppe $G$ zu einer Untergruppe $U$ ab, die zu einer "Basisfall-gruppe'' isomorph ist, durch die Verwendung von "stingray duos'' und erreicht eine solche Gruppe in deutlich weniger Schritten als traditionelle Methoden. BaseCase Algorithmus: Nutzt eine effiziente Methode zur konstruktiven Erkennung der Basisfall-gruppe $U$, was einen Startpunkt für die Berechnung der Standardgeneratoren von $G$ bildet. GoingUp Algorithmus: Benutzt die Standardgeneratoren von der Untergruppe $U$ um Standardgeneratoren der ursprüngliche Gruppe $G$ zu berechnen, wozu ein neuer Ansatz verwendet wird, welcher Standardgeneratoren für Zwischenuntergruppen berechnet. Diese Forschung trägt zum breiteren Ziel der Verbesserung von Methoden zur Matrixgruppenerkennung bei, wobei ein besonderer Schwerpunkt auf klassischen Gruppen liegt. Sie präsentiert effiziente Algorithmen, die die Leistung der Methode des composition tree verbessern.$$lger
000995067 520__ $$aIn 1988 Joachim Neubüser posed a matrix group related question in Oberwolfach which was answered by Peter Neumann and Cheryl E. Praeger in 1992. This initiated an international research effort, the matrix group recognition project, within the area of computational group theory with the aim of answering fundamental questions about arbitrary matrix groups over finite fields. One possible method is a data structure called composition tree. In this approach, computations of a large matrix group are decomposed into computations for smaller matrix groups until this process cannot be repeated anymore. The remaining leaf groups are the finite (quasi-)simple groups, which include the classical groups. Therefore, efficient algorithms to deal with classical groups are essential for the overall performance of the composition tree. One elementary aim is to develop an efficient algorithm for the constructive recognition of these groups. This thesis presents a novel algorithm for constructively recognising classical groups within their natural representations, building upon preliminary concepts from Ákos Seress and Max Neunhöffer for special linear groups. The algorithm consists of three subalgorithms: GoingDown algorithm: Recursively descends from the input group $G$ to a subgroup $U$ isomorphic to a "base case group'' using stingray duos and reaching such a group in significantly fewer steps than traditional methods. BaseCase algorithm: Utilises an efficient method for constructively recognising the base case group $U$ forming a starting point for the computation of standard generators of $G$. GoingUp Algorithm: Extends standard generators from the subgroup $U$ to the original group $G$, employing an original approach to compute generators for intermediate subgroups. This research contributes to the broader goal of enhancing computational methods for matrix group recognition, with a particular focus on classical groups. It presents efficient algorithms that improve the performance of the composition tree method.$$leng
000995067 536__ $$0G:(GEPRIS)453084359$$aDFG project G:(GEPRIS)453084359 - Berechnungen mit Matrixgruppen (B07) (453084359)$$c453084359$$x0
000995067 536__ $$0G:(GEPRIS)286237555$$aTRR 195: Symbolische Werkzeuge in der Mathematik und ihre Anwendung (286237555)$$c286237555$$x1
000995067 588__ $$aDataset connected to Lobid/HBZ
000995067 591__ $$aGermany
000995067 653_7 $$aalgorithms in group theory
000995067 653_7 $$acomputational group theory
000995067 653_7 $$aconstructive recognition
000995067 653_7 $$afinite classical groups
000995067 653_7 $$amatrix groups
000995067 653_7 $$astingray elements
000995067 7001_ $$0P:(DE-82)IDM01619$$aNiemeyer, Alice Catherine$$b1$$eThesis advisor$$urwth
000995067 7001_ $$0P:(DE-82)996629$$aHorn, Max$$b2$$eThesis advisor$$urwth
000995067 7001_ $$0P:(DE-82)016992$$aPraeger, Cheryl E.$$b3$$eThesis advisor
000995067 8564_ $$uhttps://publications.rwth-aachen.de/record/995067/files/995067.pdf$$yOpenAccess
000995067 8564_ $$uhttps://publications.rwth-aachen.de/record/995067/files/995067_source.zip$$yRestricted
000995067 909CO $$ooai:publications.rwth-aachen.de:995067$$pdnbdelivery$$pdriver$$pVDB$$popen_access$$popenaire
000995067 915__ $$0StatID:(DE-HGF)0510$$2StatID$$aOpenAccess
000995067 9141_ $$y2024
000995067 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM06728$$aRWTH Aachen$$b0$$kRWTH
000995067 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01619$$aRWTH Aachen$$b1$$kRWTH
000995067 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)996629$$aRWTH Aachen$$b2$$kRWTH
000995067 9201_ $$0I:(DE-82)115320_20140620$$k115320$$lLehr- und Forschungsgebiet Algebra$$x0
000995067 9201_ $$0I:(DE-82)114410_20140620$$k114410$$lLehrstuhl für Algebra und Darstellungstheorie$$x1
000995067 9201_ $$0I:(DE-82)110000_20140620$$k110000$$lFachgruppe Mathematik$$x2
000995067 961__ $$c2024-11-15T15:21:08.007663$$x2024-10-14T14:45:02.901099$$z2024-11-15T15:21:08.007663
000995067 9801_ $$aFullTexts
000995067 980__ $$aI:(DE-82)110000_20140620
000995067 980__ $$aI:(DE-82)114410_20140620
000995067 980__ $$aI:(DE-82)115320_20140620
000995067 980__ $$aUNRESTRICTED
000995067 980__ $$aVDB
000995067 980__ $$aphd