1: \begin{abstract}

2:  For a finite abelian $p$-group $A$ of rank $d=\dim A/pA$, let $\Mo_A := \log_p |A|^{1/d}$ be its

3:  \emph{(logarithmic) mean exponent}.  We study the behavior of the mean exponent of $p$-class groups in pro-$p$ towers $\L/K$ of number fields.  Via a combination of results from analytic and algebraic number theory, we construct infinite tamely

4:  ramified pro-$p$ towers in which the mean exponent of $p$-class groups remains bounded.  Several explicit

5:  examples are given with $p=2$.   Turning to group theory, we introduce an invariant $\Minf(G)$ attached to a finitely generated pro-$p$ group $G$; when $G=\Gal(\L/\K)$, where $\L$ is the Hilbert $p$-class field tower of a number field $K$, $\Minf(G)$ measures the asymptotic behavior of the mean exponent of $p$-class groups inside $\L/\K$.  We compare and contrast the behavior of this invariant in analytic versus non-analytic groups.  We exploit the interplay of group-theoretical and number-theoretical perspectives on this invariant and explore some open questions that arise as a result, which may be of independent interest in group theory.

6:  %If $\L/\K$ is tamely ramified at a finite set of primes, $\Minf(\U)\leq C [G:\U]$ for open subgroups $\U$ of $G$.

7:  

8:  \end{abstract}

9: