Project Details
Projekt
Computations with matrix groups (B07)
Subject Area
Mathematics
Term
since 2021
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 286237555
The matrix group recognition project is an international research effort to design and implement efficient algorithms to work with groups of matrices defined over finite, and more recently also infinite, fields. Project B7 targets a difficult and important class of matrix groups over finite fields, namely the classical groups, which occur frequently as the build-ing blocks of more general matrix groups and are vast already in small dimensions. Our aim is to design a novel second generation algorithm that takes as input a group, given by a set of matrices, which is already known to be isomorphic to a classical group and returns as output a data structure for the group. This data structure is essential for subsequent algorithms to answer questions about the group. Our algorithm is randomised and has to be accompanied by theorems which determine the probability of success and a rigorous complexity analysis of all steps. It will be implemented in OSCAR and tested on groups whose order is larger than 1020.
DFG Programme
CRC/Transregios
Applicant Institution
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Project Heads
Professor Dr. Max Horn, since 1/2021; Professorin Dr. Alice Niemeyer, since 1/2021
