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:
“Yet ere I can say where—the chariot hath
Passed over them—nor other trace I find
But as of foam after the ocean’s wrath”
—Percy Bysshe Shelley (1792–1822)
“Dug from the tomb of taste-refining time,
Each form is exquisite, each block sublime.
Or good, or bad,—disfigur’d, or deprav’d,—
All art, is at its resurrection sav’d;
All crown’d with glory in the critic’s heav’n,
Each merit magnified, each fault forgiven.”
—Martin Archer, Sir Shee (1769–1850)