1

Let $u=\sqrt{5 + \sqrt2} \in \mathbb{C}$.

Hoping I have done well, are there errors in my considerations? A help will be well appreciated, thank you.

Let $f=\min_{\mathbb{Q}}(u) = x^4-10x^2+23$, the splitting field $\mathbb{F}$ for $f$ on $\mathbb{Q}$ is $\mathbb{F} = \mathbb{Q}[u,v]$, where $v = \sqrt{5 - \sqrt2}\,\,$. After proving that $\sqrt 2$, $\sqrt{23} \in \mathbb{F}$, which is quite easy, consider $\mathbb{K} = \mathbb{Q}[\sqrt 2]\,\,$ and $\,\,g =\min_{\mathbb{K}}(v) = x^2-5+\sqrt 2$.

How to prove that $u \notin \mathbb{K}[v]$?

In addition, $[\mathbb{F} : \mathbb{Q}] = [\mathbb{F} : \mathbb{Q}[u]][\mathbb{Q}[u] : \mathbb{Q}] = 8$, which is a Galois extension because it's finite, normal and separable; hence $[\mathbb{F} : \mathbb{Q}] = 8 = |G| :=|\mathrm{Gal}(\mathbb{F} | \mathbb{Q})|$. Now, $G$ acts transitively on the set $R_f=\{u, -u, v, -v\}\,$, therefore $G \simeq K \leqslant \mathrm{Sym}(R_f) \simeq S_4$ and the only subgroup of $S_4$ of order $8$ is $D_8$, so $G \simeq D_8$.

Finally, there are two sub-fields $\mathbb{L}$ of $\mathbb{F}$ of grade $4$ on $\mathbb{Q}$ s.t. $\mathbb{L} | \mathbb{Q}$ is normal, which are $\mathbb{K}[u]$ and $\mathbb{K}[v]$.

user26857
  • 52,094
F.inc
  • 1,133
  • 3
    It might be worth including the actual question (as right now this is just a text block without a definite goal). Also, what is $K$? – mrtaurho Jan 31 '21 at 01:04
  • @mrtaurho from the text $\mathbb{K} = \mathbb{Q}[\sqrt 2]$ and there is an actual question which is "how to prove that $u \notin \mathbb{K}[v]$ – F.inc Jan 31 '21 at 08:02
  • 1
    I was refering to $K$ and not to $\Bbb K$. But I'm also not sure if the paragraph after your question is relevant at all (that's why I was confused inititally about your question(s)). – mrtaurho Jan 31 '21 at 13:03
  • 1
    This is equivalent to proving $u\notin\mathbb {Q} (v) $ and can be done using traces. See https://math.stackexchange.com/a/4252834/72031 – Paramanand Singh Jan 23 '22 at 02:30
  • Surely the roots of $f$ are $\pm\sqrt{5\pm\sqrt2}$. It can not be then that $\Bbb Q(u)$ is normal over $\Bbb Q$. – Lubin Jan 24 '22 at 03:50

0 Answers0