The trace pairing of a finite [field extension](/page/Field%20Extension) is nondegenerate exactly when the extension is separable. This gives a bilinear-form criterion for separability and is a central link between field trace and arithmetic structure.