1 Attachment(s)

Field Theory - Algebraic Extensions - D&F Section 13.2 - Example 2 - page 526

I am reading Dummit and Foote on algebraic extensions. I am having some issues understanding Example 2 on page 526 - see attachment.

Example 2 on page 526 reads as follows:

-------------------------------------------------------------------------------------------------------------------------------------

(2) Consider the field generated over by and .

Since is of degree 2 over the degree of the extension is at most 2 and is precisely 2 if and only if is irreducible over . ... ... etc etc

-----------------------------------------------------------------------------------------------------------------------------------------

My question is: why **exactly** does it follow that the degree of the extension is at most 2 and is precisely 2 if and only if is irreducible over ?

Although I may be being pedantic I also have a concern about why exactly is of degree 2 over . I know it is intuitively the case or it seems the case that the minimal polynomial is in this case but how do we demonstrate this for sure - or is it obvious? (I may be overthinking this??)

Can someone help with the above issues/problems?

Peter

Re: Field Theory - Algebraic Extensions - D&F Section 13.2 - Example 2 - page 526

Read up on degrees of field extensions over other fields. The idea is, given an irreducible polynomial over a field, the degree of the field extension by a root of that polynomial is the degree of the minimal polynomial with that root. Just as you showed, has as a root. Now, can you prove that there is not a polynomial of smaller degree whose root is ? Easily. Assume there is a first degree polynomial over whose root is : . Now, plug in the root: , which is false. So, there is no degree one polynomial with as a root.

So, consider the field extension where , but is reducible over . For example, if , then . Now, consider the field extension over . It clearly has order 1 since any element of the field extended by is still in the field extended by .

So, chance are, you are probably overthinking it, because the book is just describing the expected behavior. It works just as you would expect it to. It turns out that these degrees are multiplicative. It is easy to check that has degree 4 over , and a minimal polynomial is .

Re: Field Theory - Algebraic Extensions - D&F Section 13.2 - Example 2 - page 526

Thanks SlipEternal, that post is most helpful!

Peter