0
$\begingroup$

Let $L$ be the subfield of $\mathbb{R}$, of all reals that are algebraic over $\mathbb{Q}$: $L = \{ x\in \mathbb{R} : x \text{ is algebraic over } \mathbb{Q} \}, \;\;\; \mathbb{Q} \subseteq L$.

Let $K$ be finite field extension of $L$ such that $K \subseteq \mathbb{C}$. By the primitive element theorem $K = L(a)$. Denote by $f(x)$ the minimal polynomial of $a$ over $L$.

Prove $f(x)$ has no real roots.

Any hints ?

Edit: I made a mistake in the original question. $K/L$ is finite extension.

$\endgroup$
  • 1
    $\begingroup$ What if the extension $K/L$ is infinite in degree? $\endgroup$ – user38268 Jul 15 '12 at 9:48
  • $\begingroup$ Sorry. $K/L$ need to be a finite extension. I fixed the question. $\endgroup$ – colge Jul 15 '12 at 10:09
  • $\begingroup$ I don't think you can use the PET for the reason Benja mentioned. Perhaps you want to talk about an algebraic element $\,a\in K-L\,$? $\endgroup$ – DonAntonio Jul 15 '12 at 10:10
  • 1
    $\begingroup$ Please edit your question to add that new, important info about $\,K/L\,$ $\endgroup$ – DonAntonio Jul 15 '12 at 10:11
  • $\begingroup$ Anyway, I think the result is true for any algebraic element $a\in K-L$. $\endgroup$ – colge Jul 15 '12 at 10:12
3
$\begingroup$

Assuming $\,K/L\,$ is a finite non-trivial extension ( $\,K\neq L\,$) then clearly $\,a\in\Bbb C-\Bbb R\,$ .

If the minimal polynomial $\,f(x)\,$ of $\,a\,$ over $\,L\,$ had a real root $\,w\,$ then $$\,L(w)/L\,,\,L/\Bbb Q\,\,\text{are both algebraic}\, \,\Longrightarrow L(w)/\Bbb Q\,\,\text{is algebraic}$$ and thus $\,w\in L\Longrightarrow\,(x-w)\mid f(x)\,$ in $\,L[x]\,\Longrightarrow a\,$ is a root of $$g(x)=\frac{f(x)}{x-w}\in L[x]\,\,\,and\,\,\,\deg\frac{f(x)}{x-w}<\deg f(x)$$ which of course cannot be.

$\endgroup$
0
$\begingroup$

The only algebraic extensions of $L$ are $L$ itself (which is a real closed field) and $ L(i) = \overline{\mathbf{Q}}$ (which is an algebraically closed field).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.