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 TrL/K(xy) is a nondegenerate, symmetric, bilinear form called the trace form. An example of where this is used is in algebraic number theory in the theory of the different ideal.
The trace form for a finite degree field extension L/K has non-negative signature for any field ordering of K. The converse, that every Witt equivalence class with non-negative signature contains a trace form, is true for algebraic number fields K.
Read more about this topic: Field Trace
Famous quotes containing the words trace and/or form:
“Some wood-daemon
has lightened your steps.
I can find no trace of you
in the larch-cones and the underbrush.”
—Hilda Doolittle (1886–1961)
“There is a sort of veteran women of condition, who, having lived always in the grand mode, and having possibly had some gallantries, together with the experience of five and twenty or thirty years, form a young fellow better than all the rules that can be given him.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)