Distances of elements in valued ﬁeld extensions

. We develop a modiﬁcation of a notion of distance of an element in a valued ﬁeld extension introduced by F.-V. Kuhlmann. We show that the new notion preserves the main properties of the distance and at the same time gives more complete information about a valued ﬁeld extension. We study valued ﬁeld extensions of prime degree to show the relation between the distances of the elements and the corresponding extensions of value groups and residue ﬁelds. In connection with questions related to defect extensions of valued function ﬁelds of positive characteristic, we present constructions of defect extensions of rational function ﬁelds K ( x , y ) | K generated by elements of various distances from K ( x , y ) . In particular, we construct dependent Artin–Schreier defect extensions of K ( x , y ) of various distances.


Introduction
In this paper, we consider fields equipped with (Krull) valuations. A valued field will be denoted by (K , v), its value group by v K , and its residue field by K v. By a valued field extension (L|K , v) we mean a field extension L|K , where v is a valuation of L and K is equipped with the restriction of v. For the basic facts about valued fields and their extensions, we refer the reader to [8,9,21,26,27]. The algebraic closure of a given field K will be denoted byK and the divisible hull of an abelian group will be denoted by˜ .
If (L|K , v) is a valued field extension, then every element z ∈ L induces a cut of the divisible hull v K of the value group of K in the following way. The lower cut set is the smallest initial segment of v K which contains the set {v(z −c) | c ∈ K }∩v K . Kuhlmann introduced this cut in [17] and called it the distance of z from K , denoted by dist (z, K ). In her thesis [1] the author modified this definition, replacing the set The cut in v K having as its lower cut set the smallest initial segment of v K containing {v(z − c) | c ∈ K } ∩ v K is denoted by dist K (z, K ). The motivation for this modification is as follows. The lower cut set of dist (z, K ) may not contain complete information about the set v(z − K ). This appears when the set is not contained in the value group v K of the field K . On the other hand, if z is algebraic over K , then the lower cut set of dist K (z, K ) contains the whole set {v(z − c) | c ∈ K }. This gives more complete information about the valued field extension of K generated by z.
Take a valued field (K , v). An extension (L , v) of (K , v) is called immediate if the corresponding value group and residue field extensions are trivial, i.e., if (vL : v K ) = [Lv : K v] = 1. Take an element b algebraic over K and assume that v extends in a unique way from K to K (b). We say that the element b is weakly immediate over K if the set {v(b − c) | c ∈ K } has no maximal element. Theorem 2.1 shows that this holds in particular when the extension (K (b)|K , v) is immediate. Take an element b in some valued field extension of K . If b is weakly immediate over K , then dist (b, K ) = dist K (b, K ). However, the set v(b− K )∩v K and thus dist (b, K ) does not determine whether b is weakly immediate over K or whether the extension K (b)|K is immediate. An important problem connected with valued field extensions is to understand the structure of so-called defect extensions (for the definition see Sect. 2.2). The existence of such extensions is one of the main obstacles for the solution of many open problems in valuation theory. Distances turned out to be an important tool for the study of the structure of defect extensions of valued fields of positive characteristic (cf. [17] and [2]). F.-V. Kuhlmann and O. Piltant in their joint work [22] relate defect extensions with higher ramification groups, in connection with the local uniformization problem. They use distances to describe the relation adopting the modification of the definition of the distance mentioned above. In the study of valuations of rational function fields presented in this paper, which continues the work of S. D. Cutkosky and O. Piltant ( [7]), the problem of an upper bound of the number of essentially distinct distances of immediate and defect extensions came up. In the preliminary version of [22] the authors used the old notion of distance. Since this notion does not determine whether an element is immediate over a given valued field, this turned out to be not enough to solve the problem of an upper bound of the number of distances. One of the aim of introducing the new notion of distance was to develop a new, stronger tool which would help to solve the mentioned problem.
In Sect. 2 we recall basic facts about dist (z, K ). Then in Sect. 3 we describe the basic properties if dist K (z, K ) and show that many of the important properties of dist (z, K ) remain true for dist K (z, K ).
In Sect. 4 we apply the properties of distances to the case of extensions (K (a)|K , v) of prime degree. We first show that dist K (a, K ) encodes information about the value and the residue field extension of such a valued field extension (cf. Lemma 4.1 and Proposition 4.2). We then describe the possible distances of elements of extensions of prime degree. Whereas in the case of defectless extensions the possible distances of elements are tightly connected with the value group extension (cf. Proposition 4.5), for defect extensions the situation is much more complicated. In Proposition 4.6 we reduce the problem to the case of distances of purely inseparable weakly immediate elements. In Theorem 4.7 we show that already in the case of valuations of a rational function field K (x, y)|K of positive characteristic which are trivial on K , we can obtain various forms of distances of weakly immediate purely inseparable elements. More precisely, for a given nondiscrete and nonp-divisible subgroup of Q we can construct a valuation of K (x, y) trivial on K and such that y 1/ p is an element weakly immediate over K (x, y) and its distance is a cut in Q induced by any given real number or is of the form (Q, ∅).
Describing valuations on rational function fields is one of the important questions in valuation theory with applications to algebraic geometry. The construction of valuations of a rational function field with a given value group was studied already in [25]. Since then, constructions and properties of valued rational function fields were studied by many authors. A classification of all possible extensions of a valuation from a ground field K to a rational function field K (x 1 , . . . , x n ) was studied in particular in [15] and [4]. The authors determine there which value groups and residue fields can appear for such extensions and show how to construct them. The proof of Theorem 4.7 of the present paper shows in particular a possible construction of a valuation of a rational function field K (x, y)|K with residue field K and a given value group . However, in connection with questions related to defect extensions, the main aim of the result is to present a construction of defect extensions of K (x, y) generated by elements of various distances from K (x, y).
Current research connected with local uniformization in positive characteristic shows the importance of a better understanding of the structure of defect extensions of function fields. In particular, we are interested in the construction of Artin-Schreier defect extensions of rational function fields of characteristic p > 0 and in the distances of their generators. The problem of constructing towers of Artin-Schreier defect extensions in the case of a p-divisible value groups was studied in [2]. In the last part of Sect. 4 we use Theorem 4.7 to give a construction of Artin-Schreier defect extensions of the rational function field K (x, y) such that the distance dist (ϑ, K (x, y)) of the Artin-Schreier generator ϑ from K (x, y) is a given negative real number. This in particular gives constructions of Artin-Schreier defect extensions of rational function fields in two variables in the case of nonpdivisible value groups.

