I am just beginning to study fields and for whatever reason am finding their presentation to be completely baffling - moreso than I think anything I have ever studied. I am reading out of chapter 21 of this free book: http://abstract.ups.edu/download.html. I understand pretty much all the definitions & statements & proofs in isolation but what I find really lacking in my understanding is how to apply any of that to simple computations. Now I understand this is a Q&A site so I have selected one question that I hope might help clear this up for me, 2(g) in Judson's book, page 328:
Find a basis for the following field extension. What is the degree of the extension? $\mathbb{Q}(i, \sqrt{2} + i, \sqrt{3} + i)$ over $\mathbb{Q}$.
Now when I look at this a lot of things go through my head. I know this field is the same as the field created by adjoining each of those elements one by one, and that the total degree will be the product of the degree of each of those extensions. In an abstract sense, I know what a basis should look like: all possible products of the bases of each of those extensions.
I'm also fairly certain that $\mathbb{Q}(i, \sqrt{2} + i, \sqrt{3} + i)$ = $\mathbb{Q}(\sqrt{2}+\sqrt{3}, i)$. But does this help me? I can't see how.
Another source of confusion I have is that, say for example in my solution for the above problem I need to find the degree of the extension $\mathbb{Q}(\sqrt{2}+i)$. Well I know that I could find the fact that $\sqrt{2}+i$ is a root of $x^4-2x^2+9$, which has degree 4. I am pretty certain that this is the minimal polynomial, but I see no way of showing that. I keep running into basic misunderstandings like this left and right. Should I instead be approaching finding the degree of that extension from another angle?
If someone could help me get started in this area I would be completely grateful! Alternatively a recommendation for an online treatment of this sort of material would be great, I find Judson's book has few detailed examples that justify the steps - a lot of use words like "obviously" and "easily seen" that are frustrating to a tired newcomer.
So it looks like you understand the definitions of the stuff you're studying but haven't worked out the techniques needed to prove things. This is usually the hard part in learning a new topic. Maybe I can help by thinking about the problem you wrote.
So $\mathbb{Q}( i, \sqrt{2}+i, \sqrt{3}+i)$ is indeed the same as $\mathbb{Q}( i, \sqrt{2}+ \sqrt{3})$. How do we show this? Well the first extension is definitely the same as $\mathbb{Q}( i, \sqrt{2}, \sqrt{3})$ and then $\mathbb{Q}( \sqrt{2}, \sqrt{3})$ is the same as $\mathbb{Q}( \sqrt{2}+ \sqrt{3})$. How can we rigorously prove this latter equivalence? Well, the first field definitely contains the second. Also, $\mathbb{Q}( \sqrt{2}), \mathbb{Q}( \sqrt{3})$ are both degree 2 extensions of $\mathbb{Q}$. Their intersection is $\mathbb{Q}$ since if $a+b \sqrt{2}= c + d \sqrt{3}$ for $b, d $ nonzero, then isolating the $\sqrt{2}$ term, we get $(c-a+d \sqrt{3})^2=2b^2$.The right-hand side is rational, but the left can only be rational if $c-a=0$. But then we have $d \sqrt{3}=b \sqrt{2}$ which is impossible. Thus, $\sqrt{3} \notin \mathbb{Q}( \sqrt{2})$ and so $\mathbb{Q}( \sqrt{2}, \sqrt{3})$ is a degree 4 extension. One can similarly show that $\mathbb{Q}(\sqrt{2}+ \sqrt{3})$ is a degree 4 extension, and so since one contains the other, they are equal.
In any case, if you know that your extension is just $\mathbb{Q}( \sqrt{2}, \sqrt{3}, i)$ then you can easily pin down the degree of the extension. Adjoining the first two square roots is a degree 4 extension as we have seen.But the extension is real and so cannot contain $i$. Thus, adjoining $i$ gives a degree $8$ extension in total. What is a basis? Well it will have $8$ elements. $1, \sqrt{2}, \sqrt{3}, i$ will be in that basis. Also, $\sqrt{6}, \sqrt{2}i, \sqrt{3}i, \sqrt{6}i$. Since we know a basis will have 8 elements, to show this is a basis, we need only show it is a spanning set for our field extension. This is more or less obvious, but a good exercise if you don't see it right away.