[Math] Showing that $\mathbb{Q}(\sqrt{3})$ isomorphic to $\mathbb{Q(\sqrt{-3})}$. (or possibly disprove it)

abstract-algebrafield-theory

How can I show that $\mathbb{Q}(\sqrt{3})$ is isomorphic to $\mathbb{Q(\sqrt{-3})}$. (or possibly disprove it)?

What I know:

I don't know how to begin if it is the case that they are not isomorphic.

In the case that they are isomorphic:

I can show that they are isomorphic to one another by producing a bijective homomorphism.

I consider $\phi:\mathbb{Q}(\sqrt{3})\to\mathbb{Q}(\sqrt{-3})$ however I am having trouble thinking of a mapping for the elements that works.

$a+\sqrt{3}b$ maps to ??

Best Answer

It seems that your problem is in checking that your map is a homomorphism.

I claim that no map $\varphi: \mathbb Q(\sqrt{-3}) \to \mathbb Q(\sqrt 3)$ can be a field homomorphism.

For assume such a map existed, then it would have to fix $\mathbb Q$ and we have that $-3 = \varphi(-3) = \varphi(\sqrt{-3} \sqrt{-3}) = \varphi(\sqrt{-3}) \varphi(\sqrt{-3})$ implying that $\varphi(\sqrt{-3}) \in \mathbb Q(\sqrt 3)$ squares to $-3$ which is a contradiction as $\mathbb Q(\sqrt 3) \subset \mathbb R$.

Related Question