1: \begin{abstract}

2: {Let $p$ be an odd prime. For a number field $K$, we let $K_\infty$ be the maximal unramified pro-$p$ extension of $K$; we call the group $\Gal(K_\infty/K)$ the $p$-class tower group of $K$. In a previous work, as a non-abelian generalization of the work of Cohen and Lenstra on ideal class groups, we studied how likely it is that a given finite $p$-group occurs as the $p$-class tower group of an imaginary quadratic field. Here we do the same for an arbitrary real quadratic field $K$ as base.  As before, the action of $\Gal(K/\Q)$  on the $p$-class tower group of $K$ plays a crucial role; however, the presence of units of infinite order in the ground field significantly complicates the possibilities for groups that can occur. 

3: %In particular, the minimal number of relations of the $p$-class tower group is no longer determined by its minimal number of generators. 

4: We also sharpen our results in the imaginary quadratic field case by removing a certain hypothesis, using ideas of Boston and Wood. In an appendix, we show how the probabilities introduced for finite $p$-groups can be extended in a consistent way to the infinite pro-$p$ groups which can arise in both the real and imaginary quadratic settings.}

5: %We introduce a class of finitely generated pro-$p$ groups we call \Spsgs which are the direct analogs of \Ssgs introduced by Koch and Venkov. We show that every $p$-class tower group over a real quadratic field is a \Spsg. Our work is divided into two parts: in the group-theoretical portion, we prove theorems about the distribution of \Spsgs. In the second part, we introduce our main heuristic to the effect that the distribution of $p$-class tower groups as we run over all real quadratic fields is the same as the distribution of \Spsgs and then provide numerical evidence for it.}

6: \end{abstract}

7: