I'd like to show that for $p,q$ distinct primes, the extensions $\mathbb Q(\sqrt p),\mathbb Q(\sqrt q)$ are not isomorphic. I don't really have knowledge of the "high-level language" of algebraic number theory, so my approach is going to be very bit-wise, if you will.

Here's my try:

If there were such an isomorphism, call it $\varphi$. I know that we must have: $$\left\{\begin{align}&\varphi\mid_{\mathbb Q} = \text{id} \\ &\varphi(\sqrt p) =\pm\sqrt p \end{align}\right.$$

So essentially the existence of $\varphi$ means that for any $a+b'\sqrt p$ there exist $c,d$ such that $\varphi(a+b'\sqrt p) = a+b\sqrt p = c+d\sqrt q$ (where $b$ might be a sign change of $b'$). Take, to simplify $a=0, b=1$. Let $\alpha = \sqrt p – d\sqrt q = c$, from above. We can rearrange to obtain $$\begin{align}&(\alpha-\sqrt p)^2 = d^2q \Rightarrow \\ \Rightarrow& \ \alpha^2 – 2\alpha\sqrt p + p – d^2q = 0 \\ \Rightarrow& \ \sqrt p -\frac{c^2+p-d^2q}{2c} = \sqrt p – \lambda = 0\end{align}$$

But then it has to be that $(x^2-p) \mid (x-\lambda)$, which cannot be.

This proof however doesn't satisfy me for two reasons. First of all, I'd like to have stopped at the polynomial I found in $\alpha$, shown that it was irreducible in $\mathbb Q(\sqrt2)$, and argued in terms of extension degrees. However I don't know how to show that. The second reason is that I'm not using the primality of $p,q$ other than having it imply the irreducibility of $x^2-p$. It seems to me from the way the exercise is worded that if they were compound and $x^2-p,x^2-q$ were still irreducible, we might have a homomorphism.

Can someone clarify?

## Best Answer

I'm not convinced by your claim that $\phi(\sqrt{p}) = \pm \sqrt{p}$ (is this a typo for $\pm \sqrt{q}$?)

However, we do know that $\phi(\sqrt{p}) = a + b \sqrt{q}$ for some $a , b \in \mathbb{Q}$.

So $p = \phi(p) = \phi(\sqrt{p}^2) = \phi(\sqrt{p})^2 = (a + b \sqrt{q})^2 = a^2 + b^2q + 2ab \sqrt{q}$

So either $a = 0$ or $b=0$. If $b=0$ then we have $p = a^2$, if $a=0$ then we have $p = b^2q$; neither of these can occur as $p$ is prime and distinct from $q$. Contradiction.

With regards to your point about using primality of $p$, we do have $\mathbb{Q}(\sqrt{pa^2}) \cong \mathbb{Q}(\sqrt{p})$ for any integer $a$ and prime $p$, for example.