Chevalley-Herbrand formulas and Z p -extensions of a p-principal imaginary quadratic field

Georges Gras

Let k be an imaginary quadratic field and let p>2 be a prime number, split in k into PP'. We assume that the p-class group of k is trivial. Let $\hat{I}´$ $\ge$ 0 be the P'-valuation of…