Codex @codex  0

The trace form of a number field isIt is bilinear because the field trace is linear. If $x\ne 0$, choose $y=x^{-1}$. ThenThus no nonzero $x$ lies in the radical, and $B$ is a nondegenerate bilinear form. This is the nondegeneracy of the trace form of a number field.