User:J D Bowen/Math735 HW9

13.1.4 Prove directly that the map $$ a + b \sqrt{2} \to  $$ $$ a - b \sqrt{2} \ $$ is an isomorphism of $$ \Q (\sqrt{2}) \ $$ itself.

Let $$ \phi : \Q (\sqrt{2}) \to \Q (\sqrt{2}) \ $$ be given by $$ \phi (a + b \sqrt{2}) \ $$ = $$ a - b \sqrt{2} \ $$. We want to show that $$ \phi \ $$ is a ring homomorphism. Note that

$$ \phi \ $$ (($$a + b \sqrt{2} \ $$) + ($$ c + d \sqrt{2})) \ $$ =

$$ \phi \ $$ ($$ (a+c) + (b+d) \sqrt{2} \ $$)

= $$a + c - (b+d) \sqrt{2} \ $$

= ( a - b \sqrt{2}) +  $$ (c - d \sqrt{2}) \ $$

= $$ \phi (a + b \sqrt{2}) \ $$ + $$ \phi (c + d \sqrt{2}) \ $$.

Then, $$ \phi \ $$ ((a + b $$ \sqrt{2} \ $$) (c + d $$ \sqrt{2})) \ $$ =

= $$ \phi (ac + 2bd) + (ad + bc) \sqrt{2} \ $$

= $$ ac + 2bd - (ad + bc) \sqrt{2} \ $$

= $$ (a - b \sqrt{2}) (c - d \sqrt{2}) \ $$

= $$ \phi \ $$ (a + b $$ \sqrt{2} \ $$) $$ \phi \ $$ (c + d $$ \sqrt{2}) \ $$

In $$ \Q (\sqrt{2}) \ $$, 0 = 0 + 0 $$ \sqrt{2} \ $$, and the kernel of $$ \phi \ $$ is 0, which implies that it is injective. Then for any a + b $$ \sqrt{2} \in \Q \sqrt{2},  \exists $$ a - b $$ \sqrt{2} \ $$ such that $$ \phi \ $$ (a - b $$ \sqrt{2} \ $$) = a + b $$ \sqrt{2} \ $$, and thus $$ \phi \ $$ is surjective, and therefore bijective. Thus $$ \phi \ $$ is an isomorphism of $$ \Q (\sqrt{2}) \ $$ with itself.

13.2.3 Determine the minimum polynomial over $$ \Q \ $$ for the element 1 + $$ i \ $$.

Let $$ \alpha \ $$ =  1 + $$ i \ $$. Note that $$ i^2 \ $$ = -1.

Then we have $$ \alpha^2 \ $$ = $$ (1 + i )^2 \ $$ = $$ 1^2 + i^2 + 2i \ $$ = 1 - 1 + 2i = 2($$ \alpha \ $$ - 1).

Thus $$ \alpha \ $$ is a root of $$ x^2 \ $$ -2x + 2 $$ \in \Q \ $$ [X]. According to Einstein's criterion, using prime 2, this polynomial is irreducible, and it is monic. So, it is therefore the minimum polynomial of its root, one of which is $$ \alpha \ $$.

13.2.7Prove that $$ \Q (\sqrt{2} + \sqrt{3}) \ $$ = $$ \Q (\sqrt{2}, \sqrt{3}) \ $$.

13.2.12 Suppose the degree of the extension K/F is a prime $$ p \ $$. Show that any subfield E of K containing F is either K or F.

Note that, $$ p \  $$ = [K: F] = [K: E][E: F].

So, [E: F] is a positive integer that divides $$ p \ $$, and therefore must be equal to either 1 or $$ p \ $$. Then if [E: F] = 1, then E = F. And if [E: F] = $$ p \ $$, then [K: E] = 1 and by $$ p \ $$ = [K: F] = [K: E][E: F], K = F. Thus K = E or F = E.