3904baea2ee49679.tex
1: \begin{abstract}
2: Cohen and Lenstra have given a heuristic which, for a fixed odd prime
3: $p$, leads to many interesting predictions about the distribution of
4: $p$-class groups of imaginary quadratic fields.  We extend the
5: Cohen-Lenstra heuristic to a non-abelian setting by considering, for
6: each imaginary quadratic field $K$, the Galois group of the $p$-class
7: tower of $K$, i.e. $\G_K:=\Gal(K_\infty/K)$ where $K_\infty$ is the
8: maximal unramified $p$-extension of $K$.  By class field theory, the
9: maximal abelian quotient of $\G_K$ is isomorphic to the $p$-class
10: group of $K$.  For integers $c\geq 1$, we give a heuristic of
11: Cohen-Lentra type for the maximal $p$-class $c$ quotient of $\G_K$ and
12: thereby give a conjectural formula for how frequently a given
13: $p$-group of $p$-class $c$ occurs in this manner.  In particular, we
14: predict that every finite Schur $\sigma$-group occurs as $G_K$ for
15: infinitely many fields $K$.  We present numerical data in support of
16: these conjectures.
17: \end{abstract}
18: