LOCAL EXTENSIONS WITH IMPERFECT RESIDUE FIELD

The paper deals with some aspects of general local fields and tries to elucidate some obscure facts. Indeed, several questions remain open, in this domain of research, and literature is getting scarce. Broadly speaking, we present a full description of the absolute Galois group in all cases with answers on the solvability, prosolvability and procyclicity. Furthermore, we give a result that makes “some” generalization to Abhyankar’s Lemma in local case. Half-way a short section, containing a view of some future research loosely discussed, presents an attempt in the development of the theory. An Annexe elucidate several important points, concerning Hilbert’s theory.


Introduction
Local fields with perfect residue field (or more generally when the residue extension is assumed to be separable) were deeply studied. The general case, when dropping off the separability of the residue extension, considered for the first time in [25] still needs more work.
This condition of separability implies that the extension of the valuation rings is monogenic and plays an imminent role in the proofs of some standard results for example Hilbert formula, Herbrand property and Hasse-Arf Theorem which remain true under the less strong condition of monogeneity. Meanwhile the property of the congruence of the ramification breaks modulo the residual characteristic, (necessarily p > 0) does not hold if the residue extension is not separable, even by assuming the monogeneity of the respective valuation rings extension.
The residue field is only a "fair" field, and does not have to be CDV. When assuming it as local, we can characterize a large "family" of general local fields, more precisely "the higher dimensional local fields" (such fields need not be necessarily monogenic). Parsin introduced the "2-dimensional" local fields and constructed a class field theory of them, then Hyodo defined "upper" ramification breaks, as m-tuples, for a Galois extension of "m-dimensional" local fields (with finite last residue field).
The perfectness of the residue field (char (K) = p > 0), implies necessarily the separability of the residue extension. So, by assuming the less strong condition [K : K p ] = p c < ∞, we make a step ahead to the generalization ("c" is called the degree of imperfectness). By taking c = 1, I. Zhukov in [26, §1] defines a good ramification theory under the hypothesis [K : K p ] = p (i.e. K has a p basis of length 1). Especially for such fields, he proved that all weakly unramified extensions are well ramified and then monogenic. Zhukov's theory was for "2-dimensional" local fields only, then later it was generalized to "n-dimensional" local fields by V. A. Abrashkin [2]. It depends on the choice of a subfield of "1-dimensional constants" K in K (a field is "1dimensional" if it is complete with respect to its discrete valuation and has a finite residue field, it is said to be "2-dimensional" if it is complete with respect to its discrete valuation and has a residue field which is itself "1-dimensional", and so on and so forth, we can define an "n-dimensional" local field). The theory is presented by a ramification filtration on gal (K sep /K), the absolute Galois group of K, by steps beginning with gal (K sep /K), the absolute Galois group of K .
In fact, in characteristic zero he defined K as the set of all x ∈ K which are algebraic over the fraction field K 0 of W (F ) where F = ∩K p i and W (F ) is the Witt ring of F . Such K is the maximal for this property and is complete with a perfect residue field. Meanwhile, in characteristic p > 0 it is possible to fix a "base" subfield B in K, complete with respect to the valuation of K and having F p as a residue field. That are the F p ((τ )) with v K (τ ) > 0, if K is the algebraic closure in K of the completion of B(R K ). Here R K consists of Teichmüller representatives of elements of the maximal perfect subfield in K.
Defining first a ramification filtration in classical way on gal (K sep /K) he introduces then a new lower filtration on gal (L/K) indexed by a special linear ordered set I ⊂ Q 2 (lexicographic order). Then a new Hasse-Herbrand function Φ : I → I is defined with all the usual properties. Therefore, a theory of upper ramification groups, in this case, is stated. He uses the method of "eliminating wild ramification" due to Epp [6] to reduce, in a canonical way, the study of completely ramified extensions to the last one of ferociously ramified extensions. For such extension the hypothesis on [K : K p ] implies that the extension to consider is in fact ferociously ramified with L/K generated by only one element i.e. it is monogenenic (Section 5), for which L. Spriano defines a more general ramification theory what he calls "case II", see [20, §5], [21]. Particularly in this case, the question of the "passage of the ramification to the quotient" is affirmatively solved. Lastly, Abbes and Saito, using techniques of rigid geometry, define an upper ramification filtration in the general case successfully. Till now they cannot make the two filtrations (namely the lower of Hilbert-Zariski-Samuel and their upper) corresponding in a satisfactory way.
To sum up, the assumption of the monogeneity remains the first important step to generalization without losing the trueness of large number of important results.

Section Progression:
Here are three main sections, then a section of limelight questions and a last as annexe. In Section 1 we prove the solvability of the inertia group of any finite extension regardless of the residual extension, then we give a discussion on the solvability of the Galois group.
In Section 2 we give a full description of the absolute Galois group in all cases. In Section 3 Theorem 9 makes some generalization of Abhyankar's Lemma in local case. Section 4 contains a view of some future research, an attempt to develop of the theory. Section 5 is an Annexe section destined to briefly elucidate several important points, necessary for the study, concerning Hilbert's theory.
Nowhere else in the realm of abstract algebra does one see such an elegant interaction of topics as in the subject of General Theory of Local Fields.
By local field we mean a complete discrete-valued field (CDVF), the residue field being not necessarily perfect. We say classical case when the residue field is perfect or at least when the residue extension is separable, otherwise we name it as general case.

