4
$\begingroup$

Let $a$, $b$ be positive rational numbers such that $b$ is not the square of a rational number and $a^2-b$ is not a cube. Are these conditions sufficient to insure that the field ${\bf Q}(\sqrt[3]{a+\sqrt{b}})$ has a single non-trivial subfield and is there a way of showing that the only non-trivial subfield of ${\bf Q}(\sqrt[3]{a+\sqrt{b}})$ is ${\bf Q}(\sqrt{b})$ without computing the Galois group of the normal closure?

If there exists a subfield of degree 3, it must be ${\bf Q}(\sqrt[3]{a^2-b})$ by a norm argument, but I can't see how to conclude from this.

$\endgroup$
5
  • 1
    $\begingroup$ Please do not self-vandalize your posts. $\endgroup$
    – Wojowu
    Commented Sep 27 at 9:08
  • $\begingroup$ @Wojowu The question is badly worded and certainly deserves deletion but this cannot happen since there is an answer. $\endgroup$
    – coudy
    Commented Sep 27 at 10:17
  • 2
    $\begingroup$ @coudy In this case, put an edit in boldface at the top saying something like “this question is badly worded and shouldn't have been posted”, and briefly summarize the problem or the issue making it “wrong”. But the fact that it received an interesting answer suggests that the question wasn't so worthless at all! $\endgroup$
    – Gro-Tsen
    Commented Sep 27 at 10:34
  • $\begingroup$ @Gro-Tsen To be frank, I can't make sense of the answer which looks AI generated (a degree 6 separable polynomial with three roots?). Deleting a question does not prevent posting a better one (and other answers). $\endgroup$
    – coudy
    Commented Sep 27 at 10:38
  • 2
    $\begingroup$ @coudy I ensure you it's not an AI generated answer, and yes, a degree 6 polynomial with 3 roots is a perfectly common thing. $\endgroup$ Commented Sep 27 at 10:54

1 Answer 1

12
$\begingroup$

This is not true in general. For $b=c^3+a^2$ (which is generically not a square), the Galois group shrinks to the order 12 dihedral group $D_6$, implying there is a cubic subfield (other than the one you mention, since of course $a^2-b$ would be a cube); concretely: a root field of $x^3+3cx+2a$.

[EDIT: In view of a late edit of the question, excluding the above family of counterexamples, let me just add that $a=1$, $b=4/5$ is an example not comprised in the above, but also with Galois group isomorphic to $D_6$.]

EDIT: Since the question may have been asked with a different intention, here's a suggestion how to show uniqueness of the intermediate field in the case where it holds. Concretely, assuming irreducibility of the polynomial, existence of a 3-cycle in the Galois group is sufficient (in fact, also necessary), and this can be verified without computing the whole group. E.g., if we're confident that it holds then via Chebotarev's density theorem, one will eventually find a prime $p$ such that the mod-$p$ reduction is separable with exactly $3$ roots in $\mathbb{F}_p$, which does the trick. Alternatively, one can hope to find a ramified prime whose inertia group is generated by a $3$-cycle (this holds ``generically", namely for the prime ideal generated by $b-a^2$ of the function field $F(b)$ with $F=\mathbb{Q}(a)$ (and $a,b$ transcendental); so it will also hold for many, although not for all specializations). For example some discriminant analysis shows that it will hold when $a,b\in \mathbb{Z}$ are chosen coprime and $b-a^2$ has at least one prime divisor $p>3$ of multiplicity coprime to $3$.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .