Orthogonal group over a finite field
ID: orthogonal-group-over-a-finite-field
The group of invertible linear maps preserving a specified quadratic form over a finite field. In characteristic two one must preserve the quadratic form itself, not merely its polar alternating bilinear form. For a nonsingular form, any two nonzero isotropic vectors can be incorporated into hyperbolic pairs and standard adapted bases, producing an isometry between them.
New to topics? Read the docs here!