Odd-dimensional orthogonal groups as amalgams of unitary groups.: Part 2: Machine computations

In the first part [C. Bennett, R. Gramlich, C. Hoffman, S. Shpectorov, Odd-dimensional orthogonal groups as amalgams of unitary groups. Part 1: General simple connectedness, J. Algebra 312 (2007) 426–444], a characterization of central quotients of the group Spin(2n+1,q) is given for n⩾3 and all odd prime powers q, with the exception of the cases n=3, q∈{3,5,7,9}. The present article treats these cases computationally, thus completing the Phan-type theorem for the group Spin(2n+1,q).