 Trace pairing

For a finite field extension $L/K$, the trace pairing is the bilinear formIt is nondegenerate exactly when $L/K$ is separable.