 Trace form of a number field

The trace form of a number field $K$ is the symmetric bilinear form

The pairing uses the field trace of the product, rather than taking a trace of each factor separately.