## Algebraic Extensions (Pt. I)

**Point of Post: **In this post we discuss the notion of algebraic extensions, including minimal polynomials and the fact that the algebraic elements of an extension form a field.

**Motivation**

We have talked extensively about making new fields by appending new elements to the field. In this post we make an important distinction between what kind of elements can get appended to a field–roughly one being infinite in nature and the other being finite. Roughly the idea is when the new element we have appended to our field is a root of some polynomial over our original field. For example, can be appended to and it satisfies the polynomial . These objects shall be very important to us for several reasons.

First off they are the torsion analogues in the theory of fields. How exactly is this? In a literal way, every extension carries the structure of a module via and obviously the elements that satisfy some polynomial are exactly the torsion elements of this module. Secondly, these act as the torions elements when we try to describe our extension in terms of generators and relations (i.e. the quotient of some free algebra). To make this last part clear, let’s think about how we get a “presentation” for a cyclic group . We begin by recalling that we have a group homomorphism which takes to the generator . We see then that is free of relations if and only if this map is injective–if the kernel is trivial. But, often times the group is not free, in the sense that the generator satisfies some non-trivial relation (e.g. ) in which case the kernel of shall be a “relation set” (i.e. in the case we’d have the kernel is ).

Let’s now perform this same procedure with some ‘simple’ extension of , in other words an extension of the form for some . We take the free object in our case, which is just (which is just the polynomial ring). Just as before we get an -algebra map with . In general we see that so that this map will have a trivial kernel precisely when satisfies no polynomial in , and it does have a trivial kernel if does. Thus, comparing it to the case of groups we see that the “non free” extensions are those whose generators satisfy some kind of polynomial equation over the ground field.

The second reason that objects which satisfy polynomial equations are so important to us is that they are basically what finite extensions are comprised of. Indeed, we shall eventually see that finite extensions are nothing more than the field appended finitely many of these elements which satisfy polynomial equations.

Lastly, these objects are important to us because they were the main motivation for consider field extensions. Namely, we wanted to solve some problem in our original field, or in the polynomial ring of that field, and decided that we could make everything simpler if we just made the roots appear–if we just added them in. Of course, by literal definition, these appended things will satisfy polynomial equations. Thus, if we are able to get more information about field extensions which are just the ground fielded appended these “roots” we will be all the better off since this is our chief concern (as of now).

**Algebraic Extension**

Let be an extension, we call *algebraic *if there exists some such that . Equivalently, we say that is algebraic if the guarnateed -algebra map sending (named as such because it really is just evaluation, ) has a non-trivial kernel. If is not algebraic we call it *transcendental.*

Let’s take a look at some examples of algebraic and transcendental elements of some extensions.

Clearly is algebraic in the extension since where .

Consider the extension where is the rational function field and is some field. We note then that is algebraic since it satisfies .

The element in the extension is *transcendental* since the map with is nothing more than the identity map on and thus injective.

It takes a fair amount of work but one can show that in the extension one has that and are transcendental. That said, it’s still an open question as to whether is a transcendental element of the extension .

The first fundamental results about algebraic elements in some field extension is that they satisfy some monic polynomial of minimal degree. For example, is an algebraic element of the extension and while satisfies many polynomials in it satisfies one of minimal degre–namely . Moreover, we know that if annihilates then is divisible in by . What we alluded to in the first sentence of this paragraph is that, in general, an algebraic element has such a unique monic polynomial of minimal degree.

To see why this is true suppose that is an extension and is algebraic. Then, we know that the -map with has some non-trivial kernel sitting inside . But, since is a field we know that is a PID and so for some monic polynomial . Moreover, this polynomial has the property that if annihilates then , since we know that so that is a multiple of . Of course, this is the unique such polynomial satisfying these properties and so we can unambiguously define it to be the *minimal polynomial of *, which we shall denote as or . If it’s clear the ground field we are consider then we shall often times just shorten this to .

**References:**

[1] Morandi, Patrick. *Field and Galois Theory*. New York: Springer, 1996. Print.

[2] Dummit, David Steven., and Richard M. Foote. *Abstract Algebra*. Hoboken, NJ: Wiley, 2004. Print.

[3] Lang, Serge. *Algebra*. New York: Springer, 2002. Print.

[4] Conrad, Keith. *Collected Notes on Field and Galois Theory*. Web. <http://www.math.uconn.edu/~kconrad/blurbs/>.

[5] Clark, Pete. *Field Theory*. Web. <http://math.uga.edu/~pete/FieldTheory.pdf>.

[…] Algebraic Extensions (Pt. II) Point of Post: This is a continuation of this post. […]

Pingback by Algebraic Extensions (Pt. II) « Abstract Nonsense | March 25, 2012 |

[…] assume that is such a field. The first obvious question one might ask about is what its prime subfield may look like? Well, we know from first principles that is isomorphic to either for some prime […]

Pingback by Finite Fields « Abstract Nonsense | April 12, 2012 |