 Radical of a bilinear form

For a symmetric bilinear form or an alternating bilinear form, the radical is the linear subspaceThese vectors are invisible to all pairings, and the bilinear form is nondegenerate exactly when this linear subspace is $\{0\}$. In coordinates, $\mathrm{rad}B=\ker A$ for both kinds of bilinear form, since $A^T=A$ or $A^T=-A$. Thus $\mathrm{diag}(1,0)$ has radical of a bilinear form $\mathrm{span}\{(0,1)\}$.

Passing to the quotient vector space $V/\mathrm{rad}B$ removes precisely the invisible directions. The rule $\overline{B}([v],[w])=B(v,w)$ is well-defined because adding a vector in the radical of a bilinear form to either input changes no pairing, and the resulting bilinear form is nondegenerate. For $B((x,y),(s,t))=xs$, this quotient vector space retains just the $x$ direction and its form is ordinary multiplication.^[ref]

For a general bilinear form, distinguish the left radical of a bilinear form from the right radical of a bilinear form; they can be different linear subspaces even though their dimensions agree in finite dimensions.