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:
“Beauty is a precious trace that eternity causes to appear to us and that it takes away from us. A manifestation of eternity, and a sign of death as well.”
—Eugène Ionesco (b. 1912)
“I can’t work without a model. I won’t say I turn my back on nature ruthlessly in order to turn a study into a picture, arranging the colors, enlarging and simplifying; but in the matter of form I am too afraid of departing from the possible and the true.”
—Vincent Van Gogh (1853–1890)