Trace pairing
= Trace pairing
For a finite field extension $L/K$, the trace pairing is the <bilinear form>
$$
(x,y)\longmapsto\operatorname{Tr}_{L/K}(xy).
$$
It is nondegenerate exactly when $L/K$ is separable.
= Trace pairing
For a finite field extension $L/K$, the trace pairing is the <bilinear form>
$$
(x,y)\longmapsto\operatorname{Tr}_{L/K}(xy).
$$
It is nondegenerate exactly when $L/K$ is separable.