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:
“What terrible questions we are learning to ask! The former men believed in magic, by which temples, cities, and men were swallowed up, and all trace of them gone. We are coming on the secret of a magic which sweeps out of men’s minds all vestige of theism and beliefs which they and their fathers held and were framed upon.”
—Ralph Waldo Emerson (1803–1882)
“To the United States the Third World often takes the form of a black woman who has been made pregnant in a moment of passion and who shows up one day in the reception room on the forty-ninth floor threatening to make a scene. The lawyers pay the woman off; sometimes uniformed guards accompany her to the elevators.”
—Lewis H. Lapham (b. 1935)