0
$\begingroup$

May I refer you to:

http://www.math.niu.edu/~beachy/abstract_algebra/study_guide/soln62.html#s6201

Can you please explain in detail, problem 1, the inequality:

$[K(u,v): K(u)] \leq n$ ?

EDIT:

Let's see. First the fact that $[K(v): K]=n$, tell us that we can find a minimum polynomial $p(x) \in K[x]$ such that $p(v)=0$, i.e $v$ is algebraic over the field $K$. Now clearly $K(u)$ is a field extension of $K$ therefore we have:

$p(x) \in (K(u))[x]$

and $p(v)=0$.

Now consider the field extension $K(u,v)$ of $K(u)$. Let $h(x)$ be the minimum polynomial over $(K(u))[x]$ such that $h(u)=h(v)=0$. In particular $h(v)=0$.

Question:

We can't claim that $h=p$ even though both are monic irreducible right? because we don't even know if $p$ satisfies $p(u)=0$, all we know is that $p(v)=0$. So all we can say is that $h$ divides $p$ right? (this is the part I'm kinda confused with).

And then $[K(u,v): K(u)] \leq n$. Sorry if this seems trivial to you, just started learning on my own elementary field theory.

2 Answers 2

2

The inequality just comes from the fact that the degree of $v$ over $K$ is $n$. This just means that the minimum polynomial of $v$ over $K$ has degree $n$ and since this polynomial also has coefficients in $K(u)$, the minimum polynomial of $v$ over $K(u)$ divides this one and thus has degree less than or equal to $n$. Thus the inequality $[K(u, v) : K(u)] \leq n$ follows.

Edit

So let me try to address some of the points you made. If $p(x) \in K[x]$ is the minimum polynomial of $v$ over $K$ then sure, $p(v) = 0$ and also $p(x) \in K(u)[x]$ because $p(x)$ has coefficients in $K$ so certainly its coefficients lie in the field extension $K(u)$.

But now you can also consider the minimum polynomial of $v$ over the field extension $K(u)$. You called it $h(x) \in K(u)[x]$. You know that $p(v) = 0 = h(v)$ but now the only thing you can conclude is that $h(x)$ divides $p(x)$ in $K(u)[x]$, not that $h(x) = p(x)$.

The problem with the irreducibility is that it is relative to the polynomial ring in which you are considering the polynomials to lie. To give you an easy example. Consider the field extension $\mathbb{Q}(\sqrt{2})/\mathbb{Q}$. Then the minimum polynomial of $\sqrt{2}$ over $\mathbb{Q}$ is $f(x) = x^2 - 2$. But the minimum polynomial of $\sqrt{2}$ over $\mathbb{Q}(\sqrt{2})$ is $q(x) = x - \sqrt{2}$. In this case the polynomial

$p(x) = x^2 - 2 = (x - \sqrt{2})(x + \sqrt{2}) = q(x)(x - \sqrt{2})$

factors over the polynomial ring $\mathbb{Q}(\sqrt{2})[x]$ so it does not remain irreducible.

If you have more doubts feel free to ask and I'll try to clarify.

  • 0
    @Adrián Barquero: Thanks! got it now2011-04-04
2

Since the minimal polynomial of $v$ over $K(u)$ has the degree of at most $n$. Is it enough for you?