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:
“No trace of slavery ought to mix with the studies of the freeborn man.... No study, pursued under compulsion, remains rooted in the memory.”
—Plato (c. 427–347 B.C.)
“The sense of an entailed disadvantage—the deformed foot doubtfully hidden by the shoe, makes a restlessly active spiritual yeast, and easily turns a self-centred, unloving nature into an Ishmaelite. But in the rarer sort, who presently see their own frustrated claim as one among a myriad, the inexorable sorrow takes the form of fellowship and makes the imagination tender.”
—George Eliot [Mary Ann (or Marian)