49
$\begingroup$

Is there an example of an irreducible polynomial $f(x) \in \mathbb{Q}[x]$ with a real root expressible in terms of real radicals and another real root not expressible in terms of real radicals?

$\endgroup$
6
  • 9
    $\begingroup$ But $X^3-2$ has no real root other than $\root 3 \of 2$. $\endgroup$ Sep 30, 2014 at 17:40
  • $\begingroup$ There was an answer here that said similarly, but I think (following a reference from Dummit) that Isaacs notes that if a totally real polynomial (with solvable Galois group) requires only real radicals, then the Galois group is a 2-group. Though you don't require all the roots to be real as they do. jstor.org/stable/2323164 $\endgroup$ Sep 30, 2014 at 19:35
  • 20
    $\begingroup$ One root to real them all. $\endgroup$
    – Asaf Karagila
    Oct 1, 2014 at 0:06
  • 7
    $\begingroup$ @AsafKaragila And my $x$ $\endgroup$ Oct 1, 2014 at 1:13
  • 4
    $\begingroup$ @Gerry Myerson & NAME_IN_CAPS: I think there can't be an example involving only 2-power roots. In that case $\alpha\in\mathbb R$ is expressible in terms of real radicals iff there is a chain of real fields ${\mathbb Q}(\alpha)\supset K_n\supset\cdots\supset K_1\supset {\mathbb Q}$, each one quadratic over the next one. But if these conditions hold for $\alpha$ and $\beta=\sigma(\alpha)$ is a Galois conjugate root which is real, then hitting the chain with $\sigma$ produces a real chain for $\beta$, so $\beta$ is also expressible in terms of real radicals. $\endgroup$ Oct 1, 2014 at 7:34

2 Answers 2

45
$\begingroup$

The answer to the question is yes (so the answer to the title is no) and I will give an example later.

Let me first recall a couple of results. The first one is the following, that can be found in [Cox, Galois Theory, Theorem 8.6.5].

Theorem 1. Let $F$ be a subfield of $\mathbb{R}$ and let $f \in F[x]$ be an irreducible polynomial with splitting field $F \subset L \subset \mathbb{R}$. Then the following conditions are equivalent.

(1) Some root of $f$ is expressible by real radicals over $F$.

(2) All roots of $f$ are expressible by real radicals over $F$ in which only square roots appear.

(3) $[L:F]$ is a power of $2$.

So, if $f$ splits completely over $\mathbb{R}$, the existence of a root expressible by real radicals forces all the roots to be so.

On the other hand, when $f$ does not split completely in $\mathbb{R}$ this is no longer true. Let us state our second result, that can be found in

[A. Loewy, Über die Reduktion algebraischer Gleichungen durch Adjunktion insbesondere reeller Radikale, Math. Zeitschr. 15, 261-273 (1922)],

see also Cox book, Theorem 8.6.12.

Theorem 2. Let $F$ be a subfield of $\mathbb{R}$ and $f \in F[x]$ irreducible of degree $2^mn$, with $n$ odd. Then $f$ has at most $2^m$ roots expressible by real radicals over $F$.

In particular, when $f \in \mathbb{Q}[x]$ is irreducible and of odd degree, Theorem 2 implies that at most one root of $f$ is expressible by real radicals. Note that if the degree is $3$ then Theorem 2 is consistent with Cardano's formulas, and if the degree is a power of $2$ then it is consistent with Theorem 1.

Finally, let us give the following example answering the question, that can be found in Loewy's paper quoted above, page 272. Let us consider the polynomial $$x^6+6x^4-234x^2-54x-3 =(x^3+(3+9 \sqrt{3})x+ \sqrt{3})(x^3+(3-9 \sqrt{3})x- \sqrt{3}).$$ It is irreducible over $\mathbb{Q}$ by Eisenstein's criterion and it has one real root expressible by real radicals, three real roots not expressible by real radicals and two complex roots.

$\endgroup$
9
  • $\begingroup$ The question does not demand that the polynomial splits in $\mathbb R$, that’s the whole problem. $\endgroup$ Sep 30, 2014 at 18:49
  • $\begingroup$ ah, ok. I did not realize that. Thanks. $\endgroup$ Sep 30, 2014 at 18:52
  • 4
    $\begingroup$ I added an example showing that the answer to the question is yes and one reference. I hope that this is now correct. $\endgroup$ Oct 1, 2014 at 9:58
  • $\begingroup$ This sounds great! I was beginning to worry this question will turn into an entry in meta.mathoverflow.net/questions/1820 . $\endgroup$ Oct 1, 2014 at 11:32
  • 1
    $\begingroup$ The original polynomial is irreducible of degree 6, hence it cannot have a root in a quadratic extension like $\mathbb Q[\sqrt3]$. $\endgroup$ Oct 2, 2014 at 10:34
1
$\begingroup$

WARNING: Wrong answer follows, as per comments. Kept here to deter others from making the same mistake.

Perhaps $$x_1=\sqrt{2+2^{1/4}}+\sqrt{2-2^{1/4}},\quad x_2=\sqrt{2+i2^{1/4}}+\sqrt{2-i2^{1/4}}$$ are real numbers, solutions of $\bigl((x^2-4)^2-16\bigr)^2=32$, one expressed using real radicals, the other, not.

$\endgroup$
3
  • 8
    $\begingroup$ The problem here is that one can also write $x_2=\sqrt{4+2\sqrt{4+\sqrt{2}}}$ and $x_1=\sqrt{4+2\sqrt{4-\sqrt{2}}}$. $\endgroup$ Oct 1, 2014 at 1:09
  • $\begingroup$ Oops. Another answer bites the dust. Shall I leave it up, as a warning? or delete it, as an error? $\endgroup$ Oct 1, 2014 at 2:48
  • 8
    $\begingroup$ For those of us who can see dead answers, this is looking really spooky. $\endgroup$ Oct 1, 2014 at 4:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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