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:
“To love someone is to isolate him from the world, wipe out every trace of him, dispossess him of his shadow, drag him into a murderous future. It is to circle around the other like a dead star and absorb him into a black light.”
—Jean Baudrillard (b. 1929)
“It is a conquest when we can lift ourselves above the annoyances of circumstances over which we have no control; but it is a greater victory when we can make those circumstances our helpers,—when we can appreciate the good there is in them. It has often seemed to me as if Life stood beside me, looking me in the face, and saying, “Child, you must learn to like me in the form in which you see me, before I can offer myself to you in any other aspect.””
—Lucy Larcom (1824–1893)