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!