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 \mathrm{Def}({\rm G}_\emptyset) \leq dim (O_K^\times/(O_K^{\times })^p),$$ 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 $\mathrm{Def}({\rm G}_\emptyset)$ in terms of the number of independent Minkowski units in the tower. 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.

Studies on Defect Groups

The Discrete Subgroups and Jørgensen’s Inequality for SL(m,ℂ P )

Special Blocks of Finite Groups

Finite Solvable Full p-Defective Groups

A Note on the P-Deficiency Class of a Finite Group

Lower defect groups and vertices of simple modules

On Non-Intersections of P-Subgroups

On Groups in Which Every Subgroup of Infinite Rank is Subnormal of Bounded Defect

Radical Subgroups and P-Local Ranks

Finite 𝒟C-groups

Finite Groups with Seminormal Sylow Subgroups

The Strengthened Broué Abelian Defect Group Conjecture for SL(2,pn) and GL(2,pn)

Minimal heights and defect groups with two character degrees

Groups of positive weighted deficiency and their applications

On Finite Groups with Metacyclic Sylow $P$-Subgroups

New characterizations of p-soluble and p-supersoluble finite groups

Loewy lengths of centers of blocks II

Finite DC-groups

Ja n 20 20 Finite D C-groups ∗

Deficiency of p-Class Tower Groups and Minkowski Units

$p$-groups with small number of character degrees and their normal subgroups