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:
“‘Tis chastity, my brother, chastity.
She that has that is clad in complete steel,
And like a quivered nymph with arrows keen
May trace huge forests and unharbored heaths,
Infamous hills and sandy perilous wilds,
Where, through the sacred rays of chastity,
No savage fierce, bandit, or mountaineer
Will dare to soil her virgin purity.”
—John Milton (1608–1674)
“Now only a dent in the earth marks the site of these dwellings, with buried cellar stones, and strawberries, raspberries, thimble-berries, hazel-bushes, and sumachs growing in the sunny sward there.... These cellar dents, like deserted fox burrows, old holes, are all that is left where once were the stir and bustle of human life, and “fate, free will, foreknowledge absolute,” in some form and dialect or other were by turns discussed.”
—Henry David Thoreau (1817–1862)