The trace pairing of a finite [field extension](/page/Field%20Extension) is symmetric because multiplication in the field is commutative. This identifies the trace form as a symmetric bilinear object and prepares it for discriminants and separability tests.