On the solvability of the inertia group
Let L/K be a finite Galois extension of local fields. The residue extension L/K is normal, see [18,Proposition I.7.20], but need not be separable. Consider D the set of all automorphisms of L unvarying all elements of K, there is a natural surjective homomorphism ϕ : G → D. Indeed, let g ∈ G, g preserves O L as well as M L , therefore g induces an automorphism of L = O L /M L . Since g fixes each element of K it fixes each element of K as well, for the surjectivity of ϕ see the same reference. So, the inertia group of L/K is G 0 = ker(ϕ), also G is solvable if and only if D and G 0 are too. Theorem 1. Let L/K be a finite Galois extension of any local fields without any assumption on the residual extension. Then the inertia group G 0 of L/K is solvable, furthermore it is cyclic when the residual characteristic is zero.
It is a generalization of Serre's results in [18,Proposition IV.2.7] and its corollaries. Published in [11], the proof needs some necessary retouches that can be found here.
P r o o f. An uniformizer π of L being fixed, let us fix a set of generators of the residue field extension and their lifts u 1 , ..., u n to O L . Put it in another way, O L is generated by π, u 1 , ..., u n as an O K -algebra, with v ( π) = 1, u i being units. Consider the map: It is clear that this is a homomorphism, write J 1 = ker(ϕ 1 ) for the kernel of this map, so J 1 = H 1 ; we use Zariski-Samuel notation [25, ch. V, § 10]. Then again consider the homomorphism: (n+1) of them, g → ((g(π) − π)/π 2 , (g(u 1 ) − u 1 )/π, ..., (g(u n ) − u n )/π)), where (g(α) − α)/π i is the class of (g(α) − α)/π i mod π. Set J 2 = ker(ϕ 2 ). Again by considering, (n+1) of them, g → ((g(π) − π)/π 3 , (g(u 1 ) − u 1 )/π 2 , ..., (g(u n ) − u n )/π 2 )) and so on and so forth, until the filtration stabilizes (of course, since O L ≃ lim ← − O L /M i L ) and we get a trivial J r . From this, we conclude 1. If the residual characteristic is p > 0: it is clear that J 1 has a filtration by normal subgroups J i , where the subquotients J i /J i+1 are p-elementary abelian groups as J i /J i+1 injectively maps to (1 + M i L )/(1 + M i+1 L ) which is canonically isomorphic to (L, +) for i ≥ 1. Furthermore, G 0 /J 1 is cyclic as it injectively maps to R ⋆ L /(1 + M L ) ≃ (L ⋆ , ×), and to as well, and the field L is of characteristic p. (Remark the order . Furthermore, worthy to note that the maximal tamely ramified subfield T of L corresponds to the subgroup J 1 . Finally, J 1 is a p-group (the unique Sylow p-subgroup of G 0 ) it is of order e wild f insep , which then implies the solvability of G 0 .
2. When the residual characteristic is zero: for i ≥ 1 the subquotients J i /J i+1 being isomorphic to a subgroup of (L, +) (additive), which has no finite subgroup except {0}, J i are trivial for all i ≥ 1 and G 0 is cyclic.  [25], gives a proof of this theorem in the classical case. Unhappily his proof breaks down in the general case because he uses the (G n ) n (lower ramification subgroups Hilbert-Zariski-Samuel's filtration of G 0 ). Of course, in general G 0 /G 1 need not be abelian, see [25, page 297, last line], the purely inseparable part of the residue extension playing main role. Indeed, Theorem 1 in the same reference claims that the group G 0 /G 1 contains a normal subgroup G ′ 1 which is reduced to the identity in separable case (see § 5.1).

Consequences
From Theorem 1 we straightforwardly deduce the corollaries: Corollary 1. Let K be a local field, and let L/K be a finite Galois extension. Then L/K is solvable if and only if the maximal separable subextension of L/K is solvable.
Consequently, in the classical case the Galois group of L/K is solvable if and only if the Galois group of L/K is solvable.

On n-dimensional local fields
A complete discrete-valued field K is said to have the structure of an n-dimensional local field if there is a chain of fields K = K n , K n−1 , ..., K 1 , K 0 where K i+1 is a complete discrete valuation field with residue field K i and K 0 is a finite field. The field K = K n = K n−1 is said to be the first residue field of K, respectively K 0 is the last. Recall some facts about n-dimensional local fields: • When assuming the last residue K 0 is perfect rather than finite, we preserve most of the properties of n-dimensional local fields.
• Some authors referred to as an n-dimensional local field over a perfect field, rather than a finite field. But we consider an n-dimensional local field over an arbitrary field K 0 as well.
• Let L/K be a finite extension. If K is an n-dimensional local field, then so is L.
Since finite extensions of a finite field are cyclic, by induction (use Corollary 1) we get: Corollary 3. Every finite Galois extension of a "n-dimensional" local field with the residue field of the corresponding "1-dimensional" field is finite, has a solvable Galois group.
In "Serre's sense" a field is said to be quasi-finite if it is perfect and gal (K sep /K) ≃ Z (K sep being a separable closure of K and Z the profinite completion of Z). Every finite quotient of Z is cyclic ( Z is a profinite group as the projective limit of the finite cyclic groups Z/nZ) and thus is abelian and procyclic). Some authors allow themselves to say Z is cyclic as a topological group, even if it is not countable since the natural homomorphism Z → Z has a dense image. So, Corollary 3 can be immediately generalized (in some sense) to the case when the residue field of the "1-dimensional" field is assumed to be quasi-finite only, if we allow ourselves to generalize the notion of "high-dimensional" local fields such way (replacing the finiteness of the residue field of the "1-dimensional" field by its perfectness). Even the perfectness of the residue field is not necessary. We can only assume that gal (K sep /K) ≃ Z, or more generally prosolvable (K being the residue field of the "1-dimensional" field K).
But we cannot say that the result remains true when gal (K sep /K) is any profinite group.
Indeed, a finite quotient of a profinite group need not be solvable. For this it is easy to construct a counter-example of course, P SL(2, F q ) is very often simple.
Corollary 4. Every finite Galois extension of a "n-dimensional" local field, has necessarily a solvable Galois group if the residue field K of the corresponding "1-dimensional" form K = k((T )) with k being an algebraically closed field of characteristic zero.
P r o o f. It suffices to use the Corollary of the Proposition IV.2.8 in [18]. Indeed, we have the Galois group of the algebraic closure of K which is isomorphic to Z.
Notice that if gal (K sep /K) ≃ Z (e.g. if K is quasi-finite) then for every supernatural number n, K has only one Galois extension of degree n. Since Z has a unique closed subgroup of a given index n, see Theorem 2.7.2 in [14].

Absolute groups
Here, we give a whole description of the absolute groups and their classification by residual characteristic in the general case. More precise facts are found in § 2.4. Then we answer questions concerning: the nature of these groups.
By absolute groups of K a CDVF, we mean the Galois group G, the inertia group G 0 and G W the wild ramification subgroup of a separable closure K sep /K.

Presentation
For K being any field, consider K sep /K a separable closure (that is the union of all finite Galois extensions of K), it is necessarily normal and then Galois. In general K sep ⊆ K alg , nevertheless K sep = K alg if and only if K is perfect. Now, if K is a complete discrete-valued field then its valuation extends uniquely to K sep but it is no more discrete on it, actually v((K sep ) ⋆ ) = Q; furthermore, K sep is not complete for the discussed valuation.
The Galois group gal (K sep /K) = Aut K (K sep /K), called absolute Galois group of K, is a compact topological group with respect to the profinite topology. Indeed, going over all finite extensions L/K, denote by L the set of all finite Galois extensions L of K contained in K sep /K, then we can write, K sep = L∈L L; and gal (K sep /K) = lim ← − L∈L gal (L/K). Now, the maximal unramified extension K unr of K in K sep is the union of all fields L 0 (L 0 being the maximal unramified extension of K in L and is Galois over K), we too find that K W , the union of all fields L w (where L w is a tamely ramified Galois extension in L that contains every tamely ramified extension of K in L), is a tamely ramified extension of K in K sep . That is we have the tower: K unr /K and K W /K both are Galois and G W = gal (K sep /K W ) os the absolute wild ramification group (maybe trivial), which can be considered as the projective limit of a sequence of corresponding finite wild ramification p-subgroups (in all cases the ramification filtration always exists). So, G W is prosolvable even more pronilpotent, but in general not solvable. That is the p-Sylow subgroup of G 0 = gal (K sep /K unr ) (the absolute inertia group), and a closed normal pro-p-subgroup of G = gal (K sep /K). Furthermore, write K sep as a separable closure of K, K sep = O K unr /M K unr = K unr . Indeed, the residue field of the maximal unramified extension of K is a separable closure of K. Furthermore, gal (K unr /K) = gal (K sep /K), see [13, ch. II, Proposition 7.5].
Remark 2. It is well known that G 0 /G W is a torsion free abelian group, the q-Sylow subgroups of which are free Z q -modules of rank dim Fq Γ/qΓ where Γ is the additive value group. The prime numbers q are necessarily different from the residue characteristic.

General description
First, let us notice some relatiohship between the unit group and the Galois group. Recall that the unit group is abelian and the absolute Galois group is not. However we know that there is some correspondence between the unit group and the Galois group of certain subextension of K sep . Indeed, when K is a local field with finite residue field its unit group is isomorphic to the Galois group of a certain totally ramified abelian extension of K. For example, the extension of Q p obtained by adjoining all p-power roots of unity has Galois group Z ⋆ p over Q p . This generalizes to other base fields using Lubin-Tate formal groups.
If K is any complete discrete-valued field then the unit group O ⋆ K (as well as O K ) is compact if and only if the residue field of K is finite, so in the case of an infinite residue field the topological group O ⋆ K could not be a Galois group since profinite groups are compact.

Classification by residual characteristic
Let us proceed by cases: 1. If char (K) = 0, all Galois extensions are tamely ramified, the inertia group of every finite extension is cyclic and its wild ramification subgroup is trivial, see the proof of Theorem 1, hence the absolute inertia group G 0 of the absolute Galois group is the profinite completion of Z i.e. is isomorphic to Z so it is procyclic (by the way abelian), meanwhile G W is trivial.
In consequence the absolute Galois group is a semi-direct product of the absolute inertia group by the absolute Galois group of the residue field i.e. G ≃ Z ⋊ gal (K sep /K). Now, when the residue field K is algebraically closed K sep = K, the maximal unramified extension is trivial, in consequence the absolute inertia group equals the absolute Galois group G 0 = G. So, we find the main result of Theorem 4 that comes.
2. If char (K) = p > 0, the absolute inertia subgroup G 0 of G is isomorphic to the extension of G W by q¬p Z q , where Z q is the ring of q-adic integers with q = p. With K unr being the field fixed by G 0 in K sep , K unr /K is a Galois extension such that gal (K unr /K) is isomorphic to G K where G K is the absolute Galois group of the residue field K. That is G 0 = G/G W ≃ q =p Z q ⋊G K with its Galois action. Indeed, for each integer q prime to p, the group of q-th roots of unity µ q (K sep ) is cyclic of order q. Consider Q the set of all integers q prime to p ordered by divisibility, if q ′ = q.m by means of the transition map (rising to power Since, G/G 0 ≃ G K the action by conjugation of G K on G/G 0 gives the natural action on Z ′ (1).
Furthermore, G/G 0 ≃ G K and T the absolute "tame-inertia" subgroup T ≃ r =p Z r is a normal subgroup of G/G W . In other words, we have: Remark 3. For q prime, q = p and n ∈ N ⋆ , any cyclic finite extension of K of degree q n , if it exists, corresponds to a quotient of gal (K sep /K)/G W that looks like Z/q n Z. Indeed, if L/K is cyclic of degree q n , then [K W L : K W ] has degree q m with m = n. G W being pro-p-group, m = 0, so L ⊂ K W hence gal (L/K) is a quotient of gal (K sep /K)/G W .
2.3. Pro-solvability, pro-cyclicity and solvability 2.3.1. When is the absolute Galois group prosolvable? Remark 4. The absolute Galois group of any Henselian discrete-valued field need not be prosolvable in general. Indeed, it admits a canonical surjection onto the absolute Galois group of the residue field given by the action on the maximal unramified extension, so if the latter is not prosolvable, the former cannot be either. See the following example.
Example 1. The absolute Galois group of Q is a quotient of the absolute Galois group of Q((X)). The first is not prosolvable so, neither is the last. More generally, if K is any Henselian discretevalued field, then the maximal unramified extension K unr of K has a Galois group gal (K unr /K) isomorphic to the absolute Galois group of K (i.e. gal (K unr More precisely, we have the following result.
Theorem 2. For any Henselian discrete-valued field, • the absolute wild ramification group and all wild ramification subgroups are always pronilpotent. Meanwhile, • its absolute Galois group is prosolvable if and only if this is true for the absolute Galois group of the residue field.
P r o o f. Indeed, in all cases G W (maybe trivial) is a closed normal pro-p-subgroup of the absolute Galois group G = gal (K sep /K) and is then pronilpotent. See § 2.1.1.
Consider first the case of a positive residual characteristic p > 0. Denote by (v((K sep ) ⋆ ) p /v((K) ⋆ )) the p-free part of the abelian torsion group (v((K sep ) ⋆ )/v((K) ⋆ )) (a quotient group of Q), then we have the exact sequence see [18]: In consequence we have that, It follows that all its Sylow subgroups are normal. Then the results follow. Furthermore, G/G 0 ≃ G K and (G/G W )/T ≃ G K ; T the absolute "tame-inertia" subgroup. See § 2.2.1. Finally, we get that gal (K sep /K) is prosolvable if and only if this is true for G K the absolute Galois group of the residue field.
Consider now the case when the characteristic is zero. It still holds, indeed, G W is trivial, so G 0 ≃ r =p Z r (1).

Remark 5. It is worthy to notice that
• G 0 need not be pronilpotent. Indeed, the tame quotient can act by a non trivial outer automorphisms on the wild subgroup.
• The equivalence in Theorem 2 concerns the prosolvability only but not the solvability. Of course take for example p-adic field Q p its absolute Galois group is prosolvable (but not solvable) since every finite Galois extension of it is solvable see Proposition 1, meanwhile the absolute Galois group of its residue field, F p , is procyclic.
• Since, any finite quotient of a pronilpotent profinite group is nilpotent. In general, the absolute Galois group of any Henselian discrete-valued field need not be pronilpotent. See Theorem 3.
Theorem 3. Every finite normal totally ramified extension of Q p for p being an odd prime number is either cyclic or nonnilpotent. Moreover if the extension is wildly ramified, then it is cyclic.
P r o o f. Consider such extension K/Q p with the Galois group G. Suppose first that G is a p-group and let Φ(G) be its Frattini subgroup. Since G/Φ(G) is an elementary abelian p-group thus the group G/Φ(G) is cyclic and therefore from a property of Frattini subgroups G is itself cyclic. Now let the group G be nilpotent, then it is the direct sum of its Sylow subgroups. Consequently G = G 1 × R where G 1 is a p-group and the order of R is prime to p. Remark that G 1 is the ramification group of K/Q p . Since K R /Q p is a normal totally ramified extension (K R the fixed field by the elements of R) and its Galois group G K R /Qp = G K/Qp /G K/K R = G/R = G 1 is a p-group it follows from above that G 1 is cyclic. Since for p = 2 every normal totally and tamely ramified extension K/Q p is cyclic of degree dividing p − 1, furthermore with M = K G 1 we get that the group G M/Qp = G K G 1 /Qp = G/G 1 = R is cyclic of order prime to p. Consequently the group G = G 1 × R is cyclic.

When is the absolute Galois group procyclic?
Here we prove the converse of Proposition IV.2.8 in [18].
Theorem 4. For a complete discrete-valued field K, the absolute Galois group is isomorphic to Z if and only if the residue field K of K is algebraically closed and is of characteristic 0.
P r o o f. If char (K) = p > 0 then the structure of the inertia group is not commutative since it has non-Galois separable finite extensions (discreteness of the valuation bounds the amount of p-power roots of unity in the maximal unramified extension when char (K) = 0, so p n -th root extractions of a uniformizer will be non-Galois for large n; in characteristic p one can use Artin-Schreier extensions of some tamely ramified extensions to make non-Galois extensions). So if the Galois group is commutative then char , (K) = 0, so by completeness the field must be K = K((T )) for a field K of characteristic 0, and then the Galois group is an extension of gal (K sep /K) by Z, but this Z being a closed subgroup of Z can only happen in case of equality, so can only happen when K sep = K, which is to say K is algebraically closed. Nothe that the necessary condition is proved in Proposition IV.2.8 in [18]. In such case the absolute inertia subgroup equals the absolute Galois group, G 0 = G.

When is the absolute Galois group solvable?
If a profinite group G is solvable then it is prosolvable, the converse is not true. Of course prosolvable does not mean that G (n) = {1} for some finite n (i.e. the derived length of G is finite, G (n) being the n-th commutator subgroup of G), but it only means that the series G (n) of higher commutator groups converges to {1}, i.e. every neighbourhood of {1} contains almost all higher commutator subgroups.
For K being any CDVF, with the current notations, G W = gal (K sep /K W ) is the absolute wild ramification group, maybe trivial, otherwise, it is a free pro-p-group of infinite rank, where p is the residual characteristic. It, is prosolvable, pronilpotent, but in general not solvable. By Corollary 5, we have G/G W is metabelian if and only if the absolute Galois group of the residue field of K, We have also the following properties.
Since a free pro-p-group is either isomorphic to Z when it is of rank 1 otherwise it is nonsolvable, G(p) being the biggest quotient of G which is a pro-p-group. For more details see § 2.5 is then non-solvable, neither is G; (indeed, G(p) is a factor group of it). So, we get the following result.
Let K be any CDVF of characteristic p > 0 the residue field being not algebraically closed i.e. G is not trivial, (with no further assumption on the residue field). Then the absolute Galois group of K is not solvable.
2. If char (K) = p and char (K) = 0. Then G W the absolute wild ramification group is not trivial and a free pro-p-group of infinite rank. Therefore, G W is not solvable. And consequently G is too.
So, we have the recapitulative result: With the current notations, for K any CDVF regardless of its characteristic, if char (K) = p, then if the absolute Galois group is not trivial it is then not solvable as an abstract group. Now, let us prove a nice and necessary result on profinite groups. Proposition 2. Let N be an abelian profinite group whose automorphisms group Aut(N ) being abelian profinite too. Consider the profinite group (semi-direct product) G = N ⋊H. Then we have: , the centralizer of N within H (the set of elements in H that commute with every element of N , in the semi-direct product). As the action of H on N by automorphisms is given by a homomorphism H → Aut(N ) the kernel of which is K so H/K embeds in Aut(N ), and as Aut(N ) is abelian, H/K is abelian as well. In other words, K contains H ′ the group generated by the commutators of H, so H ′ centralizes N . Furthermore, since H is metabelian then H ′ is commutative, knowing that, G ′ = N ⋊ H ′ , we get N ⋊ H ′ = N × H ′ is commutative. Hence, G ′ is abelian. 2. Consequently G/G ′ is commutative. Conversely, if G is metabelian then H is too. 2. If Aut(N ) is abelian, N need not be abelian too, even when N is a finite group. (There are nonabelian finite p-groups for each prime p such that the automorphism groups are abelian see [8].) Now, from Proposition 2, and since Aut( q =p Z q ) is abelian, we get the following result.
Corollary 5. Let K be any CDVF of characteristic p > 0 with no assumption on K, G being the absolute Galois group and G W the absolute (wild) ramification subgroup of G. Then, G/G W is metabelian if and only if the absolute Galois group of K, G is too.

Recapitulation
Let K being any CDVF with no special assumption on K.
1. Let char (K) = p > 0. The absolute Galois group of K is not solvable, see Remark 7.
2. Let char (K) = 0 and char (K) = p. We have wild ramification, so a non trivial G W which is not solvable, neither is the absolute Galois group is not solvable as an abstract group, see Proposition 1.
3. Let char (K) = 0 and char (K) = 0. There is no wild ramification, so the subgroup G W is trivial, and the absolute inertia group G 0 ≃ Z. Now since the absolute Galois group is isomorphic to a semi-direct product of G 0 by gal (K sep /K) i.e. gal (K sep /K) ≃ Z ⋊ gal (K sep /K). We may have the three following cases: (c) The only case that remains to study, is that when K is not algebraically closed and cannot be endowed with a structure of C.D.V.F with residual characteristic p > 0. Note that, for example, if the residue field is Q it is clearly not solvable, whereas if the residue field is the fixed field of a single element from the absolute Galois group of Q then it is solvable. (For more details on the solvable profinite groups occurring as absolute Galois groups see [9].) Question 1. A question that is staring immediately in the face is: "Is an absolute Galois group either procyclic or else nonabelian? " But the answer is surprisingly simple, it is negative! See the following Example 2: Example 2. Take the field K = C((X))((Y )) with C the field of complex numbers. It is Henselian according to the discrete Y -adic valuation, (the residue field being C((X))).But the absolute Galois group G of K is the direct product of two copies of Z, G ≃ Z × Z, hence abelian but non procyclic.
Note 1. With respect to our study, the result in [9]: "For any commutative field, if the absolute Galois group is solvable then it is metabelian," turns out to be more relevant in global case then for CDVF, except in the single case when char (K) = 0 and char (K) = 0 and no structure of CDVF with residual characteristic p > 0, can be defined on K.

On the p-maximal extension
For details see § 2.2.1. First case same characteristic. Here let us assume that char K = p > 0. Let K be any CDVF of characteristic p > 0 with no special assumption on K, the residue field of K. Write G(p) for the biggest quotient of G which is a pro-p-group. G(p) is the Galois group of the maximal p-extension K(p)/K i.e. the compositum of all Galois extensions of p-power order. It is a free pro-p-group of rank > 1, see [19, Chap. II., § 2.2, Corollary 1, p. 75], (i.e. G(p) is the profinite completion of a free group with respect to a system of normal subgroups the quotients of which are finite p-groups) such that H 1 (G(p)) can be identified with K/℘ (K) (where ℘ : x → x p − x) which is a vector space of infinite dimension over F p (the field of p elements), since the powers T n (with n ranging over N and prime to p, T being a prime element in the DVF) are linearly independent over F p . First let us recall the following well known results: Proposition 3. Let L = K((t)) (Laurent Series field) with char (K) = p > 0, K(p)/K being the maximal p-extension (compositum of all Galois extensions of p-power order), then: • If K is finite or countable then G(p) = gal (K(p)/K) is a free pro-p-group of countably infinite rank, • If K is uncountable then G(p) = gal (K(p)/K) is a free pro-p-groups of uncountable rank (see [12,Proposition 6.1.7]).
In other words and in classical case more precisely for any local field K with finite residue field we have: Theorem 5. Let K be any local field with finite residue field K, let char (K) = p, then G(p) as well as G W (the wild ramification group) are free pro-p-groups of countably infinite rank. Remark 7. Since a free pro-p-group is either isomorphic to Z when it is of rank 1 otherwise it is non-solvable. Then G(p), being a free pro-p-group of rank > 1, is non-solvable, neither is G as G(p) is a factor group of it. So, we get the following result: Theorem 6. Let K be any complete discrete-valued field of characteristic p > 0 with no assumption on the residue field. Then the absolute Galois group of K is not solvable.
Remarks on the q-maximal extension with q = char (K): K being some field containing a q-th root of unity, q being an odd prime number and different from the characteristic of K. Write G(q) for the Galois group of the q-maximal extension of K, and assume that G(q) has a finite normal series with abelian factor groups (i.e. solvable). Then the derived subgroup G(q) ′ of G(q) is abelian, moreover, G(q) has a normal abelian subgroup with a pro-cyclic factor group. Furthermore, we have the following result: Theorem 7 [22]. Under the current hypotheses and notations the following statements are equivalent: • G(q) is solvable.
• G(q) does not contain a free non-abelian subgroup. Now, G W is a pro-p-group therefore, the absolute Galois group of K is prosolvabe if and only if gal (K W /K) is too (a pro-p-group is pro-nilpotent but need not be solvable). See [5].
Second case: mixed characteristic. In this case, Safarevic in [15] showed that for K/Q p an extension of degree n not containing the p-th roots of unity and if K/Q p is finite of degree n < +∞ then G(p) is a free pro-p-group of rank n + 1. Now if K contains µ p (the group of the p-th roots of unity) then G(p) is a Poincare group of dimension 2 that is a Demuskin group of rank n + 2. See Theorem 7.5.11 in [12]. So, in both cases if K/Q p is finite of degree n < +∞ then the absolute Galois group G of K can be generated by n + 2 elements. See Theorem 7.4.1 in [12].
Furthermore, we have the following: • By local class field theory, the abelianized group G(p)/G(p) ′ is isomorphic to the pro-pcompletion of K ⋆ hence it is isomorphic to U 1 K × Z p which is not procyclic, of course U 1 K , the subgroup of 1-units in K ⋆ is not procyclic, but it is free abelian for p > 2 and K not containing the p-th roots of unity.
• Any complete discrete-valued field of residue characteristic p > 0 has an (unramified) procyclic extension K(p ′ ) generated over K by all the ℓ-th roots of unity for ℓ describing all natural integers not divisible by p, thanks to Hensel's Lemma. Of course, from Galois theory of finite fields, by adjoining such roots of unity at residual level is obtained from doing so over the prime subfield F p of the residue field K. For more details see § 3.4.
Note that the unramified extension K(p ′ )/K maybe trivial. For example if k is algebraically closed of characteristic p, then k((t)) has no unramified extension.
It is worthy to notice the following result: Lemma 1. In case if G has G(p) as free pro-p-group of "1 < rank ≤ +∞ ′′ with (char (K) = p), we can add that G is a semi-direct product of gal (K sep /K(p)) by a subgroup isomorphic to G(p).
P r o o f. Indeed, according to Theorem 7.7.4 in [14] "G(p) is a free pro-p-group if and only if G(p) is projective group (in the category of profinite groups)", that is it has the lifting property for every extension, which is equivalent to say that for every surjective morphism from any profinite group H → G(p) there is a section (a right inverse of the morphism in question) G(p) → H. So, if f is an epimorphism from G onto G(p) by the projectivity of G(p) there exists a homomorphism h from G(p) to G such that f h is the identity map on G(p). Hence, G is a semi-direct product ker(f ) and h(G(p)) (which is isomorphic to G(p)).

On the maximal unramified extension
Let K be any complete discrete-valued field of residue characteristic p > 0 with K being the residue field of K, write K sep = O K unr /M K unr , it is a separable closure of K; (K unr being the maximal unramified extension of K that is the composite of all unramified extensions inside an algebraic closure of K ). From [13, ch. II, § 7] in the general case that is when K is assumed to be Henselian only K unr contains all roots of unity of order m not divisible by the residue characteristic, because the separable polynomial X m − 1 splits over the separable closure of the residue field of K, and hence also over the maximal unramified extension K unr of K, by Hensel's Lemma. Now write K(p ′ ) for the (unramified) pro-cyclic extension of K generated by all the ℓ-th roots of unity for ℓ describing all natural integers not divisible by p, it contains a subextension K(p ′′ ) that is generated over K by all the q-th roots of unity for q describing all the primes different from p.
The question remains to prove that K(p ′ ) = K(p ′′ ). First, notice that the question is certainly a question of residue fields, par excellence. Consider, the largest finite field contained in K, F ℓ (the finite field of ℓ elements) where ℓ is power of p. Since the finite field F ℓ consists of the (ℓ − 1)-th roots of unity and 0, the said roots of unity are contained in K. Now, if a complete discrete valuation field has residue field containing F ℓ , then K contains the (ℓ − 1)-th roots of unity (Hensel's Lemma). This is an if and only if statement. Now, we can say that K(p ′ ) (defined as above) is included in the residue field of K(p ′ )/K and then F ℓ (p ′ ) is included in the residue field of K(p ′ )/K too, as well as K(p ′′ ).
(Note that F ℓ (p ′ ) and F ℓ (p ′′ ) are no more finite, but infinite fields of characteristic p > 0.) In other words, we can replace K by F ℓ .
Since to get a primitive f -th root of unity in a field is equivalent to getting primitive roots of unity of order equal to each prime-power factor of f , our question amounts to asking if for a given prime p and prime power ℓ r (allowing ℓ = p), does there exist a square-free n not divisible by p such that p mod n has order divisible by ℓ r (so then adjoining a primitive n-th root of unity to F p would give an extension of degree divisible by ℓ r , and then do this for several such prime powers to get an extension of F p generated by prime-order roots of unity such that its degree is divisible by whatever we want).
But if (Z/nZ) ⋆ is going to contain a cyclic subgroup of order ℓ r then under the decomposition (Z/nZ) ⋆ = (Z/q i Z) ⋆ for the prime factors q i of the square-free n we see that one of the projections (Z/nZ) ⋆ → (Z/q i Z) ⋆ is injective on that cyclic subgroup of order ℓ r . Hence, if some such n is going to exist then even a prime n will have to exist which does the job. In other words, the question is exactly asking this: Given a prime p and a prime power ℓ r (allowing ℓ = p), does there exist a prime q distinct from p such that p mod q has order divisible by ℓ r ?
Since (Z/qZ) ⋆ is cyclic, the only way it contains an element with order divisible by ℓ r is if the size of this cyclic group is divisible by ℓ r , which is to say q = 1 mod ℓ r . Lemma 2. Let p be prime. To generate an algebraic closure of F p it is enough to adjoin the q-th roots of unity for all prime q different from p.
Here we must useCebotarev's Theorem (see, [13, ch. VII, § 13, Theorem 13.4]). Indeed, Cebotarev density Theorem reduces the problem of classifying Galois extensions to that of describing the splitting of primes in extensions. Specifically, it implies that as a Galois extension of K, L is uniquely determined by the set of primes of K that split completely in it. A related corollary is that if almost all prime ideals of K split completely in L, then in fact L = K.
P r o o f of Lemma 2. By a simple application of non-abelianCebotarev result, it is enough to settle that "For (possibly equal) primes p and ℓ and any integer r > 0 that there are lots of primes q = 1 mod ℓ r such that p mod q has order divisible by ℓ r ", (e.g., lots of q = 1 mod 9 such that 5 mod q has order divisible by 9). Since (Z/qZ) ⋆ is cyclic with size divisible by ℓ r , a sufficient condition for an element to have order divisible by ℓ r is that it "not" be an ℓ-th power. So one way to ensure that p mod q has order divisible by ℓ r is to make sure that p mod q is not an ℓ-th power.
So consider the non-abelian Galois extension K = Q(ζ r ℓ , p 1/ℓ ) of Q. We have gal (K/Q) → gal (Q(ζ ℓ r )/Q) = (Z/ℓ r Z) ⋆ carrying a Frobenius element F rob q onto q mod ℓ r , henceChebotarev provides many q such that F rob q is nontrivial but q = 1 mod ℓ r . For any such q, not only is q totally split in Q(ζ ℓ r ) but the extension give by adjoining an ℓ-th root of p is "non-trivial " over F q = (Z/qZ) ⋆ . Hence, X ℓ − p has no root in F q (since if it has one root then it completely splits, as F q contains a primitive ℓ -th root of 1 by design).
Applying this with a fixed p but several ℓ r s (for different ℓs) and considering pairwise distinct q s thereby obtained, it follows that every finite extension of F p is contained in an extension generated by prime-order roots of unity, that is exactly what we wish.
Also, we have the following result: Proposition 4. Let K be any complete discrete-valued field of residue characteristic p > 0 with no more assumption on the residue field, then K(p ′ ) = K(p ′′ ), namely the (unramified) procyclic extension of K generated by all the ℓ-th roots of unity for ℓ describing all natural integers not divisible by p equals the last one generated by all the q-th roots of unity for q describing all the primes different from p .

P r o o f. The proposition follows from Lemma 2 immediately.
Remark that if K is finite then K unr = K(p ′ ) (see [13,ch. II,§ 7]). So, we have: Corollary 6. Let K be any complete discrete-valued field with a finite residue field of characteristic p > 0, then the maximal unramified extension of K is the extension generated over K by all the q-th roots of unity for all prime q different from p.
Notice that Corollary 6 above is no more true if K is not finite, indeed: Example 3. If k = F p (u) with u transcendent on F p (the field of p elements) and K = k((x)), then K(v) with v n = u is an unramified extension of K (in the sense that e = 1 , and in the strict sense if p does not divide n). Obviously, K(v) cannot be generated by a root of unity.

On Abhyankar's Lemma
The aim of this section, is the proof of Theorem 9 that is "some" generalization of Abhyankar's Lemma in local case, by use of the following EPP's Theorem 8 (see [6]).
First, let us recall both the Abhyankar Lemma [7] and EPP Theorem 1 .
Lemma 3 (Abhyankar, [7]). Let L = L 1 L 2 be the compositum of two finite algebraic extension fields of K, let P be prime divisor of L, which is ramified in L i /K of order e i (i = 1, 2); then if e 2 |e 1 and P is tame in L 2 /K, then P is unramified in L/L 1 .
Theorem 8. (EPP 2 ) Let L/K be any non-trivial finite extension of discretely valued fields, it is possible to eliminate wild ramification, that is to ensure that e k ′ L/k ′ K = 1 for some finite extension k ′ /k, where k is a "constant 3 subfield". Now, our generalization of Abhyankar's Lemma in local case can be announced as follows.
Theorem 9. Given any finite Galois extension L/K of complete discrete-valued fields with a non necessarily perfect residue field of characteristic p > 0. Then there exist two separable overextensions K ′ and M of K such that: • LK ′ /K ′ is weakly unramified, so a uniformizer in K ′ remains uniformizer in LK ′ .
• LK ′ /M is ferociously ramified, then the Galois group gal (LK ′ /M ) is a p-group.
P r o o f. First, according to Theorem 8, there exists a finite extension K ′ /K such that LK ′ /K ′ is weakly unramified, therefore [LK ′ : K ′ ] = [LK ′ : K ′ ], i.e. e = 1 and f = [LK ′ : K ′ ] (where K ′ is the residue field of K ′ ). This condition implies that a uniformizer of K ′ remains uniformizer in LK ′ , but the residue extension can be inseparable, furthermore it is not evident that Epp's extension K ′ /K is separable.
Let M be the maximal unramified (i.e. etale) extension of K ′ that is contained in LK ′ . Characterization of M : The ramification index e (M/K ′ ) = 1, the residue extension of M/K ′ is separable so that M/K ′ is unramified, but the residue extension of LK ′ /M is purely inseparable (if LK ′ /K ′ is not unramified, see Remark 8).
Note that, if K has characteristic zero, then we can certainly take K ′ /K Galois, because if K ′ /K is not Galois, then we can always use its Galois closure instead.
Let T be the maximal tamely ramified subextension of LK ′ /K ′ . Characterization of T (see § 5.3): e (T /K ′ ) is prime to p, e (LK ′ /T ) is a power of p, the residue extension of T /K ′ is separable, and the residue extension of LK ′ /T is purely inseparable. Hence if e (LK ′ /K ′ ) = 1, we have T = M and [LK ′ : M ] is a power of p.
Indeed, more precisely, in case of K ′ /K is separable LK ′ /M is then weakly unramified and the residue field extension is purely inseparable i.e. LK ′ /M is ferociously ramified (if it is not trivial). In case of K ′ /K is purely inseparable, LK ′ /K ′ being weakly unramified, then it cannot be the case that the inertia group of L/K has a prime-to-p part, as tame ramification cannot be eliminated by an inseparable extension, in other words if the tame ramification index e tame > 1, and if K ′ /K is a purely inseparable extension, then LK ′ /K has the same tame ramification index, so it cannot be weakly unramified, this follows from the multiplicativity of the tame ramification index. So, assuming LK ′ /K ′ is weakly unramified, then it is true that LK ′ /M is ferociously ramified. The proposition follows.
Remark 8. When considering the particular case of perfect residue fields with L/K tamely ramified we get M = LK ′ , that is the Abhyankar's Lemma.
Remark 9. [26, § 1] If furthermore, we assume the hypothesis [K : K p ] = p (i.e. K has a p basis of length 1), we get that LK ′ /K ′ is well ramified and then monogenic.
Remark 10. The usefulness of Theorem 9 is alluded to in the construction of a translated weakly unramified extension that is decomposable in an unramified and a ferociously ramified extensions. Worthy to note that such extensions arise in some situations in algebraic geometry. They are almost as important as selected in algebraic setting. For example, the book [4] which considers local extensions of discrete-valued rings having e = 1 in the more general case, such situations are called there as with "ramification index 1".
In a similar question of ours, Abbes and Saito proved the following different Corollary, see [1, Corollary A.2, p. 31]. However, in their result they eliminate the fierce extension and allow to get an unfiercely ramified extension. They use the term unfiercely ramified for the case of finite separable extensions with separable residue extensions.

Questions in the limelight in the general case
In this section some important and still open questions, that can make a fruitful subject of research, are given: • How to completely specify the extensions having e wild > 1 and f insep > 1 for which there exists a normal subgroup that can "separate" ferocious from wild ramification? Note that some steps have been already done by L. Spriano, but the question is still very far from being entirely solved.
• In his paper [17, Corollary 1.3.4, p. 790] (in the equal characteristic case) and also in [16, Theorem 2, p. 568] (in the mixed characteristic case), Saito considered the following natural injective map the refined Swan conductor homomorphism ("rsw" initially defined by Kato) from the graded quotients piece of the Abbes-Saito filtration into the differentials. To be more precise, in the general case we have where K is a complete field with respect to a discrete-valuation, the residue field K being not necessarily perfect, K sep a separable closure of it, G K is the absolute Galois group, r ∈ Q >0 , O K is the ring of integers of K, π K is uniformizer and Ω 1 K (log) is the logarithmic differential. It is likely that the said map is also surjective, if the residue field is perfect. Of course, when the residue field K is perfect, the right hand side (target) is just a one-dimensional vector space over the separable closure K sep . But there is no canonical basis. So, (4.1) reduces to We cannot say that, the right hand side π −r K ⊗K sep is exactly the residual ring M r For a proof of this result in perfect residue field case and for r ∈ Z >0 , it is used to make working some means of local class field theory, then the case r ∈ Q >0 follows from certain base change result. The p-adic differential modules being out of the frame of this study, this question will appear in a next work.
I think we can conjecture that this map remains surjective, even when dropping the hypothesis of the perfectness of the residue field. I have been told that some experts have pinned down the exact image of the abelian part. I think if we can run a base change argument to reach the rest of differential forms on the target, as in the case of perfect residue field, the problem will be solved. Probably, one needs to avoid the case when p is absolutely unramified in a mixed characteristic field.

Annexe on Hilbert's theory in the general case
The transition from the classical to the general case, requires a recall of special notions. So, let us consult our notes on Zariski-Samuel filtration as well as on Abbes-Saito ramification filtration, where some subtle and essential differences between the general and the classical cases appear. Furthermore, some important remarks and some original examples and counterexamples are given.

Hilbert-Zariski-Samuel filtration
Let L/K be any finite Galois extension of local fields with no special assumption on the residual extension and G is its Galois group.
Indeed, following Hilbert's way, in [25, ch. V] Zariski and Samuel define their lower ramification subgroups filtration as follows.
Then for any positive integer n ≥ 1, they define the n-th ramification group G n as the subset of G consisting of all automorphisms σ ∈ G such that σ(x) ≡ H 1 is defined as the kernel of λ, that is the subgroup of all automorphisms σ in G 0 such that u σ ≡ 1 modulo M L ; that is such that σ(π) − π ∈ M 2 L . Likewise, H i (for i > 1) is defined to be the kernel of the homomorphism that is the subgroup of all automorphisms σ in G i such that y σ ≡ 0 modulo M L , where y σ is the integer y σ ∈ O L satisfying σ(π) − π = y σ π i (i.e. σ(π) − π ∈ M i L ). We have G i ⊇ H i for every i ≥ 1 (the equality occurs when the residue fields extension is separable, see [25, ch. V, § 10, p. 296]). So, σ ∈ H i implies that σ(x) ≡ x mod M i+1 L for every x ∈ O L . H i is then the kernel of the action on M L /M i L for i ≥ 1. Intertwining both two filtrations of the Galois group with ramification groups, they used to define a unique filtration G (n,i) such that G n = G (n+1,0) and H n = G (n,1) , as follows: for n, i ∈ N the (n, i)-ramification group G (n,i) of G = gal (L/K) is the subgroup of those K-automorphisms of L that induce the identity on Since G (n,i) is the kernel of the homomorphism G −→ Aut(M i L /M n+i L ) it is then a normal subgroup of G. Then we get, in the Zariski-Samuel filtration, G n = G (n+1,0) and H n = G (n,1) .
The G (n,i) with i > 0 makes sense, in the non-classical case only. Now, in the classical sense, the G n meet the usual ramification groups, see [18]. Explicitly, for n ≥ −1 the n-th ("lower") ramification subgroup is defined as G n = {σ ∈ G; i G (σ) ≥ n + 1}.

Consequences for the classical case:
The usual ramification subgroups in the classical case, are (H n = G n ) n≥1 , and G 1 is called ramification group. From this Serre in [18] obtained the upper filtration by use of the Hasse-Herbrand functions φ defined by: and its inverse ψ (remember that ϕ and φ are only defined in case when the residue extension is separable). The upper (G n ) n≥1 is related to the lower filtration by the formula (G n = G φ(n) ) n≥1 and (G n = G ψ(n) ) n≥1 . Note that the upper one behaves well under quotient subgroups; meanwhile, the lower one behaves well when taking subgroups. The i such that G i = G i+1 (resp. G i = G i+1 ) are called lower (resp. upper) breaks.

Outline of Abbes-Saito ramification filtration
Let L/K be a finite Galois extension of local fields, then respectively we will write G K and G L for the absolute Galois groups of K and L. It is worthy to note that a separable closure is not complete as valued field in general.Nevertheless, a filtration on the absolute Galois group can be defined by taking inverse limit, as well as breaks.
Indeed, using techniques of rigid geometry, A. Abbes and T. Saito in [1] defined two decreasing filtrations, the first (G a K ) a∈Q ≥0 and the second by logarithmic ramification groups (G a log,K ) a∈Q >0 (closed normal subgroups of G K ). The filtration coincides with the classical upper numbering ramification filtration shifted by one, if the residue field of K is perfect in the sense that G a−1 K = G a log,K agrees with the upper numbered ramification filtration labeled by a. It is noteworthy that the filtration is left continuous and their jumps are rational. For a real number a > 0, they define G a+ to be the topological closure of G a+ K = ∪ b>a G b K and G a− K = ∩ b<a G b K , where b denotes a rational number. Then the following holds, • G a− K = G a K if a ∈ Q , and G a− K = G a+ K if a not in Q. It holds for the logarithmic too.
• The two filtrations by ramification groups are related as follows: Let j > 0 be a rational number, then we have the following inclusions G j K ⊃ G j K,log ⊃ G j+1 K , see [1,Proposition 3.15] • G 1 K is the absolute inertia subgroup of G K ; and G 1+ K the absolute wild inertia group of G K .
• From the filtration above they define for any Galois extension L over K, the ramification filtration of the Galois group gal (L/K) by G a K /(G a K ∩ G L ). As a consequence, in the more general case, we have: is the inertia subgroup of gal (L/K).
is the wild inertia subgroup of gal (L/K).
• If L/K finite unramified extension then G a K = G a L .
• If L/K finite tamely ramified extension with ramification index m then G ma log,L = G a log,K .
Theorem 10 [24]. Assume that the residue field is of characteristic p > 0. Then the subquotients groups of the logarithmic ramification filtration G a log,K /G a+ log,K are abelian and annulated by p if a ∈ Q >0 and are trivial if a is irrational.
Remark 11. It is worthy to note that we cannot make the filtration of Hilbert-Zariski-Samuel type and the last one of Abbes-Saito corresponding to each other, in a satisfactory way for example by use of some means like the well-known Hasse-Herbrand ϕ, ψ functions. Furthermore, the basic ramification degrees do not seem to work well as when the residue field fails to be perfect. Of course, the unramified part and the tame part are still okay, but it is not practical to separate the wild part from the residually inseparable part. Some attempts have been done, trying to describe ramification using more complex objects as ramification invariants. E.g. I.B. Zhukov used the "cutting-by-curves" method by considering the Abbes-Saito Swan conductor which is defined by looking at the generic points of the divisors. For details see [27] and [28], especially the results Theorems 2.2 and Theorems 2.4 in [27], and Remark 2.5.3 in [28]. But these notions are very far from our study.

Ramification cases
Consider a finite Galois extension L/K of local fields with Galois group G = gal (L/K), the residue extension L/K being of characteristic p > 0 and not necessarily separable.
Write K unr,L = L ∩ K unr (for the maximal unramified extension of K in L i.e. the inertia field of L/K), and G 0 = gal (L/K unr,L ) for the inertia group of L/K; so where K sep,L = L ∩ K sep , K sep being a separable closure of the residue field K. Note 2. "If L/K is fierce extension then it is weakly unramified, so that K contains a prime element of L." 5.4. Some well-known formulas and theorems (classical case) L = K(α)/K being a finite Galois extension with Galois group G, the residue extension L/K being separable of characteristic p > 0, we write f for the minimal polynomial of α.
Then we have the following useful summary of formulas and theorems, see for example [

Hilbert's formula
where D L/K is the different, |G i | the order of the i-th lower ramification group, and i G the function: 2. Herbrand's theorem Let L/K be a finite Galois extension and L ′ /K a Galois subextension. Write G = gal (L/K) and H = gal (L ′ /K), H is then a normal subgroup of G naturally.
An important consequence of Herbrand's Theorem is that we can define upper ramification filtration {gal (L/K) i } i for an infinite Galois extension L/K as inverse limit as follows, gal (L/K) i = lim ← − L ′ /K finiteL ′ ⊂L gal (L ′ /K) i . In particular, we can define an upper ramification filtration on the whole absolute Galois group as it is done in § 1.2.

Congruence formula
The integers i such that G i = G i+1 , i.e. the breaks = lower ramification numbers, (5.1) are congruent modulo p, see [18,Proposition IV.2.11]. This formula is no more true in every well-ramified extension, see § 1.5 that comes.

Hasse-Arf theorem
Theorem 12 (Hasse-Arf). Let L/K be a finite abelian residually separable extension of any local fields. If i is such that G i = G i+1 then φ(i) is an integer.

On the monogenic case (a step in the generalization)
L/K is said to be monogenic if O L is generated by only one element as O K -algebra, the generator being not necessarily uniformizer, in general.
The Hasse-Arf theorem, Herbrand's Theorem, more generally Sen's theorem, and Hilbert's formula which are true under the strong hypothesis "L/K separable" (see for example [18]); however remain true in the more general case when "L/K is assumed to be monogenic" see [3,20,23,24] for Hasse-Arf theorem.
Except the Congruence formula (5.1) that requires necessarily the separability of L/K see § 5 in [20].
Furthermore, from [20, Theorem 5.1] we have: Definition 1. A well-ramified extension L/K is defined as a finite Galois and completely ramified extension satisfying one of the three equivalent conditions: • L/K is monogenic, • Hilbert's formula holds, • Herbrand's theorem holds for any normal subgroup.
Remark 12. Note here the following important facts due to the monogenity.
• If L/K is monogenic then L/K is too, but the converse is not true, see Counter-example 1.
• If L/K is separable then L/K is monogenic, the converse is not true for a counter-example take a Galois extension of degree p such that the residue fields extension is purely inseparable, see Counter-example 1.
• In monogenic case, even by assuming that the residue extension is separable, the generator of the respective DVR need not be a uniformizer unless we are the setting of a totally ramified extension. If L/K is not totally ramified, it's very easy to give counter-examples.
• If L is the compositum of two linearly disjoint extensions L 1 and L 2 such that the residue extensions L 1 /K and L 2 /K are separable the compositum L/K need neither be separable nor monogenic. A main example arises as follows, see Counterexample 1.
Counterexample 1. Let K be any complete discretely valued field of characteristic 0, containing a primitive p-th root of unity with residue field K of characteristic p > 0. Write π for a uniformizer of K and consider L 1 = K( p √ πu), where u has a valuation zero, u is not a p-th power in K and does not reduce to a p-th power in K, and L 2 = K( p √ π). Then each is totally ramified of degree p; L 1 /K and L 2 /K are both trivial (so separable). Also p √ πu and p √ π are both roots of f (X) = X 2p − π(1 + u)X p + π 2 u which is irreducible over K according to Schönmann criterion, so p √ πu and p √ π are linearly independent over O K . The compositum L = L 1 .L 2 , is an elementary abelian extension of degree p 2 since its ramification index is p and the residue field is L = K( p √ u), which is inseparable of degree p over K. Then we get L/K monogenic since it is of prime degree. Prove that L/K is not monogenic. We know that if Herbrand Theorem does not hold then the extension is not well ramified and then it is not monogenic, see [20,Lemma 5.2]. That is if there exists a normal subgroup H of G, such that i G/H (τ ) = 1/e (L/L H ) σ>τ i G (σ), where i G(.) is the Artin ramification number.
Let H =< σ > be the cyclic group of order p such that σ(u 1/p ) = ζ.u 1/p , where ζ is a primitive p-th root of unity. So L H = K(π 1/p ) with L/L H is ferociously ramified meanwhile L H /K is wildly ramified both of prime degree and has each a single Artin ramification number. Also char (K) = 0, L/L H is ferociously ramified and v(u) = 0 implies that i G (σ) = s G (σ) where s G(.) is the Swan ramification number.