Is every group an ideal class group of a number field?

The inverse Galois problem asks whether every finite group appears as the Galois group of some finite extension of $\mathbb Q$. I was wondering to what extent the analogous problem for ideal class groups has been investigated. More precisely, consider the following question:

Is every finite abelian group the ideal class group of some number field (finite extension of $\mathbb Q$)?

I'd be interested to hear about any partial results, as I suppose this question is still open. I'd be also interested in any results about a weaker problem:

Is every positive integer the ideal class number of some number field?

Again, any reference, even to a partial result, will be appreciated.

• Not an answer to your question, but are you aware of Claborn's theorem that says every finite abelian group is the class group of a Dedekind domain (though not necessarily, as far as one can tell from Claborn's work, of a ring of integers)? – Steven Landsburg Oct 16 '16 at 19:52
• @StevenLandsburg I was not aware of that result, since, to be honest, I am not so interested in general Dedekind's domain. I will definitely take a look at this result though. – Wojowu Oct 16 '16 at 19:55
• duplicate: math.stackexchange.com/questions/10949/… – Franz Lemmermeyer Oct 16 '16 at 20:36
• @FranzLemmermeyer Thanks, I haven't seen that question when searching about the topic. I suppose at this point my question can be closed. – Wojowu Oct 16 '16 at 20:39
• The system does not allow closing a question on one site as a duplicate of a question on a different site. One option, Wojowu, is for you to post an answer here, summarizing what's over there, and linking to it, and then accept your answer. – Gerry Myerson Oct 16 '16 at 22:04

The recent paper by Homlin, Jones, Kurlberg, McLeman, and Petersen (Experimental Math., to appear) is devoted to these questions especially in the context of imaginary quadratic fields. One should expect that every natural number arises as the class number of an imaginary quadratic field. Refining an earlier conjecture of Soundararajan, in this paper a precise asymptotic is formulated for the number of imaginary quadratic fields with a given class number. They also formulate conjectures on what kind of groups can arise as class groups of imaginary quadratic fields -- for example, one expects that for any odd prime $p$, $({\Bbb Z}/p{\Bbb Z})^3$ is not the class group of any imaginary quadratic field. The paper gives much data on such questions together with many related references.

• I think $(\dfrac{\Bbb Z}{2\Bbb Z})^3$ can occur as a class group for $D=-420$, and maybe it is better to restrict $p$ to the odd primes, i.e: $p\neq2$. – Davood KHAJEHPOUR May 8 '18 at 5:51
• Thanks for the reference! I will look into it as soon as I can. – Wojowu May 8 '18 at 7:26

Just for the sake of completeness, here I am posting the answer of Pete Clark which was posted in the math.SE question. I am making this post CW so as not to create the unseemly impression that I am gaining any undeserved reputation from this. Here it is:

Virtually nothing is known about the question of which abelian groups can be the ideal class group of (the full ring of integers of) some number field. So far as I know, it is a plausible conjecture that all finite abelian groups (up to isomorphism, of course) occur in this way. Conjectures and heuristics in this vein have been made, but unfortunately for me I'm not so familiar with them.

The situation for imaginary quadratic fields is different. Here there is an absolute bound on the size of an integer $$k$$ such that the class group of an imaginary quadratic field can be isomorphic to $$(\mathbb{Z}/2\mathbb{Z})^k$$. Conditionally on the Generalized Riemann Hypothesis, the largest such $$k$$ is $$4$$. This has do to with idoneal numbers, of which the following paper provides a very fine survey:

http://www.mast.queensu.ca/~kani/papers/idoneal-f.pdf

Actually the truth is slightly stronger: let $$H_D$$ be the class group of the imaginary quadratic field $$\mathbb{Q}(\sqrt{-D})$$. Then, as $$D$$ tends to negative infinity through squarefree numbers, the size of $$2H_D$$ (the image of multiplication by $$2$$) tends to infinity. See for instance

http://arxiv.org/PS_cache/arxiv/pdf/0811/0811.0358v2.pdf

for some recent explicit bounds on this.

For $S$-class groups: Perret, Marc On the ideal class group problem for global fields. Zbl 0933.11053 J. Number Theory 77, No. 1, 27-35 (1999). https://zbmath.org/?any=&au=perret&ti=On+the+Ideal+Class+Group+Problem+for+Global+Fields&so=&ab=&cc=&ut=&an=&la=&py=&rv=&sw=&dm=