1
$\begingroup$

Let $p $ and $q$ be two distinct primes.

  1. $\mathbb Q(\sqrt p)$ is isomorphic to $\mathbb Q(\sqrt q)$ as fields.

  2. $\mathbb Q(\sqrt p)$ is isomorphic to $\mathbb Q(\sqrt {-q})$ as vector spaces over $\mathbb Q$.

my try:
2nd option is correct because $\mathbb Q(\sqrt p)$ and $\mathbb Q(\sqrt {-q})$ both are $ 2$ degree extension over $\mathbb Q$. So as a vector space $\mathbb Q(\sqrt p)\cong $$\mathbb Q^2\cong \mathbb Q(\sqrt {-q})$. Is it correct, please check$?$

  • 0
    I removed the finite-field tag as all the fields appearing in the question are extensions of $\Bbb{Q}$ and therefore have infinitely many elements. – 2017-01-02

1 Answers 1

2

Yes, correct. The option (a) is false because if $\sigma:\Bbb Q(\sqrt p)\to\Bbb Q(\sqrt q)$ is an isomorphism, then let $\alpha=\sigma^{-1}(\sqrt q)$. Then $\sigma(\alpha^2)=q$, so $\alpha^2=q$, but there is no square root of $q$ in $\Bbb Q(\sqrt p)$.

  • 0
    Because $\sqrt{q} \in \mathbb{Q}(\sqrt{p})$ means $\sqrt{q} = a\sqrt{p}+b$ and $q = (a\sqrt{p}+b)^2 = a^2p+b^2+2a\sqrt{p}b$ a contradiction if $a,b \in \mathbb{Q}$ – 2017-01-02