Cuts and distances
We recall basic notions and facts connected with cuts of ordered abelian groups and the notion of distance of elements of valued field extensions. For the details see Section 2.3 of [17] and Section 3 of [23].
Take a totally ordered set (T, <). For a nonempty subset U of T and an element a ∈ T we will write U < a if u < a for every u ∈ U . A set L ⊆ T is called an initial segment of T if for each α ∈ L every β < α also lies in L . A pair ( L , R ) of subsets of T is called a cut in T if L is an initial segment of T and R = T \ L . To compare cuts in (T, <) we will use the lower cut sets comparison. That is, for two cuts 1 Take a totally ordered set (T, <). With an element s ∈ T we can connect two cuts: We identify the element s with s + . Thus, for a cut = ( L , R ) in T and an element s ∈ T the inequality < s means that for every t ∈ L we have t < s.
Similarly, for any subset M of T we define M + to be the cut ( L , R ) in T such that L is the least initial segment containing M, that is, We denote by M − the cut ( L , R ) in T such that L is the largest initial segment disjoint with M, i.e., Take a cut = ( L , R ) in an ordered abelian group . For any element α ∈ we set α + := (α + L , α + R ). [17]) and thus the lower cut set of a cut in v K . However, it is more convenient to work with the cut

For every extension (L|K , v) of valued fields and
As we have mentioned in the Introduction, we call this cut the distance of z from K . The lower cut set of dist (z, K ) is the smallest initial segment of v K containing v(z − K ) ∩ v K . If the lower cut set of dist (z, K ) is equal to v K , we will write dist (z, K ) = ∞. Since dist (z, K ) is always a cut in v K , we can compare distances of elements over any algebraic extensions of (K , v), regardless of the respective value group extensions. Indeed, if (F|K , v) is an algebraic subextension of (L|K , v) If y is another element of L then we define If this holds, then from the definition of distance dist (z, K ) = dist (y, K ).
The following theorem gives us important information about the distance of elements in immediate extensions (cf. Theorem 1 of [11] and Theorem 2.19 of [17]).
is an immediate extension of valued fields, then for every element z ∈ L\K the set v(z − K ) is contained in v K and has no maximal element. In particular, vz < dist (z, K ).
Take an extension (L|K , v) of valued fields and elements y, z ∈ L. If (K (z)|K , v) is an immediate extension, then the previous theorem shows that the relation z ∼ K y is equivalent to the inequality v(z − y) > v(z − K ).

Defect and defectless extensions
A valued field (K , v) is called henselian if the valuation v admits a unique extension to K . A henselization of (K , v) is a minimal henselian field extension of (K , v), in the sense that it admits a valuation preserving embedding over K in every henselian extension of (K , v). Henselizations are unique up to valuation preserving isomorphism over K (cf. Theorem 17.11 of [8]). Thus we will speak of the henselization of (K , v) and denote it by (K , v) h or, if v is fixed, by K h . The extension K h |K is always immediate and separable-algebraic (cf. [8], Theorem 17.19). Furthermore, if L is any algebraic extension of K and v is a fixed extension from K to the algebraic closure of K , then L h = L .K h .
Take a valued field (K , v) and a finite extension L of K . Assume that the extension of the valuation v from K to L is unique. This is equivalent to the fact that L is K -linearly disjoint from the henselization K h of K (cf. Lemma 2.1 of [5]). Then the Lemma of Ostrowski (see [27], Chapter VI, 12, Corollary to Theorem 25) says that with n ≥ 0 and p the characteristic exponent of K v, that is, p = charK v if it is positive and p = 1 otherwise. The factor d(L|K , v) := p n is called the defect of the extension (L|K , v). If it is nontrivial, that is, if n > 0, then (L|K , v) is called a defect extension. If d(L|K , v) = 1, then (L|K , v) is called a defectless extension. Take a finite extension (L|K , v) and assume that the valuation of K admits a unique extension to the field L. Fix an extension of this valuation toK and denote it again by v. Since K h is linearly disjoint from L over K and K h |K is an immediate extension, we obtain that Take a defectless extension (L|K , v) of henselian fields. Set e = (vL : v K ) and f = [Lv : K v]. Choose elements η 1 , . . . , η e ∈ L such that vη 1 , . . . , vη e ∈ vL are representatives of the distinct cosets modulo v K . Further, choose ϑ 1 , . . . , ϑ f in the valuation ring O L of (L , v) such that ϑ 1 v, . . . , ϑ f v form a basis of Lv|K v. Without loss of generality we can assume that η 1 = ϑ 1 = 1. Since L|K is defectless, [L : K ] = e · f and the elements η i ϑ j , i ≤ e and j ≤ f form a K -basis of L (cf., e.g., Lemma 3.2.2 of [9] or Lemma 2.1 of [13]). Such a basis will be called a standard valuation basis. The next lemma (cf. Lemma 2.1 of [23] and Lemma 3.2.2 of [9]) allows us to determine the distance of elements in defectless extensions of henselian fields with the use of a standard valuation basis of the extension.

Lemma 2.2.
With the above assumptions on (L|K , v) and on the elements η i , i ≤ e and ϑ j , j ≤ f , the set v(a − K ) has a maximum for every a ∈ L. More precisely, if An important class of extensions satisfying the above assumptions are tame extensions. An algebraic extension (L|K , v) of henselian fields is called tame if every finite subextension E|K of L|K satisfies the following conditions: Directly from the above definition it follows that every tame extension of valued fields is separable-algebraic. For the proof, see [17], Proposition 2.8.

Artin-Schreier defect extensions
In this section we recall a few facts about Artin-Schreier defect extensions of valued fields and their classification presented in detail in [17]. Recall that an Artin-Schreier extension of a field K of positive characteristic p is an extension of degree p generated by a root ϑ of a polynomial X p − X − a with a ∈ K . In this case, ϑ is called an Artin-Schreier generator of the extension. Such an extension is always normal and hence Galois. On the other hand, every Galois extension of K of degree p is an Artin-Schreier extension (see, e.g., [24], Chapter VI Galois Theory, 6. Cyclic Extensions).
Towers of Artin-Schreier defect extensions play a central role in the issue of defect extensions. This follows from the fact that every finite separable extension (L|K , v) of henselian fields of characteristic p > 0, lifted up to some finite tame extension N of K , becomes a tower of Artin-Schreier extensions (cf. Lemma 2.9 of [17]). Furthermore, by Proposition 2.3 the defect of the lifted extension remains unchanged. Hence, the extension (L|K , v) has nontrivial defect if and only if the tower L .N |N contains an Artin-Schreier defect extension.
Throughout the remaining part of this section we assume that (K , v) is a valued field of characteristic p > 0 and K (ϑ)|K an Artin-Schreier extension with ϑ p − ϑ − a = 0 for some a ∈ K .
Assume that (K (ϑ)|K , v) is a defect extension. Then from the Lemma of Ostrowski it follows that the defect is equal to the degree of the extension. Consequently, the extension is immediate. Furthermore, the valuation v of K admits a unique extension to K (ϑ).
has no maximal element.
From Lemma 4.1 of [17] it follows that δ := dist (ϑ, K ) does not depend on the choice of the Artin-Schreier generator ϑ. We call δ the distance of the Artin-Schreier extension (K (ϑ)|K , v). Lemma 2.30 of [17] implies that δ ≤ 0 − . We will distinguish two types of Artin-Schreier defect extensions considering their connection with purely inseparable extensions. Assume that K (ϑ)|K is an Artin-Schreier defect extension. If there is an immediate purely inseparable extension K (η)|K of degree p such that then K (ϑ)|K is called a dependent Artin-Schreier defect extension. Otherwise it is called an independent Artin-Schreier defect extension. The following proposition gives a useful characterization of independent Artin-Schreier defect extensions.

Proposition 2.4. Assume that the extension (K (ϑ)|K , v) has nontrivial defect. Then K (ϑ)|K is an independent Artin-Schreier defect extension if and only if
Proof. As we have mentioned, since ϑ is an Artin-Schreier generator of a defect extension, dist (ϑ, K ) ≤ 0 − . Now the assertion follows directly from Proposition 4.2. and Lemma 2.14 of [17].
We finish the section with considering the form of any separable defect extension of (K , v) of degree p. Proof. Note that since char K = p, the field contains a primitive ( p − 1)-th root of unity. Thus any extension generated by a ( p − 1)-th root of an element of K is cyclic of degree dividing p − 1 (cf., e.g., Theorem 2.4 of [12]). Moreover, since the degree of the extension divides p − 1 and K is a henselian field, it is a tame extension. Hence the first assertion of the lemma follows from the second one.
Since (L|K , v) is a separable defect extension of degree p, Theorem 13 of [16] together with Corollary 2.14 of [20] show that L = K (η), where η is a root of a polynomial A(X ) − c for some c ∈ K and an additive polynomial A(X ) ∈ K [X ] of degree p. Since L|K is separable, we obtain that f (X ) = X p − d X − c for some c, d ∈ K , d = 0. Take a ∈K to be a ( p − 1)-th root of d and set E = K (a). As we have noticed, then (E|K , v) is a tame extension. Note that Consider the transformation of the polynomial f by setting X = aY and dividing the polynomial by a p . We then obtain the Artin-Schreier polynomial

Approximation types
A very handy tool in studies of immediate extensions of valued fields are approximation types.
Take an extension (L|K , v) of valued fields and an element x ∈ L. For every Hence, if the approximation type appr (x, K ) is immediate, then the extension K (x)|K is nontrivial.
The next lemma shows the relation between immediate approximation types and immediate extensions of valued fields (cf. Lemma 4.1 of [23]).

Lemma 2.6. Assume that (L|K , v) is an extension of valued fields. If x ∈ L, then the approximation type appr (x, K ) is immediate if and only if the set
Take a valued field (K , v) and an element x in some valued field extension (L , v) of (K , v). We say that the approximation type appr (x, K ) fixes the value Note that an immediate approximation type appr (x, K ) fixes the value of every linear polynomial in K [X ] (cf. Section 5 of [23]). Assume that appr (x, K ) is an immediate approximation type. If appr (x, K ) does not fix the value of some polynomial f ∈ K [X ], then we call it an algebraic approximation type.
Assume that appr (x, K ) is algebraic and take a polynomial f of minimal degree whose value is not fixed by appr (x, K ). Note that then f is irreducible and can be chosen to be monic. Such a polynomial will be called an associated minimal polynomial for appr (x, K ).

Lemma 2.7. Assume that appr (x, K ) is an immediate approximation type over (K , v), where x is an element in some valued field extension of K .
a) If x is algebraic over K , then appr (x, K ) does not fix the value of the minimal polynomial of x over K . b) If appr (x, K ) is an algebraic approximation type and f an associated minimal polynomial for appr (x, K ), then for every g ∈ K [X ] such that deg g <deg f , the approximation type appr (g(x), K ) is also immediate.
For the proof, see Corollary 5.5 and Lemma 8.2 of [23]. Assertion a) of the above lemma yields that if x is algebraic over K then appr (x, K ) is an algebraic approximation type.

Power series fields
We consider now a few properties of an important class of valued fields. For an ordered abelian group and a field k take k((x )) to be the (generalized) power series field introduced by Hahn in [10]. We introduce the valuation v of k((x )) by setting v f to be the minimum of the support of f , for every element f ∈ k((x )) × . That is, for every nonzero power series we have This valuation is called the canonical valuation or x-adic valuation of k((x )).
Directly from the definition of the valuation it follows that vk((x )) = and [14] proved that (k((x )), v) is a maximal field, that is, admits no nontrivial immediate extensions. Since the henselization and the completion of a valued field are immediate extensions, every maximal field is henselian and complete. Hence, in particular the power series field (k((x )), v) is henselian and complete. Take a valued field (K , v) and a subset A of K . We say that A is dense in Lemma 2.8. Take a field K , the power series field K ((x Q )) and an element y ∈ K ((x Q )). Denote by v the restriction of the canonical valuation of the power series field to K (x, y). Then the ring Proof. Take any element u ∈ K (x, y).
. Without loss of generality we can assume that vg = 0. Indeed, if vg = m n for some m ∈ Z and n ∈ N, then and vx −m g n = 0. Thus, if Q ≥0 denotes the set of all nonnegative rational numbers, we obtain that x , y], the element h is of positive value and u =f 1−h . Take any γ ∈ Q. Since vh > 0, there is N ∈ N such that vf + (N + 1)vh > γ . Thus for Hence

