AoPSWiki
Want to learn how to tackle those tough AMC/AIME/Olympiad algebra problems? Check out Art of Problem Solving's Intermediate Algebra by Richard Rusczyk and Mathew Crawford. Over 1600 problems!

Field extension

From AoPSWiki

If K and L are fields and K\subseteq L, then L/K is said to be a field extension. We sometimes say that L is a field extension of K.

If L/K is a field extension, then L may be thought of as a vector space over K. The dimension of this vector space is called the degree of the extension, and is denoted by [L:K].

Given three fields K\subseteq L\subseteq M, then, if the degrees of the extensions M/L, L/K and M/K, are finite, then are related by the tower law: [M:K] = [M:L]\cdot[L:M]

One common way to construct an extension of a given field K is to consider an irreducible polynomial g(x) in the polynomial ring K[x], and then to form the quotient ring K(\alpha) = K[x]/\langle g(x)\rangle. Since g(x) is irreducible, \langle g(x)\rangle is a maximal ideal and so K(\alpha) is actually a field. We can embed K into this field by a\mapsto [a], and so we can view K(\alpha) as an extension of K. Now if we define \alpha as [x], then we can show that in K(\alpha), g(\alpha) = 0, and every element of K(\alpha) can be expressed as a polynomial in \alpha. We can thus think of K(\alpha) as the field obtained by 'adding' a root of g(x) to K.

It can be shown that [K(\alpha):K] = \deg g.

As an example of this, we can now define the complex numbers, \mathbb{C} by \mathbb{C} = \mathbb{R}[i] = \mathbb{R}[x]/\langle x^2+1\rangle.

This article is a stub. Help us out by expanding it.

Do you have what it takes to be the next brilliant trader, researcher, or developer at Jane Street Capital? Find out in the Careers in Mathematics Forum.
© Copyright 2008 AoPS Incorporated. All Rights Reserved. • FoundationPrivacyContact Us