Over the finite field , a sesquilinear form relative to is linear in its first argument and conjugate-linear in its second. It is Hermitian when . Its diagonal values belong to ; it is nondegenerate when for every forces . This definition applies in characteristic two as well.
In a two-dimensional nondegenerate Hermitian form over a quadratic finite field, choose an orthonormal basis and with . Then is an isotropic vector. Choose with , and choose with . The vector satisfies and . Thus give the displayed matrix, including in characteristic two. Iterating on nondegenerate orthogonal complement for a sesquilinear form leaves only a unit-norm line in odd dimension.
A nondegenerate Hermitian form over a quadratic finite field has an orthonormal basis. If all diagonal values vanished, evaluating would give for every , contradicting quadratic finite-field norm and trace surjectivity and nondegeneracy. Thus some has nonzero norm; rescaling using the field norm makes it one. Its orthogonal complement for a sesquilinear form is nondegenerate, so induction completes the basis.

Articles by others on the same topic (0)

There are currently no matching articles.