Friday, 10 May 2019

abstract algebra - Find the $[Bbb{Q}(sqrt2+sqrt3)(sqrt5):Bbb{Q}(sqrt2+sqrt3)]$

We want to find the $[\Bbb{Q}(\sqrt2+\sqrt3)(\sqrt5):\Bbb{Q}(\sqrt2+\sqrt3)]$.



My first thought is to find the minimal polynomial of $\sqrt5$ over $\Bbb{Q}(\sqrt2+\sqrt3)$. And from this, to say that $[\Bbb{Q}(\sqrt2+\sqrt3)(\sqrt5):\Bbb{Q}(\sqrt2+\sqrt3)]=\deg m_{\sqrt5,\Bbb{Q}(\sqrt2+\sqrt3)}(x).$



We take the polynomial $m(x)=x^2-5\in\Bbb{Q}(\sqrt2+\sqrt3)[x].$ This is a monic polynomial which has $\sqrt5\in \Bbb{R}$ as a root. We have to show that this is irreducible over $\Bbb{Q}(\sqrt2+\sqrt3)$, in order to say that $m(x)=m_{\sqrt5,\Bbb{Q}(\sqrt2+\sqrt3)}(x)$. The roots of $m(x)$ are $\pm \sqrt5\in \Bbb{R}.$ So,



$$m(x) \text{ is irreducible over } \Bbb{Q}(\sqrt2+\sqrt3) \iff \pm \sqrt5 \notin \Bbb{Q}(\sqrt2+\sqrt3)=\Bbb{Q}(\sqrt2,\sqrt3)$$




because $\deg m(x) =2.$



And this is the point I stack. I tried with the use of the basis of the $\Bbb{Q}$-vector space $\Bbb{Q}(\sqrt2+\sqrt3)$:
$$A:= \{1,\sqrt2,\sqrt3,\sqrt6 \}$$



in order to claim that $\nexists a,b,c,d\in \Bbb{Q}:\sqrt5=a+b\sqrt2+c\sqrt3+d\sqrt6$ but this doesn't help.



Any ideas please?



Thank you in advance.

No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...