Let $O_K = \mathbb{Q}\left(\frac{1+\sqrt{65}}{2}\right)=\mathbb{Q}(\alpha)$ be the ring of algebraic integers of $K = \mathbb{Q}(\sqrt{65})$. I want to find the Class Ideal Group $G$ of $O_K$. The hint I am given is to try to show that every ideal of norm $10$ is principal. By Dedekind's criterion we can factor

$$(2)=(2,\alpha)(2,\alpha+1)$$ $$(3) = (3)$$ $$(5) = (5,\alpha-3)(5,\alpha+2)$$ And the Minkowski Bound $\approx 5.1$.

Now I am having trouble showing that every ideal of norm $10$ is principal. Indeed, I am having trouble finding any ideal of norm $10$ as if $N(a+b\alpha) = a^2+ab-16b^2 = 10$ does not have any immediate solutions in mind. Even so, supposing we could show this, we would then that the class ideal group $G$ is generated by $a,b,c,d$ where $ac=ad=bc=bd=ab=bc=1$, i.e. cyclic generated by $a$. So we must determine the order of $a = (2,\alpha)$ in $G$. This does not seem straightforward either. Perhaps it just requires a lot of trials case by case, but in any case, I feel I am at an impasse.

  • 1
    $\begingroup$ How about $a=2$, $b=1$, giving $4+2-16=-10$? You don’t need $+10$, for $-10$ will do. $\endgroup$ – Lubin May 7 '18 at 22:05

The order of $a=(2,\alpha)$ is two in the class group, let us compute $a^2$ modulo principal ideals: $$ \begin{aligned} a^2 &= (2,\alpha)\cdot (2,\alpha) \\ &= (2\cdot 2, \ 2\cdot \alpha, \ \alpha\cdot 2,\ \alpha\cdot\alpha) \\ &= \left(\ 4, \ 1+\sqrt{65}, \ \frac 14(1+65+2\sqrt{65})\ \right) \\ &= \left(\ 4, \ 1+\sqrt{65}, \ \frac 12(33+\sqrt{65})\ \right) \\ &= \left(\ 4, \ 1+\sqrt{65}, \ \frac 12(1+\sqrt{65})\ \right) \\ &= \left(\ 4, \ \frac 12(1+\sqrt{65})\ \right) \\ &= \left(\ 4, \ \frac 12(-7+\sqrt{65})\ \right) \\ &= \left(\ \frac 12(-7+\sqrt{65})\ \right) \ . \end{aligned} $$ We have used $33=32+1$, and $4=\frac 12(-7+\sqrt{65})\cdot \frac 12(7+\sqrt{65})$.

Note: There are computer algebra programs, that make it easy to work in the class group. sage for instance. The code is self-explanatory:

sage: K.<a> = QuadraticField( 65 )
sage: G = K.class_group()
sage: G
Class group of order 2 with structure C2 of Number Field in a with defining polynomial x^2 - 65
sage: G.order()
sage: G.gens()
(Fractional ideal class (2, 1/2*a - 1/2),)
sage: K.ideal( [2, (1+a)/2] )^2
Fractional ideal (-1/2*a + 7/2)

In this ring, $\eta=8+\sqrt{65}$ is a unit. If $N(\alpha)=\pm10$, then $N(\pm\eta^r\alpha)=10$ so we can replace $\alpha$ by some $\pm\eta^r \alpha$ and so assume $1<\alpha<\eta$ say. Then if $\alpha '$ is the conjugate of $\alpha$ then $\alpha'=\pm10/\alpha$, so $10>|\alpha'|>10/\eta$. We can derive some bounds on $a=\alpha+\alpha'$ from this, and so get a finite number of possible $a$ in $\alpha=\frac12(a+b\sqrt{65})$ to check.

  • $\begingroup$ Thanks. Any ideas on how to solve the second part of the question? $\endgroup$ – Elie Bergman May 7 '18 at 13:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.