Distances of elements in algebraic extensions
In Sect. 2.1 we have introduced a notion of the distance of an element in a valued field extension. The notion enables us to define and compare distances of elements in any valued field extension (L , v) of a given field (K , v). Nevertheless, since for an element b ∈ L the lower cut set of dist in the case of a nontrivial value group extension we can lose some information This proves part 1) and the first assertion of part 2). For the proof of equality (4) note that since α is the maximal Assume now that α ∈ v K . Then from the first part of assertion 2) we obtain Then (L|K , v) is defectless and from Lemma 2.2 if follows that for every a ∈ L\K the set v(a − K ) admits a maximal element α a / ∈ v K . By the previous lemma, Since v K is densely ordered and α a ∈ v K , from the above equality it follows that the set v(a − K ) ∩ v K has no maximal element. Take now an immediate algebraic extension (E, v) of (K , v). From Theorem 2.1 we infer that also in this case, for every a ∈ E\K the set v(a − K )∩v K = v(a − K ) has no maximal element. On the other hand, if for every a ∈ E\K the set v(a − K ) has no maximal element, then by Lemma 2.6, the extension is immediate. The above paragraph shows that the last assertion may not hold if we replace the sets . Hence, as we have seen in the above example, the distances of elements of a given valued field extension may not carry any information whether the considered extension is immediate.
Take a valued field extension (L|K , v). Fix an extension of v to the algebraic closure L of L and denote it again by v. For an element b ∈ L define the distance of b from K over K to be the following cut in v K : (cf. the definition of the distance of an element of a valued field from a subset of this field as presented in [23]). As we have mentioned in the Introduction, dist . This notion of distance carries more information about the set v(b − K ) than dist (b, K ). While the above definition also applies to elements transcendental over K , we will focus in our further investigations on the case of algebraic elements. Note that for every a, b ∈ K we obtain directly from the definition of the distance As a straightforward consequence of the above definition we obtain the following properties of the distance (cf. Lemma 2.25 of [17]). Lemma 3.2. Take a valued field (K , v) and an element b algebraic over K . Fix an extension of v to K (b). Then for any c ∈ K we have: Hence both definitions of distance coincide in particular in the case of extensions with trivial value group extensions, thus also in the case of immediate extensions. However, using the new notion of distances we can determine if a given algebraic extension is immediate or not. As we have seen, this is not true for the old notion. Proof. This follows directly from Lemma 2.6 and the definition of dist K (b, K ).

Take a valued field (K , v) and fix an extension of
Together with Lemma 3.1 of [23], this yields: The next lemma gives an important characterization of the relation ≈ K .

Lemma 3.5. Take elements a and b algebraic over K . Then a ≈ K b if and only if
By definition of the distance of an element from K over K , we obtain that and thus a ≈ K b.
As direct consequences of the lemma we obtain the following properties, which correspond to the ones that hold for dist (a, K ) and the relation ∼ K (cf. Lemma 2.17 and 2.25 of [17]).
Corollary 3.7. Take any elements a and b algebraic over K . Then for every c ∈ K we have: We know already that in the case of an immediate algebraic extension (K (a)|K , v), the two notions of distances dist K (a, K ) and dist (a, K ) coincide. The next lemma shows in particular that if (K (b)|K , v) is another immediate extension, also the relation a ≈ K b can be equivalently replaced by a ∼ K b. Proof. Note first that since v(a − K ) and v(b − K ) have no maximal elements, Lemma 3.1 yields that the sets are contained in v K .
Since the initial segment of dist K (a, K ) has no maximal element, we obtain that Assume that (L|K , v) is an algebraic extension and v is an extension of the valuation of L to K = L. Take an element b which is algebraic over K and hence also over L. Since L|K is algebraic, v K = vL and thus dist L (b, L) and dist K (b, K ) are cuts in the same group. Hence we can compare the distances.
then there is a ∈ L such that a ≈ K b. Then in particular, Proof. The first inequality follows immediately from the definition of the distance.
Hence for any by Corollary 3.6.
The above lemma is an analogue of Lemma 2.18 of [17]. Directly from Lemma 2.2 we obtain the following fact. c i a i , then Take an algebraic extension (L|E, v) and assume that v extends in a unique way from E to L. Recall that an element b ∈ L is called weakly immediate over E if the set v(b − E) has no maximal element. By Lemma 2.6, this means that appr (b, E) is an immediate approximation type. Note that if b is weakly immediate over E, then ∞ / ∈ v(b − E), hence the extension E(b)|E is nontrivial. Note also that if the extension L|E is immediate, then by Theorem 2.1, every element b ∈ L\E is weakly immediate over E.

Corollary 3.11. Take an algebraic extension (L|E, v) and a defectless algebraic extension (F|E, v) such that v extends in a unique way from E to F. Then every b ∈ L weakly immediate over E is also weakly immediate over F, with
Another important application of Lemma 3.9 is the case when L is the henselization of K . We obtain then the following fact (for the proof see Lemma 9 of [6]). Proposition 3.12. Take an algebraic extension L|K such that the valuation of K admits a unique extension to L. Then for every b ∈ L\K , Take an extension (K (a)|K , v) of degree n. We say that the element a is strongly immediate over K if the following conditions hold: Note that by Lemma 2.6, condition (SI1) holds if and only if the approximation type appr (a, K ) is immediate. Moreover, (SI2) states that the approximation type appr (a, K ) fixes the value of every polynomial of degree less than n. Thus if a is strongly immediate over K , then part a) of Lemma 2.7, yields that the minimal polynomial of a over K is an associated minimal polynomial for appr (a, K ). Hence, every associated minimal polynomial for appr (a, K ) is of degree n. On the other hand, if g is an associated minimal polynomial for appr (a, K ) of degree n, then by the definition, appr (a, K ) fixes the value of every polynomial of degree less that n. We thus obtain the following result. Since a is strongly immediate, v(a − K ) has no maximal element. Furthermore, relation a ≈ K b together with Lemma 3.5 yields that Hence v(b − K ) has no maximal element. Consequently, b is strongly immediate over K .
If (K (a)|K , v) is an immediate extension, then by Theorem 2.1 the set v(a − K ) has no maximal element. Lemma 2.21 of [17] shows that if p =charK v > 0, the converse holds for extensions of degree p. The next lemma shows that it holds also for extensions generated by strongly immediate elements.

Lemma 3.15. Take an algebraic extension (K (a)|K , v)
and assume that a is strongly immediate over K . Then the following assertions hold.

1) The extension (K (a)|K , v) is immediate. 2) If b ∈ K is such that a ≈ K b and [K (a) : K ] ≥ [K (b) : K ], then the extension (K (b)|K , v) is immediate.
Proof. Since a is strongly immediate, by Lemma 3.13 the approximation type appr (a, K ) is immediate. Lemma 2.7 yields that appr (a, K ) is an algebraic approximation type. Take  Part 2) follows directly from part 1) and Lemma 3.14.
Part 1) of Lemma 3.15 together with Theorem 2.1 yield the following property.

Corollary 3.16. Take an algebraic extension (K (a)|K , v) such that a has property (SI2). The extension is immediate if and only if the set v(a − K ) has no maximal element.
The next example shows that the above equivalence is not true in general.
Example 3.17. Consider the power series field F p x Q with the canonical valuation v. We denote the restriction of the canonical valuation of F p x Q to any subfield of F p x Q again by v. Set which is the perfect hull of the rational function field F p (x).
Note that a p − a = 1 x . Since a p n / ∈ F p (x) for every n ∈ N, the element a does not lie in K . In Example 3.12 of [19] is the set of all negative elements of 1 p ∞ Z. Take any prime q = p and consider the element a + In particular, the set v(a + x 1/q − K ) has no maximal element. On the other hand, the extension (K (a + x 1/q )|K , v) is not immediate. Indeed, for an element For the proof we will need the following property (cf. Lemma 5.2 of [23]).

Lemma 3.19.
Take an algebraic approximation type appr (a, K ) and a polynomial g ∈ K [X ] of degree less than or equal to the degree of an associated minimal polynomial for appr (a, K ). Assume that appr (a, K ) fixes the value of g and take an element is fixed. Applying the above lemma to g = f − c and elements a and b respectively, we obtain that

Since the equality v( f (a)−c) = v( f (b)−c) holds for every c ∈ K , by Lemma 3.5 we obtain the relation f (a) ≈ K f (b).
We show now how the distances of any elements in an immediate simple extension generated by a strongly immediate element depend on the distance of the generator of the extensions. In the remaining part of the section assume that the residue field Ev of (E, v) is of positive characteristic p.

Lemma 3.20. Assume that (E(a)|E, v) is an extension of degree p j such that the valuation v admits a unique extension from E to E(a). If a is strongly immediate over K , then for every nonconstant polynomial f ∈ E[X ] of degree less than
Proof. Since a is strongly immediate, property (SI1) together with part 1) (a), E). Moreover, Lemma 3.13 implies that appr (a, E) is an immediate approximation type. Now the assertion of the lemma follows from Proposition 7.4 and Lemma 8.2 of [23].

Corollary 3.21. If E(a)|E is an immediate extension of degree p such that the valuation v admits a unique extension from E to E(a), then for every b ∈ E(a)\E, there is
Proof. By Theorem 2.1 the set v(a − E) has no maximal element. Together with Lemma 11 of [6] this yields that the element a is strongly immediate over K . Now the assertion follows from the previous lemma.

Distances of elements in extensions of prime degree
We apply now the notions of the distance and the relation ≈ K considered in the previous section to the case of extensions (K (a)|K , v), (K (b)|K , v) of prime degree. We show that for such extensions the relation a ≈ K b implies a strong connection between the value group extensions and between the residue field extensions of (K (a)|K , v) and (K (b)|K , v). We also consider possible distances of elements in extensions of prime degree.
Throughout this section we assume that (K , v) is a valued field, fix an extension of v to the algebraic closure K of K and denote it again by v, unless stated otherwise. Denote by K h the henselization of K with respect to the fixed extension of v. Furthermore, we take p to be a prime number.
Take an extension K (a)|K of degree p such that the valuation v admits a unique extension from K to K (a). Then from the Lemma of Ostrowski it follows that either (K (a)|K , v) is an immediate extension (which is possible only in the case of p = char K v), (v K (a) : v K ) = p and the residue field extension is trivial, or [K (a)v : K v] = p and the value group extension is trivial. Assume Then the extension K (a)|K is defectless. Since v extends in a unique way from K to K (a), the extensions K (a) and K h are linearly disjoined over K . This together with Eq. (2) yields that K (a) h = K h (a) is a defectless extension of K h degree p. Moreover, as K h (a) = K (a) h and the henselization is an immediate extension of a valued field, we obtain that ∈ v K , then the value group extension is nontrivial and as before we deduce that v K (a) = v K + αZ.
A similar argument together with Lemma 3.1 shows that the residue field exten- By Theorem 2.1 we obtain that if K (a)|K is an immediate extension, then the set v(a − K ) has no maximal element. Note that also the converse holds. It follows from the fact that if the extension K (a)|K is not immediate and v extends in a unique way from K to K (a), then the above arguments show that K (a)|K is defectless and v(a − K ) admits a maximal element.
We thus can read off the information about the value group and the residue field extensions from the distance.

