2010/09/09 by Scott H. Murray, Colva M. Roney-Dougal, Colva M. Roney‐Dougal +2
Mathematics · #20-04 #20G40 #20H30 #FOS: Mathematics #Finite Group Theory Research #Geometric and Algebraic Topology #Group Theory (math.GR) #Homotopy and Cohomology in Algebraic Topology #math.GR #msc:20-04 #msc:20G40 #msc:20H30
paper · pdf · doi:10.48550/arxiv.1009.1672
arxiv created 2010/09/09 · openalex publication_date 2010/09/09 · arxiv updated 2010/09/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Let Omega be a quasisimple classical group in its natural representation over a finite vector space V, and let Delta be its normaliser in the general linear group. We construct the projection from Delta to Delta/Omega and provide fast, polynomial-time algorithms for computing the image of an element. Given a discrete logarithm oracle, we also represent Delta/Omega as a group with at most 3 generators and 6 relations. We then compute canonical representatives for the cosets of Omega. A key ingredient of our algorithms is a new, asymptotically fast method for constructing isometries between spaces with forms. Our results are useful for the matrix group recognition project, can be used to solve element conjugacy problems, and can improve algorithms to construct maximal subgroups.