I'm impressed at the pace your course is going forward (but wouldn't try this at home). Apparently Germans know something about teaching abstract algebra that we don't.

Since you did well last week with very minimal hints (more like gentle probing), let's just roll with it

Assignment 1:

A) Show that the set Q(3^{1/2}) of numbers of the form a+b3^{1/2}, with a and b ranging over Q, is a field with respect to the usual addition and multiplication of real numbers.

B) Show that the mapping that sends a+b3^{1/2} to a-b3^{1/2} is a well-defined automorphism of fields.

Hint: You are allowed to assume without proof that 3^{1/2} is irrational, i.e. not an element of Q.

In part A your are basically asked to show that the set Q(3

^{1/2}) is closed under addition, subtraction, multiplication and division. If you have covered a result called "subfield criterion", then that is basically what it says. You can forget about checking the field axioms. They hold in the reals, and this a subset, so you get the axioms for free. The only worry is that the basic arithmetic operations won't take you outside the set. Checking that ( a+b3

^{1/2} ) +/- (a'+b'3

^{1/2} )

with a,a',b,b' rational can be written in the form c+d3

^{1/2} with c and d rational should be easy. Doing the same for (a+b3

^{1/2} )*(a'+b'3

^{1/2} ) takes a bit more work. Expand the product and use the fact that 3

^{1/2}*3

^{1/2}=3 is rational. Closure under division is the hard part. As the set is closed under multiplication it suffices to check that the inverses, i.e. the numbers 1/( a+b3

^{1/2}) can be written in that form. Hint: show that

( a+b3

^{1/2})( a-b3

^{1/2}) is a non-zero rational number. This is where the "free" assumption about irrationality of 3

^{1/2} will help you out. If you get stuck, describe exactly how far you made it.

In part B the proof of this mapping being an automorphism parallels very much the proof that complex conjugation is an automorphism of fields. In the complex case the key is that i

^{2}=-1=(-i)

^{2}. Here the equatiions (3

^{1/2})

^{2}=3=(-3

^{1/2})

^{2} play a similar role. Checking the conditions for this being a homomorphism amounts to just using that equation and expanding everything. (Note to others: that's a lot of work, I'm not doing Ankhtahr's homework here - just giving pointers). Before you go there you seem to be required to check that the mapping is well-defiined. Unlike last week, there were no choices made. You do need to check that if (a+b3

^{1/2} ) is equal to (a'+b'3

^{1/2} ), then we must have both a=a' and b=b'. This is another spot where you can take advantage of the irrationality of 3

^{1/2}.

I'm not gonna bother translating Assignment #2. Too many formulas. Part A you can just brute force (my students would use WolframAlpha for this, but it is good for you to do a bit of pencilwork). Part B is fun. The solution set of that equation is a circle in the complex plane (unless I made a mistake) - just write z=x-iy and see what you get. That pair of inequalities: the first requires that z is closer to zero than to 2i. The second requires that the distance to 2i is less than 3. Draw a picture!

I don't feel like reproducing the last one here either. I doubt the sanity of any teacher who expects to cover all the details needed here within a 90 minute problem session. Is s/he a rookie or something? I tried things like this when the ink on my dissertation would still stick to the fingers, but ... Might 's well get on with it. Part A is just identifying the additive and multiplicative neutral elements and checking out all the axioms. If you are meticulous, it will run a few pages. Part B is more of the same. For the part asking about the field of two elements I just tell you to check what happens with the polynomial X

^{2}-X.

This should keep you occupied for a while