Fork me on GitHub
Math for the people, by the people.

User login

extension field

degree,field extension, base field
fields, Galois
Type of Math Object: 
Major Section: 
Groups audience: 

Mathematics Subject Classification

12F99 no label found



It would be interesting to add on the possible operations on such a vector space, in the 3rd paragraph.

We know that any element of the Galois group (should have a link here) of a field extension F<E is a linear operator on E over F. Moreover, there are operations which are not field automorphisms, one of which being the multiplication by a fixed element of E. This defines the trace and norm of an element a of E in the following way.

The multiplication map A:E->E defined by Ab=ab is an F-linear operator from E to E. Consider A written in matrix form. The trace of a is defined as the trace of A, which is the sum of the eigenvalues of A. The norm of a is defined as the determinant (or norm) of A, which is the product of the eigenvalues of A. In both cases, the multiplicities are counted.

Thank you,

Genevieve Arboit

Subscribe to Comments for "extension field"