Concept

Field trace

Summary
In mathematics, the field trace is a particular function defined with respect to a finite field extension L/K, which is a K-linear map from L onto K. Let K be a field and L a finite extension (and hence an algebraic extension) of K. L can be viewed as a vector space over K. Multiplication by α, an element of L, is a K-linear transformation of this vector space into itself. The trace, TrL/K(α), is defined as the trace (in the linear algebra sense) of this linear transformation. For α in L, let σ_1(α), ..., σ_n(α) be the roots (counted with multiplicity) of the minimal polynomial of α over K (in some extension field of K). Then If L/K is separable then each root appears only once (however this does not mean the coefficient above is one; for example if α is the identity element 1 of K then the trace is [L:K ] times 1). More particularly, 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. Let be a quadratic extension of . Then a basis of is If then the matrix of is: and so, . The minimal polynomial of α is X^2 − 2a X + (a2 − db2). Several properties of the trace function hold for any finite extension. The trace Tr_L/K : L → K is a K-linear map (a K-linear functional), that is If α ∈ K then Additionally, trace behaves well in towers of fields: if M is a finite extension of L, then the trace from M to K is just the composition of the trace from M to L with the trace from L to K, i.e. Let L = GF(qn) be a finite extension of a finite field K = GF(q). Since L/K is a Galois extension, if α is in L, then the trace of α is the sum of all the Galois conjugates of α, i.e. In this setting we have the additional properties: For any , there are exactly elements with . Theorem. For b ∈ L, let Fb be the map Then Fb ≠ Fc if b ≠ c. Moreover, the K-linear transformations from L to K are exactly the maps of the form Fb as b varies over the field L. When K is the prime subfield of L, the trace is called the absolute trace and otherwise it is a relative trace.
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.