Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-2/6/a/solution
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 2 6 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Let have dimension over the finite field , with a nondegenerate alternating bilinear form . The symplectic group over a finite field isIt acts simply transitively on ordered symplectic bases: a linear map between two such bases is uniquely specified and preserves all pairings, hence the whole bilinear form.
Count a first hyperbolic pair . There are choices for . Nondegeneracy makes a nonzero linear functional, so there are choices of with . Their span is nondegenerate, and its symplectic orthogonal complement is a symplectic vector space of dimension . Recursing, with , yieldsThe construction also proves the existence of the required symplectic bases, in characteristic two as well as odd characteristic.
New to topics? Read the docs here!