Canonical matrices of bilinear and sesquilinear forms Original Research Article

Canonical matrices are given for (i) bilinear forms over an algebraically closed or real closed field; (ii) sesquilinear forms over an algebraically closed field and over real quaternions with any nonidentity involution; and (iii) sesquilinear forms over a field image of characteristic different from 2 with involution (possibly, the identity) up to classification of Hermitian forms over finite extensions of image; the canonical matrices are based on any given set of canonical matrices for similarity over image. A method for reducing the problem of classifying systems of forms and linear mappings to the problem of classifying systems of linear mappings is used to construct the canonical matrices. This method has its origins in representation theory and was devised in [V.V. Sergeichuk, Classification problems for systems of forms and linear mappings, Math. USSR-Izv. 31 (1988) 481–501].