Constructive homomorphisms for classical groups
Let Omega <= GL(V) be a quasisimple classical group in its natural representation over a finite vector space V. and let Delta = N(GL(V)) (Omega). 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. (C) 2010 Elsevier Ltd. All rights reserved.
classical group matrix group recognition orthogonal group spinor norm