This section describes the "standard" alternating, hermitian, quadratic and symmetric forms defined on a finite dimensional vector space over a field. These are forms of maximal Witt index together with the quadratic forms of non-maximal Witt index over finite fields (see Section Isotropic and Singular Vectors and Subspaces). The standard forms are preserved by the Magma implementation of the classical groups over finite fields.
If J is the matrix of a bilinear form, X preserves the form if XJXtr = J. If J represents an hermitian form and if /line(X) is obtained from X by application of the field automorphism, then X preserves the form if XJ/line(X)tr = J.
If β is a non-degenerate alternating form, then rad(V) and the anisotropic component of a hyperbolic splitting are zero. Thus the dimension of V must be even and V has a basis of mutually orthogonal hyperbolic pairs. In particular, up to equivalence, there is only one non-degenerate alternating form on V.
If n = 2m, this function returns the n x n matrix of a non-degenerate alternating form over the ring R (or the field of q elements) such that if e1, e2, ..., e2m is the standard basis, then (e1, e2m), (e2, e2m - 1), ..., (em, em + 1) are mutually orthogonal hyperbolic pairs.The group of isometries of this form is the symplectic group Sp(2m, R).
> K := GF(5);
> J := StandardAlternatingForm(4,K);
> J;
[0 0 0 1]
[0 0 1 0]
[0 4 0 0]
[4 0 0 0]
> V := VectorSpace(K,4,J);
> forall{ v : v in V | DotProduct(v,v) eq 0 };
true
The matrix of the standard pseudo-alternating form of degree n over the field K (or the finite field of order q), which must have characteristic 2; that is, a symmetric form which is not alternating.
The first return value of this function is the n x n anti-diagonal matrix (δi, n - i + 1) over the field K (or the field of q2 elements). If K is the finite field of q2 elements, the second return value is the field involution K to K :x |-> xq. If K is a field which admits the operation of complex conjugation, the second return value is the field automorphism which sends each element to its complex conjugate.If β is a non-degenerate hermitian form over a finite field, then rad(V) is zero and the dimension of the anisotropic component of a hyperbolic splitting is either 1 or 0.
In the finite field case, the group of isometries of this form is GU(n, q).
Minus: BoolElt Default: false
Variant: MonStgElt Default: "Default"
An n x n upper triangular matrix representing a quadratic form over the field K (or the field of order q). The default option is to return a form of maximal Witt index, namely the upper triangular matrix whose non-zero entries are δi, n - i + 1, where 1 ≤i ≤(n + 1)/2.If Minus is true and n = 2m, this function returns a form whose Witt index is m - 1. If Minus is true, n = 2m + 1 and K is a finite field of odd characteristic, the return value is a form of Witt index m which is similar to but not congruent to the default form. Use the Revised option of Variant to obtain the form preserved by the orthogonal groups AltGOMinus(n,q) and subgroups.
If K is a finite field of order q and W is the anisotropic component of a hyperbolic splitting of a form of even rank and Minus type, then W has basis vectors e and f such that Q(e) = - 1, β(e, f) = - ξ - ξq and Q(f) = - ξξq, where ξ is a primitive element of GF(q2). If the characteristic of K is odd, the Revised option returns a form corresponding to an orthonormal basis for W.
> K<z> := GF(7,2); > Q := StandardQuadraticForm(4,49 : Minus); > Q; [ 0 0 0 1] [ 0 6 5 0] [ 0 0 z^29 0] [ 0 0 0 0] > _<x> := PolynomialRing(K); > a := Q[2,2] * Q[3,3]; > IsIrreducible(x^2+x+a); true
> QR := StandardQuadraticForm(4,49 : Minus, Variant := "Revised"); > QR; [ 0 0 0 1] [ 0 4 0 0] [ 0 0 z^11 0] [ 0 0 0 0]
Minus: BoolElt Default: false
Variant: MonStgElt Default: "Default"
In all cases this is Q + Q^(tr), where Q is the corresponding standard quadratic form, as defined above.