Perfectness of finite symplectic groups
ID: perfectness-of-finite-symplectic-groups
For , embedded perfect groups contain every symplectic transvection. For , four coefficient-one transvections on the lines of an isotropic plane multiply to the identity; their abelianized class is annihilated by 3 and 4. For , seven transvections on an isotropic three-space multiply to the identity; their class is annihilated by 2 and 7. Thus all nonexceptional cases are perfect.
New to topics? Read the docs here!