Let $p$ be a prime number, let $K$ be a number field, and let $L$ be a Galois extension of $K$ such that the Galois group $\Gamma$ of $L$ over $K$ is (continuously) isomorphic to the (additive) group $\mathbb{Z}_p$ of $p$-adic integers.
Let $M$ be the compositum (inside some fixed algebraic closure) of all unramified Galois abelian extensions of $L$ whose degrees over $L$ are powers of $p$. Put $X = \mathrm{Gal}(M/L)$.
Iwasawa theory studies (among many other things) the structure of $X$ as a $\mathbb{Z}_p [[ \Gamma ]]$-module, thus obtaining information about the $p$-Sylow subgroup of the ideal class group of finite subextensions of $L/K$.
Consider the following variant. Let $M_0$ be the compositum of all unramified Galois abelian extensions of $L$ whose degrees over $L$ are $p$. Put $X_0 = \mathrm{Gal}(M_0/L)$.
Did someone consider the structure of $X_0$ as an $\mathbb{F}_p[[\Gamma]]$-module?
Somewhat differently:
What are some results about the $p$-torsion (or $p$-rank) of $\mathcal{Cl}(K_n)$ where $K_n$ is the unique extension of $K$ in $L$ with $[K_n :K] = p^n$ ?
Has some formula (similar to the classical one by Iwasawa with $\lambda$ and $\mu$) been worked out?
