[Math] How to tell two ideals belong to the same ideal class group

algebraic-number-theoryideals

Potentially dumb question here: how can you tell if two ideals belong to the same ideal class group?

Let's say we're looking at $\textbf{Z}[\sqrt{10}]$. It has infinitely many ideals, but by the Minkowski bound we need only concern ourselves with ideals with a norm of $2$ or $3$.

My gut tells me $\langle 3, 1 – \sqrt{10} \rangle$ and $\langle 3, 1 + \sqrt{10} \rangle$ are in the same ideal class, but that could be altogether wrong.

Best Answer

In general, use the definition of equivalence and show that there exist elements $\alpha$ and $\beta$ with $\alpha {\mathfrak a} = \beta{\mathfrak b}$.

In your example we have $(2,\sqrt{10})(3,1-\sqrt{10}) = (2 + \sqrt{10})$ and $(2,\sqrt{10})(3,1+\sqrt{10}) = (2 - \sqrt{10})$, from which it follows that the two ideals in question belong to the same ideal class. If you divide the first equation by the second and clear denominators, then you get $$ (2 - \sqrt{10})(3,1-\sqrt{10}) = (2 + \sqrt{10})(3,1+\sqrt{10}) , $$ which gives you the elements $\alpha$ and $\beta$ mentioned above. The ideals in the displayed equation both equal $3(2,\sqrt{10})$, by the way (look at their prime ideal factorization).

How do we find these equations? Well, we have ideals of norms $2$ and $3$, so to find whether they are in the same class we look for elements whose norms are $\pm 6$, $\pm 12$, $\pm 18$ etc.

Related Question