Orthogonal similarity and pairs of quadratic forms Original Research Article

The trace takes bilinear forms over a separable field extension to certain bilinear forms over the base field. This paper shows how to compute the inverse of that process. The construction implies that two known ways of classifying rational symmetric matrices under orthogonal similarity are actually the same.