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)
“The legislator should direct his attention above all to the education of youth; for the neglect of education does harm to the constitution. The citizen should be molded to suit the form of government under which he lives. For each government has a peculiar character which originally formed and which continues to preserve it. The character of democracy creates democracy, and the character of oligarchy creates oligarchy.”
—Aristotle (384–323 B.C.)