How to show that the two extensions are isomorphic?

389 Views Asked by At

Let $t^2-2$ be the minimal polynomial of $\alpha$ over $\mathbb Q$ and $t^2-4t+2$ be the minimal polynomial of $\beta$ over $\mathbb Q$. I want to define an isomorphism $i:\mathbb Q\to\mathbb Q$ such that $i(t^2-2)=i(1)t^2+i(-2)=t^2-4t+2$. How can I do this?

According to theorem 5.16 of Stewart's Galois theory, this shows that the extensions $\mathbb Q(\alpha)$ and $\mathbb Q(\beta)$ are isomorphic. Another way that I've tried is as $\mathbb Q(\alpha)\cong\frac{\mathbb Q[t]}{\langle t^2-2\rangle}$ and $\mathbb Q(\beta)\cong\frac{\mathbb Q[t]}{\langle t^2-4t+2\rangle}$, I need to show that $\langle t^2-2\rangle=\langle t^2-4t+2\rangle$. let $t=s-2$, then

$$\langle t^2-2\rangle=\langle(s-2)^2-2\rangle=\langle s^2-4s+2\rangle.$$ But I'm not sure if this justifies that $\langle t^2-2\rangle=\langle t^2-4t+2\rangle$? Could you please say me if this works or not? What other methods can I use to show that $\mathbb Q(\alpha)$ and $\mathbb Q(\beta)$ are isomorphic? Thanks!

1

There are 1 best solutions below

3
On BEST ANSWER

$\newcommand{\Q}{\mathbb{Q}}$You are trying to do something impossible. The only automorphism of the field $\Q$ is the identity.

Rather, note that if $\alpha$ is a root of $t^{2} - 2$, then $\alpha + 2 \in \Q(\alpha)$ is a root of $t^{2} - 4 t + 2$, as $$ (\alpha + 2)^{2} - 4 (\alpha + 2) + 2 = \alpha^{2} + 4 \alpha + 4 - 4 \alpha - 8 + 2 = 0. $$