## Degrees

Dr Kim,

A quick follow up question:

In certain solved examples of this type, we’ve assumed that has a degree 4, how do we know this already?

And in others we simply work out the degree of the minimum polynomial for and prove it’s irreducible. Then it says by the tower theorem the degree of is less than or equal to 4?

It does seem that the degree of would be 4, but i’m not sure about the theory behind it.

————————————————

Reply:

Firstly, the fact that the degree of is less than or equal to 4 requires only the tower theorem since

and

So when you’ve proved that the minimal polynomial of has degree 4, then you know that the subfield has degree *equal* to 4, showing that both have degree four and are the same field. This kind of argument is common.

For some more examples of the requisite argument, you can look at the document `Some irrationality’ on the course webpage.

### Like this:

Like Loading...

*Related*