In mathematics, the field trace is a function defined with respect to a finite field extension L/K. It is a K-linear map from L to K. As an example, if L/K is a Galois extension and α is in L, then the trace of α is the sum of all the Galois conjugates of α, i.e.
where Gal(L/K) denotes the Galois group of L/K.
For a general finite extension L/K, the trace of an element α can be defined as the trace of the K-linear map "multiplication by α", that is, the map from L to itself sending x to αx. If L/K is inseparable, then the trace map is identically 0.
When L/K is separable, a formula similar to the Galois case above can be obtained. If σ1, ..., σn are the distinct K-linear field embeddings of L into an algebraically closed field F containing K (where n is the degree of the extension L/K), then
Read more about Field Trace: Properties of The Trace, Trace Form
Famous quotes containing the words field and/or trace:
“My prime of youth is but a frost of cares,
My feast of joy is but a dish of pain,
My crop of corn is but a field of tares,
And all my good is but vain hope of gain:
The day is past, and yet I saw no sun,
And now I live, and now my life is done.”
—Chidiock Tichborne (1558–1586)
“A horse, a buggy and several sets of harness, valued in all at about $250, were stolen last night from the stable of Howard Quinlan, near Kingsville. The county police are at work on the case, but so far no trace of either thieves or booty has been found.”
—H.L. (Henry Lewis)