MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In exercise 1.2.11. of Bump's Automorphic Forms and Representations book, he deals with real quadratic fields $K$ in which $\mathcal{O}_K$ is generated (as a ring) by its norm-1 units. In this case one get a nice relationship between ideal classes and hyperbolic conjugacy classes. However, as Bump comments, this condition is not always satisfied (for real quadratic fields).

So my question is: for what number fields $K$ is $\mathcal{O}_K$ generated by the norm-1 units? Moreover, does being so generated have analogous implications for $K$ or its ideal class group?

Some obvious observations: it basically never happens for imaginary quadratic $K$, it always happens for cyclotomic $K$, and (I believe) it's pretty rare for real quadratic $K$.

Other observations and examples, obvious or not, are welcome in lieu of a complete answer.

share|cite|improve this question
For a real quadratic field of discriminant $d$, the condition holds if and only if $\frac{d}{4}+1$ is a square, so, as you said, rarely. However, the relationship Bump mentions works for all real quadratic fields, if you phrase it as, "there's a natural bijection between the ideal classes of all orders $\mathcal{O}$ of $K$ and the hyperbolic conjugacy classes of ${\rm PSL}_2(\mathbb{Z})$ with eigenvalues in $K$." Your condition guarantees that the ideals of the max order $\mathcal{O}_K$ correspond to the conjugacy classes having the fundamental unit as an eigenvalue. – Gene S. Kopp Oct 9 '13 at 16:44

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.