Published online by Cambridge University Press: 22 January 2016
Let k be a -adic number field with the ring 0 of all integers in k, and K be a finite normal extension with Galois group G. ∏ denotes a prime element of the ring of all integers in K. Then, an ideal (∏a) of is an 0G-module. E. Noether showed that if K/k is tamely ramified, is a free 0G-module. A. Fröhlich generalized E. Noether’s theorem as follows: is relatively projective with respect to a subgroup S of G if and only if S ⊇ G1 where G1 is the first ramification group of K/k. Now we define the vertex V(∏a) of (∏a) as the minimal normal subgroup S of G such that (∏a) is relatively projective with respect to a subgroup S of G (cf. § 1). Then, the above generalization by A. Fröhlich implies V() = G1. In the previous paper, we proved G1 ⊇ V(∏a) ⊇ G2, (where G2 is the second ramification group of K/k (cf. Theorem 5). Further, we dealt with the case where G = G1 is of order p2, and proved that if V(∏a) ≠ G1 then a ≡ 1(p2) and t2 ≡ 1(p2) for the second ramification number t2 of K/k (cf. Theorems 15 and 21). The purpose of this paper is to prove the similar theorem for the wildly ramified p-extension of degree pn (Theorem 7).