## The Degree of an Extension

**Point of Post: **In this post we discuss the notion of the degree of an extension and prove some theorems relating to it, including the multiplicativeness for towers.

**Motivation**

Ok, so now on to our first order of buisness after defining field extensions–the size of an extension. Roughly we want now to measure how “big” the extension of our field is. There is no obvious way to do this in general (thinking just about the definitions, one field contained in another) and even in the more restricted classes where some definitions of “size” more easily present themselves, we can be mislead. For example, one may be apt to say that a subextension of of the form is “smaller” than one of the form because it has “less things appended”. While initially appealing this is an absolutely terrible idea. First of all one of the conditions we should desire in our notion of “size” is that, at least in nice cases (the class of extensions of the form counting), objects of the same size can’t nontrivially sit inside one another. In less cryptic terms if are two “nice” subextensions of with then should imply that, in fact, . Our counting of appended elements fails terribly at this–for example yet is an abelian group of infinite rank. More egregiously though, our “appendage counting” if you will, is not even well defined. I’m sure you can convince yourself that for every . You may protest saying “it’s stupid to add rational numbers–it should work in other cases”. Ce n’est pas vrai mon ami. Indeed, it may be non-obvious at first, but where is the roots of the polynomial and . So, we can definitely conclude that “appendage counting” is not the way to go.

This all said, I made it clear earlier that there are no obvious ways to define size based solely on the definition “an extension is a field which is a subset of another field”. But, we were actually able to think about extensions quite differently–they are just -algebras which happen to be fields. And -algebras, if anything, are -vector spaces, and vectors spaces are things we know very well how to “size up”.

**The Degree of an Extension**

Let be a field and an extension. We define the *index of *, denoted , to be the dimension where we are thinking about as an -algebra.

Now, we said last time that we are not going to think explicitly about field extensions as being -algebra (i.e. rings with maps ) but instead just as fields containing . How do we reconcile these two view points? Well, if one goes back and looks at how we go from a map to defining an -vector space structure on one sees that we defined for and to be where this is just normal -multiplication. Thus, we see that given an extension thought of as some kind of embedding we are thinking of as an -vectors space by the action . But, the thing we said is that we might as well identify with so that we’d have the identification and so literally just becomes . This is the key to our desired reconciliation. To make everything kosher with our conflation of literal extensions and just fields containing we should define the -vector space structure in the latter by just normal multiplication in the ambient field.

For example, the implied -space structure on is just the structure where the scalar multiplication of by is just normal -multiplication.

*Remark: *If the above was confusing (doubtlessly, in no small part to my poor writing) just keep in mind that for us an extension of is a field containing , and has an -vector space structure by defining scalar multiplication of by to just be normal -multiplication. The above just discusses why this is the “right definition” if we want to conflate our two different ways of thinking about extensions of .

Let’s see what the degree of the various examples we discussed last time

It’s easy to see that .

Again, it’s not hard to see that whereas –this makes concretely how “bad” the size measurement suggested via “appendage counting was.

Much less obvious than the previous two is the fact that . Here’s a plausibility argument. We note that since is a countably infinite linearly independent set. That said, we claim that the cardinality of is at most . Indeed, it’s trivial that , and so it suffices to bound the cardinality of . To do this we note that every holomorphic map is continuous, and since is Hausdorff each is determined on a dense subset. That said, is a subspace of which is second countable, and thus is second countable. Thus, we see that we can inject into (where is a countable dense subset of ) but . Thus, by pure cardinality reasons we may conclude that and so if we assume something like the Continuum Hypothesis, we’re golden, if not, we’re not. It shouldn’t be too hard to make everything above more rigorous though, so I’ll leave that to you.

It’s easy to make large estimates of the degree of a given field over its prime subfield. For example, if is a field with then evidently if and only if , in which case . If then it’s easy to see that is countable implies that .

We note that, right off the bat, our definition of size (i.e. index) has one of the desired qualities: it forbids nice objects of the same size to sit inside one another. Of course, what I mean by this is that if is an extension of finite index and is a subextension (necessarily of finite index) then implies . We call this nice class of extensions, those with finite index, *finite extensions*. These type of extensions shall be our bread and butter when talking about field extensions. The reason for this is given any extension, even one of infinite degree, we can often times “specialize” the argument to some finite subextension (e.g. consider opposed to ).

**References:**

**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>.

[…] The Degree of an Extension (Pt. II) Point of Post: This is a continuation of this post. […]

Pingback by The Degree of an Extension (Pt. II) « Abstract Nonsense | March 8, 2012 |