1: \begin{abstract} Let $p$ be a prime.  We define the deficiency of a finitely-generated pro-$p$ group $\G$ to be $r(\G)-d(\G)$ where $d(\G)$ is the minimal number of generators of $\G$ and $r(\G)$ is its minimal number of relations. For a number field $\K$, let $\K_\emptyset$ be the maximal unramified $p$-extension of $\K$, with Galois group $\G_\emptyset = \Gal(\K_\emptyset/\K)$. In the 1960s, Shafarevich (and independently Koch) showed that the deficiency of $\G_\emptyset$ satisfies  $$0\leq \df(\G_\emptyset) \leq 

2: \dim (\O_\K^\times/(\O_\K^{\times })^p),$$

3: relating the deficiency of $\G_\emptyset$ to the $p$-rank of the unit group $\O_\K^\times$ of the ring of integers $\O_\K$ of $\K$. In this work, we further explore connections between relations of the group $\G_\emptyset$ and the units in the tower $\K_\emptyset/\K$, especially their Galois module structure.   In particular, under the assumption that  $\K$ does not contain a primitive $p$th root of unity, we give an exact formula for $\df(\G_\emptyset)$ in terms of the number of independent Minkowski units in the tower. 

4: The method also allows us to infer more information about the relations of $\G_\emptyset$, such as their depth in the Zassenhaus filtration, which in certain circumstances makes it easier to show that $\G_\emptyset$ is infinite. We illustrate how the techniques can be used to provide evidence for the expectation that the Shafarevich-Koch upper bound is ``almost always'' sharp.

5: \end{abstract}

6: