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:
“You cannot go into any field or wood, but it will seem as if every stone had been turned, and the bark on every tree ripped up. But, after all, it is much easier to discover than to see when the cover is off. It has been well said that “the attitude of inspection is prone.” Wisdom does not inspect, but behold.”
—Henry David Thoreau (1817–1862)
“Muhammad is the Messenger of God,
and those who are with him are hard
against the unbelievers, merciful
one to another. Thou seest them
bowing, prostrating, seeking bounty
from God and good pleasure. Their
mark is on their faces, the trace of
prostration....
God has promised
those of them who believe and do deeds
of righteousness forgiveness and
a mighty wage.”
—Qur’An. Victory 48:35, ed. Arthur J. Arberry (1955)