Assertion: trace | /r/CapableOf | provide a duality theory
Facets:
value: via the trace form
type: MANNER
Source sentences:
text: When L/K is separable, the trace provides a duality theory via the trace form: the map from L × L to K sending (x, y) to Tr L/K (xy) is a nondegenerate, symmetric, bilinear form called the trace form.