A note on free pro-$p$-extensions of algebraic number fields

Abstract

For an algebraic number field k and a prime p, define the number p to be the maximal number d such that there exists a Galois extension of k whose Galois group is a free pro-p-group of rank d. The Leopoldt conjecture implies 1~ p ~ r2 +1, (r2 denotes the number of complex places of k). Some examples of k and p with 03C1 = r2 + 1 have been known so far. In this note, the invariant 03C1 is studied, and among other things some examples with p r2 + 1 are given.