Fast constructive recognition of black box orthogonal groups

We present an algorithm that constructively recognises when a given black box group is a nontrivial homomorphic image of the orthogonal group Ωε(d,q) for known ε, d and q. The algorithm runs in polynomial time assuming oracles for handling SL(2,q) subgroups and discrete logarithms in .