Symplectic group over a finite field
ID: symplectic-group-over-a-finite-field
This group preserves a nondegenerate alternating bilinear form on . Choosing a nonzero vector and a partner of pairing one, then recursing on their orthogonal complement, gives . Its center consists of scalars with .
New to topics? Read the docs here!