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:
“Superstition saw
Something it had never seen before:
Brown eyes that loved without a trace of fear,
Beauty so sudden for that time of year.”
—Jean Toomer (1894–1967)
“Freedom is the essence of this faith. It has for its object simply to make men good and wise. Its institutions then should be as flexible as the wants of men. That form out of which the life and suitableness have departed should be as worthless in its eyes as the dead leaves that are falling around us.”
—Ralph Waldo Emerson (1803–1882)