Canonical matrices of bilinear and sesquilinear forms (Q2463613)

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 \(\mathbb F\) of characteristic different from 2 with involution (possibly, the identity) up to classification of Hermitian forms over finite extensions of \(\mathbb F\); the canonical matrices are based on any given set of canonical matrices for similarity over \(\mathbb F\). 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 by \textit{V. V. Sergeichuk} [Math. USSR-Izv. 31, 481--501 (1988; Zbl 0678.15011)].