Field Trace - Trace Form

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:

    “In your company a man could die,” I said, “a man could die and you wouldn’t even notice, there’s no trace of friendship, a man could die in your company.”
    Max Frisch (1911–1991)

    [One cannot express lack of knowledge in affirmative language.] This idea is more firmly grasped in the form of interrogation: “What do I know?”Mthe words I bear as a motto, inscribed over a pair of scales.
    Michel de Montaigne (1533–1592)