## You are here

Homeextension field

## Primary tabs

# extension field

We usually denote $K$ being an extension of $F$ by $F\subset K$, $F\leq K$, $K/F$ or

$\xymatrix{K\ar@{-}[d]\\ F}$ |

One may speak of the field extension $K/F$ and call $F$ the base field.

If $K$ is an extension of $F$, we can regard $K$ as a vector space over $F$. The dimension of this space (which could possibly be infinite) is denoted $[K:F]$, and called the degree of the extension.^{1}^{1}The term “degree” reflects the fact that, in the more general setting of Dedekind domains and scheme-theoretic algebraic curves, the degree of an extension of function fields equals the algebraic degree of the polynomial defining the projection map of the underlying curves.

One of the classic theorems on extensions states that if $F\subset K\subset L$, then

$[L:F]=[L:K][K:F]$ |

(in other words, degrees are multiplicative in towers).

## Mathematics Subject Classification

12F99*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new correction: Error in proof of Proposition 2 by alex2907

Jun 24

new question: A good question by Ron Castillo

Jun 23

new question: A trascendental number. by Ron Castillo

Jun 19

new question: Banach lattice valued Bochner integrals by math ias

## Comments

## Addition of link to Galois group and of definitions of norm ...

Hi,

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