Proposition 4.2. Take extensions K (a)|K and K (b)|K of degree p and assume that the valuation v of K extends in a unique way to the fields K (a) and K (b).
Consider the extension (K (a)|K , v). As we have already seen, we have three possible cases: the extension is immediate, (v K (a) : v K ) = p and the residue field extension is trivial, or [K (a)v : K v] = p and the value group extension is trivial. The same holds for (K (b)|K , v).
Suppose that K (a)|K is immediate. Then v(a − K ) has no maximal element and thus also the set v(b − K ) has no maximal element. Now the assertion of the proposition follows from Lemma 2.21 of [17] .
Assume that the group v K (a)/v K is nontrivial. Then by the previous lemma, v ( Suppose now that the extension K (a)v|K v is nontrivial. Then by the previ- The next example shows that the additional condition v(b − a) > dist K (a, K ) is necessary to obtain the last assertion of the above proposition. Example 4.3. Assume that (K , v) is henselian and the residue field K v admits distinct separable extensions K v(η)|K v and K v(ϑ)|K v of degree p. Choose monic polynomials f, g ∈ O K [X ] of degree p whose reductions modulo v are the minimal polynomials of η and ϑ, respectively. Then l f admits a root a ∈ K such that av = η and g admits a root b ∈ K such that av = ϑ. This yields that [K (a) : and (1, a, . . . , a p−1 ) is a standard valuation basis of (K (a)|K , v). and (1, b, . . . , b p−1 ) is a standard valuation basis of (K (b)|K , v). Lemma 3.10 yields that dist K (a, K ) = (va) Take an extension L|K of degree p. We consider which distances dist K (a, K ) are possible for elements a ∈ L\K . Lemma 3.9 yields that dist K (a, K (b, K ). The next theorem determines dist K (a, K ) in the second case (for the proof see [18], Theorem 1).

Theorem 4.4. Every element d ∈ K h \K satisfies the equality
for some element α ∈ v K and a nontrivial convex subgroup H of v K . In particular, if the valuation v of K is of rank 1, then dist K (d, K ) = ∞.
Theorem 4.4 generalizes the well-known fact that if v is a rank 1 valuation of a field K , then the henselization of (K , v) is contained in the completion of the field. Proposition 3.12 shows that the case dist K (a, K ) = dist K (a, K h ) holds in particular if v admits a unique extension from K to K (a), that is, if K (a) is linearly disjoint from K h over K . The next proposition describes the possible distances if such an extension is defectless.
If the value group extension vL|v K is nontrivial, then the distance of every element b ∈ L\K from K over K is of the form α + for some α ∈ vL\v K . Furthermore, for every α ∈ vL\v K there is b ∈ L\K such that dist K (b, K ) = α + .
Proof. Note first, that by Proposition 3.12, for every b ∈ L\K we have Since v extends in a unique way from K to L, the extensions L|K and K h |K are linearly disjoint. Thus L .K h |K h is an extension of degree p.
Hence, we may assume that (K , v) is henselian. Assume first that vL = v K . As (L|K , v) is defectless, the fundamental equality yields that [Lv : K v] = p. Take any a ∈ L\K . Since L|K is of prime degree, L = K (a) and Lemma 4.1 yields that dist K (a, K ) = α + for some α ∈ v K .
Fix an element β ∈ v K . Take any a ∈ L\K . As we have seen, dist K (a, K ) = α + for some α ∈ v K . Take c ∈ v K such that vc = β − α. Then by Lemma 3.2 we obtain that dist K (ca, K ) = β + .
Assume that vL|v K is nontrivial. Then vL = v K + γ Z for some element γ ∈ v K of order p modulo v K . Similarly to the previous case, we deduce that for an element a ∈ L Lemma 4.1 yields that dist K (a, K ) = α + for some α ∈ vL\v K .
On the other hand, if β is an element of vL\v K , then it is of the form vc + iγ for some c ∈ K and 1 ≤ i ≤ p − 1. Take an element a ∈ L such that va = γ . Then for b = ca i Lemma 3.10 yields that Assume now that (L|K , v) is an immediate extension such that v extends in a unique way from K to L. Recall that then dist K (b, K ) = dist (b, K ) for any b ∈ L\K . Moreover, the Lemma of Ostrowski yields that p = char K v and L|K is a defect extension. Since is a defect extension of degree p. Furthermore, by Proposition 3.12 for any element b ∈ L\K we have dist K (b, K ) = dist K (b, K h ). This shows that we can assume additionally that (K , v) is henselian.
Take a defect extension (L|K , v) of degree p =charK v. Then v extends in a unique way from K to L. Hence Proposition 3.12 shows that for every b ∈ L\K We investigate now the form of distances of elements in defect extensions of degree p in the case of henselian valued fields of equal positive characteristic p.
Proof. Since b ∈ L\K and L|K is of prime degree, we have L = K (b). Moreover, since L|K is a defect extension of prime degree, it is immediate. Note that by Lemma 2.5 there is a tame cyclic extension E|K of degree dividing p − 1 such that (L .E|E, v) is an Artin-Schreier defect extension. Since the extension E|K is tame, it is in particular defectless. Thus by Corollary 3.11, we obtain that dist K (b, K ) = dist E (b, E). Take ϑ to be an Artin-Schreier generator of L .E|E. Then L .E = E(ϑ). Since also L .E = E(b), we obtain that b is an element of E(ϑ) which does not lie in E. Corollary 3.21 shows that

Assume first that E(ϑ)|E is an independent Artin-Schreier defect extension.
Then Proposition 2.4 shows that dist E (ϑ, E) = H − for some proper convex subgroup of v E = v K . Hence by Eq. (6) we obtain that for some proper convex subgroup H of v K and an element α ∈ 1 p−1 v K . If L|K is a dependent Artin-Schreier defect extension, then there is a ∈ E such that a ≈ E ϑ and thus dist E (ϑ, E) = dist E (a 1/ p , E). Hence if c ∈ E is such that vc = α, by Lemma 3.2 and Eq. (6) Setting d = ca 1/ p we obtain case 2) of the proposition.
Note that if L|K is itself an Artin-Schreier defect extension, then we can take E = K and replace α ∈ 1 p−1 v K in case 1) of the above proposition by α ∈ v K . The distances in case 1) of the above proposition are determined by the convex subgroups of v K . Thus we are left with the distances of those elements which generate purely inseparable immediate extensions of degree p.
Note that by Theorem 2.1, if (K (b)|K , v) is an immediate purely inseparable extension, then the set v(b − K ) admits no maximal element. Because of this, dist K (b, K ) may not be anymore a cut induced by some element of v K (b), like in the case of defectless extensions.
In the following facts we consider cuts in the ordered abelian group Q. For simplicity we generalize our notation by setting for any element δ ∈ R. We also identify the distances ∞ − and ∞. Theorem 4.7. Take a field K of positive characteristic p, a non-discrete subgroup of Q which is not p-divisible and δ ∈ R ∪ {∞}. Then there is a valuation v on the rational function field K (x, y)|K whose restriction to K is trivial, K (x, y)).
In the proof of the above theorem we give a construction of a valuation of the function field K (x, y) which satisfies the assertion of the above theorem. We first prove lemmas which we use in the construction of our valued field extension.
where γ i = n i r i and r i , n i ∈ Z are coprime and not divisible by q. Assume moreover that (e i ) i∈N is a sequence of natural numbers such that e i+1 − e i ≥ i, for all i ∈ N. Suppose that the sequence (γ i q −e i ) i∈N is strictly increasing and convergent to δ ∈ R. If K (x, y 1/ p ) is equipped with the restriction v of the canonical valuation of K ((x Q )), then Proof. Note first that it is enough to show that v(y 1/ p − f ) < δ for every element f ∈ K [x, 1 x , y]. Indeed, since by Lemma 2.
Take an element f ∈ K [x, 1 x , y]. Then for some a i j ∈ K and n, m, l ∈ N ∪ {0}. For every i ∈ {−n, . . . , m} and j ∈ {0, . . . , l} set We show that for each j there is N j ∈ N such that for every i ∈ {−n, . . . , m} Suppose first that m j > N . Then by the assumptions on e t we obtain that e m j − e N ≥ e N +1 − e N ≥ N and e m j − e m t ≥ e m j − e m j−1 ≥ m j − 1 ≥ N for all t ≤ j − k. Hence, Eq. (9) yields that q N divides kpn m j . Since n m j and p are coprime with q we obtain that q N divides k. Assume now that m j = N . Then by (9) we obtain that n N (kp − 1) = − rq e N · i + pn m 1 q e N −e m 1 + · · · + pn m j−k q e N −e m j−k . (10) Note that since p is a prime and n N , k are natural numbers, the left hand side of the above equation is nonzero. Therefore i = 0 or j = k. As in the previous case we show that e N − e m t ≥ N − 1 for t ≤ j − k. Hence, the right hand side of Eq. (10) is divisible by q N −1 . Since n N is coprime with q, it follows that q N −1 divides kp − 1. Take N j ∈ N such that q N j −1 > pj − 1 and a natural number N ≥ N j . Since k ≤ j, we obtain that q N −1 > kp − 1 and consequently q N > k. Therefore q N −1 does does not divide kp − 1 and q N does not divide k. This yields that Eq. (8) does not hold for any i, m 1 , . . . , m j ∈ N. Hence n N r N e −e N / ∈ supp h i j for N ≥ N j and i ∈ {−n, . . . , m}.
Lemma 4.9. Take a field K of positive characteristic p and the power series field K ((x Q )). Take where s i ≥ 2, i ∈ N form a strictly increasing sequence of pairwise coprime natural numbers and (n i ) i∈N is a sequence of integers such that gcd(s i , n i ) = 1 for each i. Suppose that the sequence ( n i s i ) i∈N is strictly increasing and convergent to δ ∈ R. If K (x, y 1/ p ) is equipped with the restriction v of the canonical valuation of K ((x Q )), then Proof. As in the proof of the previous lemma, is enough to show that v( Take an element f ∈ K [x, 1 x , y] and write it in the form (7). Again we show that for each j there is N j ∈ N such that for every i ∈ {−n, . . . , m} and N ≥ N j we have n N s N / ∈ supp h i j . Since x n i s i , this means that supp h i j and supp y 1/ p have at most finitely many common elements. As s i > 1 for every i ∈ N, we can set N 0 = 1. Take now j ∈ {1, . . . , l} and suppose that n N s N = i + pn m 1 s m 1 + · · · + pn m j s m j (11) for some N ∈ N, m 1 , . . . , m j ∈ N and i ∈ {−n, . . . , m}. Since s N > 1 and gcd(n N , s N ) = 1, we deduce that s N divides s m 1 · . . . · s m j . As the elements s i are pairwise coprime, s N = s m i for some i ≤ j. Without loss of generality we can assume that exactly k last indices are equal to N , that is for some integer d. Since by assumption s N is coprime with s m 1 · . . . · s m j−k , this yields that both hand sides of the above equality are nonzero integers. This in particular implies that s N divides 1 − kp, as gcd(n N , s N ) = 1.
Assume now that j = k. Then As in the previous case we deduce that s N divides 1 − kp = 1 − j p. Take N j ∈ N such that s N j > j p − 1. Since the sequence (s n ) n∈N is strictly increasing, for every N ≥ N j and k ∈ {1, . . . , j} we obtain that s N ≥ s N j > kp−1. Consequently s N does not divide 1 − kp. Thus equality (11) cannot hold and n N s N / ∈ supp h i j for any such N .
By what we have shown, Proof of Theorem 4.7:. We take (K (x)|K , v) to be the rational function field equipped with the x-adic valuation v, hence v is trivial on K . The field K (x) can be considered as a subfield of the power series field (K ((x )), v x ) with the canonical valuation v x . In the following constructions we choose the element y ∈ K ((x )) in such a way that the element is transcendental over K (x) and such that v K (x, y) = v K ((x )) = .
Without loss of generality we can assume that ( 1 p ∞ Z ) ∩ = Z and vx = 1. Indeed, if ( 1 p ∞ Z ) ∩ = s p k Z for some nonnegative integer k and a natural number s, we replace in our construction v by s p k v. We construct the element y depending on the group and the element δ. In each of the cases we construct a sequence (s i ) i∈N of positive integers and a sequence (n i ) i∈N of integers such that s i is coprime with p and n i for every i ∈ N, γ i := n i s i , i ∈ N, form a strictly increasing sequence converging to δ.
Note that then After a suitable choice of n i and s i we set x pγ i ∈ K ((x )).
Take F := K (x) h and K (x, y) h to be the henselizations of K (x) and K (x, y) inside of (K ((x )), v), respectively. If F(y) h denotes the henselization of F(y) inside of K ((x )), then F(y) h = K (x, y) h . Hence, applying Theorem 6.1 of [15] to the henselian field F with z = y, we obtain that x pγ i ∈ K (x, y) h for all i ∈ N. Since p is coprime with the denominator s i of γ i , we deduce that also Thus Theorem 6.1 of [15] yields that v F(y) = Z + ∞ i=1 pγ i Z and y is transcendental over F, thus also over K (x). Since the henselization of a valued field is an immediate extension of the field, we obtain that Consider now the purely inseparable extension (K (x, y 1/ p )|K (x, y), v) of degree p. Since as in the case of (K (x, y), v) one can show that v K (x, y 1/ p ) = and Denote by K (x, y) c the completion of (K (x, y), v) contained in (K ((x )), v). Take a natural number N . Since the valuation v is of rank 1 and x γ i ∈ K (x, y) h for all i, Theorem 4.4 yields that that the elements x γ i lie in the completion of K (x, y).

Hence also
Therefore we obtain that v y 1/ p Since (γ n ) n∈N is strictly increasing and converging to δ, we deduce that To construct the sequences (s i ) i∈N and (n i ) i∈N , we consider two cases separately.
Case 1. Assume first that there is at least one prime q such that 1 q ∞ Z ⊆ . As is not p-divisible, q = p. Take (r i ) i∈N to be the strictly increasing sequence of all natural numbers m coprime with q such that 1 m ∈ . Furthermore, we take (e i ) i∈N to be a strictly increasing sequence of natural numbers and set s i := r i q e i . By the choice of the sequences r i and e i we obtain that then Hence first of the conditions (12) holds. If δ = ∞, choose a sequence of integers (n i ) i∈N such that n i is coprime with r i q for each i and the sequence is strictly increasing and unbounded. Since γ i ∈ , the prime number p does not divide r i q e i . Hence pn i is coprime with s i = r i q e i for every i. Therefore the sequences of n i and s i satisfy conditions (12). As we have seen, this yields that the element y is transcendental over K (x) and the extension (K (x, Since lim n→∞ γ n = ∞ = δ, by inequality (14) we obtain that Assume now that δ ∈ R. We modify our choice of the elements e i and n i in the above construction of the element y to obtain that the sequence γ i = n i r i q e i , i ∈ N, is strictly increasing, convergent to δ and dist K (x,y) (y 1/ p , K (x, y)) = δ − . We choose the elements e i and n i by induction on i. Take any e 1 ∈ N and set n 1 := max k ∈ Z | gcd(k, qr 1 ) = 1 and k q e 1 r 1 < δ .
Define γ 1 = n 1 r 1 q e 1 . Take a natural number j. If j > 1, assume that for every i ∈ {2, . . . , j} we have chosen e i and n i in such a way that for γ i = n i r i q e i we have Note that the choice of n 1 and condition (iv) implies that n i = 0 for i ≤ j. Take an integer k and a natural number t such that γ j < k q t < δ and Such numbers k and t exist as 1 q ∞ Z is dense in Q, hence in R. Take now e j+1 ∈ N such that e j+1 ≥ max{t + 1, e j + j} and γ j < k q t + 1 r j+1 q e j+1 < δ.
Set n j+1 = kr j+1 q e j+1 −t +1 and γ j+1 = n j+1 r j+1 q e j+1 = k q t + 1 r j+1 q e j+1 . Directly from the choice of γ j+1 it follows that conditions (i), (iii) and (iv) hold for i = j + 1. Moreover, by the choice of n j+1 we have Note that δ − γ i ≤ 1 i for all i ≥ 2, whence lim i→∞ γ i = δ. Hence the sequences n i and s i := r i q e i , i ∈ N, satisfy conditions (12). Again, this yields that the element y is transcendental over K (x) and (K (x, y 1/ p )|K (x, y), v) is an immediate extension. Furthermore, by inequality (14) we obtain that dist K (x,y) y 1/ p , K (x, y) ≥ δ − . Together with Lemma 4.8 this shows that dist K (x,y) y 1/ p , K (x, y) = δ − . Case 2. Assume now that there is no prime q such that 1 q ∞ Z ⊆ . Hence, for every prime q = p there is a nonnegative integer N q such that q −N q ∈ and q −N q −1 / ∈ . Since is non-discrete, there are infinitely many primes q such that N q ≥ 1. Take (r i ) i∈N to be the strictly increasing sequence obtained from all the elements q N q with N q ≥ 1. Note that by our assumptions N p = 0, hence p does not divide r i , i ∈ N.
If δ = ∞, take s i = r i for all i ∈ N. Then ∞ i=1 1 s i Z = . Take (n i ) i∈N to be any sequence of integers such that gcd(n i , s i ) = 1 for every i ∈ N and the sequence γ i = n i s i , i ∈ N is strictly increasing and unbounded. Since p does not divide r i = s i for i ∈ N, the sequences (s i ) and (n i ) satisfy conditions (12). This yields that the element y is transcendental over K (x) and the extension (K (x, y 1/ p )|K (x, y), v) is immediate.
Suppose now that δ ∈ R. We construct the sequences n i and s i by induction on i. If N 2 = 0, set s 1 = r 1 . Otherwise, if m 1 ∈ N is such that r m 1 is a power of 2, then take s 1 = r 1 · . . . · r m 1 . Set n 1 := max k ∈ Z | gcd(k, s 1 ) = 1 and k s 1 < δ .
Note that the sequences (n i ) i∈N and (s i ) i∈N satisfy conditions (12). Indeed, by the choice of the elements s i and r i By assumption, p does not divide any element r i . This together with equation (iii') yields that gcd( pn i , s i ) = 1 for every i ∈ N. Inequalities (ii') and (iv') imply that (γ i ) i∈N is a strictly increasing sequence converging to δ. As in the previous cases, this yields that the element y is transcendental over K (x) and the extension (K (x, y 1/ p )|K (x, y), v) is immediate. Moreover, by inequality (14) we obtain that dist K (x,y) y 1/ p , K (x, y) ≥ δ − .
The above constructions enable us to obtain Artin-Schreier defect extensions of rational function fields of a given distance. Corollary 4.10. Take a field K of positive characteristic p, a non-discrete subgroup of Q which is not p-divisible and a negative real number δ. Then there is a valuation v on the rational function field K (x, y)|K whose restriction to K is trivial with v K (x, y) = , and such that a root ϑ of the polynomial X p − X − y generates an Artin-Schreier defect extension (K (x, y, ϑ)|K (x, y), v) of distance δ − .
Proof. As in the proof of Theorem 4.7 we construct the element y ∈ K ((x )) such that the field K (x, y) together with the restriction v of the canonical valuation of K ((x )) admits an immediate purely inseparable extension (K (x, y 1/ p ), v) with dist K (x,y) (y 1/ p , K (x, y)) = δ − . We show now that since δ < 0, we can construct the element y in such a way that vy 1 p = γ 1 > pδ. (18) In Case 1 we take an integer k and a natural number t such that pδ < k q t < δ. Further we take a natural number e 1 ≥ t + 1 such that pδ < k q t + 1 r 1 q e 1 < δ.
In Case 2 take a natural number m and an integer k such that pδ < k r m < k + 2 r m < δ.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.