Representation of a bilinear form relative to a nondegenerate bilinear form (source code)

= Representation of a bilinear form relative to a nondegenerate bilinear form

If $B_1$ is a <nondegenerate bilinear form> on a finite-dimensional vector space and $B_2$ is any bilinear form, there is a unique <linear map> $\alpha$ such that
$$
B_2(v,w)=B_1(v,\alpha w).
$$
The right radical of $B_2$ is $\ker\alpha$.