Are $\mathbb{Q} + \mathbb{Q}\sqrt 5 $ and $\mathbb{Q} + \mathbb{Q}\sqrt {10} $ isomorphic fields?
The problem that I'm solving says to prove that they are not. I have proven that they are fields, that they are equal to $\mathbb{Q}\left[ {\sqrt 5 } \right]$ and $\mathbb{Q}\left[ {\sqrt {10} } \right]$, respectively, but they have the same Galois group ${\mathbb{Z}_2}$, so I cant use that to obtain contradiction.
One solution that I came up with is not very elegant and goes like this:
If they are isomorphic, then they are also isomorphic as vector fields over $\mathbb{Q}$, one has basis $\left\{ {1,\sqrt 5 } \right\}$ and the other $\left\{ {1,\sqrt {10} } \right\}$.
Suppose that $\varphi $ is an isomorphism between those 2 fields, which implies it is also a bijective linear map. Then, for $a \in \mathbb{Q}$ either $\varphi \left( a \right) = \lambda a$ or $\varphi \left( a \right) = \lambda a\sqrt {10} $ for some $\lambda \ne 0$.
If $\varphi \left( a \right) = \lambda a$, then ${\lambda ^2}aa = \varphi \left( a \right)\varphi \left( a \right) = \varphi \left( {aa} \right) = \lambda aa$ for all $a \in \mathbb{Q}$, we take $a \ne 0$ and obtain $\lambda = 1$. If $\varphi \left( a \right) = \lambda a\sqrt {10} $ then $\lambda aa\sqrt {10} = \varphi \left( {aa} \right) = \varphi \left( a \right)\varphi \left( a \right) = 10{\lambda ^2}aa,\forall a \in \mathbb{Q}$, we take $a \ne 0$ and obtain $\lambda = \frac{{\sqrt {10} }}{{10}}$ so $\varphi \left( a \right) = \frac{{\sqrt {10} }}{{10}}a\sqrt {10} = a,\forall a \in \mathbb{Q}$.
In either case, $\varphi $ is $\mathbb{Q}$-embedding.
For $\varphi $ to be surjective, it is then necessary that $\varphi \left( {\sqrt 5 } \right) = \lambda \sqrt {10} $ fore some $\lambda \ne 0$. We have $5 = \varphi \left( 5 \right) = \varphi \left( {\sqrt 5 \sqrt 5 } \right) = \varphi \left( {\sqrt 5 } \right)\varphi \left( {\sqrt 5 } \right) = 10{\lambda ^2} \Rightarrow \lambda = \pm \frac{{\sqrt 2 }}{2}$.
So, the only 2 possibilities are ${\varphi _{1,2}}:\mathbb{Q}\left[ {\sqrt 5 } \right] \to \mathbb{Q}\left[ {\sqrt {10} } \right]$ given by ${\varphi _{1,2}}\left( {a + b\sqrt 5 } \right) = a \pm b\sqrt 5 $, but $\sqrt 5 \notin \mathbb{Q}\left[ {\sqrt {10} } \right]$. We conclude that there is no such isomorphism.
Is there an easier, more elegant way, using theory of field extensions, embeddings and Galois theory, to see that these 2 fields are not isomorphic?
EDIT: I realized now that if we know that $\varphi $ is $\mathbb{Q}$-embedding, then it must be $\varphi \left( {a + b\sqrt 5 } \right) = a \pm b\sqrt 5 $ because $ \pm \sqrt 5 $ are the only conjugates of $\sqrt 5 $ over $\mathbb{Q}$.
The only question that remains is: is there an easier way to see that $\varphi $ is $\mathbb{Q}$-embedding?