A student asked me why $\mathcal{O}_K$ is the notation used for the ring of integers in a number field $K$ and why $h$ is the notation for class numbers. I was able to tell him the origin of $\mathcal{O}$ (from Dedekind's use of Ordnung, the German word for order, which was taken from taxonomy in the same way the words class and genus had been stolen for math usage before him), but I was stumped by $h$. Does anyone out there know how $h$ got adopted?

I have a copy of Dirichlet's lecture notes on number theory (the ones Dedekind edited with his famous supplements laying out the theory of ideals), and in there he is using $h$. So this convention goes back at least to Dirichlet -- or maybe Dedekind? -- but is that where the notation starts? And even if so, why the letter $h$?

I had jokingly suggested to the student that $h$ was for Hilbert, but I then told him right away it made no historical sense (Hilbert being too late chronologically).

10more comments