1: \begin{abstract}

2: Let $\Omega\leq\gl(V)$ be a quasisimple classical group 

3: in its natural representation over a finite vector space $V$, and let $\Delta=\mathrm{N}_{\gl(V)}(\Omega)$.

4: We construct the projection from $\Delta$ to $\Delta/\Omega$

5: and provide fast, polynomial-time algorithms for computing the image

6: of an element.

7: Given a discrete logarithm oracle, we also represent 

8: $\Delta/\Omega$ as a group with at most 3 generators and 6 relations. We then compute canonical representatives for the cosets 

9: of~$\Omega$. 

10:  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.

11: \end{abstract}