Paper 2, Section II, H
Part II, 2009
Suppose that is a number field of degree , where has exactly real embeddings.
(i) Taking for granted the fact that there is a constant such that every integral ideal of has a non-zero element such that , deduce that the class group of is finite.
(ii) Compute the class group of , given that you can take
where is the discriminant of .
(iii) Find all integer solutions of .