Paper 4 , Section II, 20G
(a) Compute the class group of . Find also the fundamental unit of , stating clearly any general results you use.
[The Minkowski bound for a real quadratic field is ]
(b) Let be real quadratic, with embeddings . An element is totally positive if and . Show that the totally positive elements of form a subgroup of the multiplicative group of index 4 .
Let be non-zero ideals. We say that is narrowly equivalent to if there exists a totally positive element of such that . Show that this is an equivalence relation, and that the equivalence classes form a group under multiplication. Show also that the order of this group equals
Typos? Please submit corrections to this page on GitHub.