No label defined (Q4366263)

In the preceding papers [Arch. Math. 56, 569-585 (1991; Zbl 0735.11062)] and [ibid., 57, 254-266 (1991; Zbl 0764.11045)] of the same title, the author investigated the existence of the integral bases of radical extensions of the quotient field of a Krull ring with respect to the relative ramifications. This paper is a continuation of these works. Let \(K\) be a field of characteristic 0, and let \({\mathfrak p}\) be a prime of \(K\) obtained from a discrete valuation \(v_{\mathfrak p}\) such that \(v_{\mathfrak p}\) is not trivial on \(\mathbb{Q}\). Let \(p\) be the prime number with \(v_{\mathfrak p} (p)>0\). Let \(L=K (y)/K\) be a radical extension of degree \(p\) with \(y^p= B\in {\mathfrak o}\) and \(v_{\mathfrak p} (B)=0\), where \({\mathfrak o}\) denotes the valuation ring of \({\mathfrak p}\). Let \(\beta\) be the maximal number such that there exists \(a\in {\mathfrak o}_{ \mathfrak p}\) with \(v_{\mathfrak p} (a^p-B) =\beta\). Using this \(\beta\) the author classifies \(L/K\) by the ramification type, its discriminant, and the integral bases according to the cases \(\beta =0\), \(0< \beta \leq e^*_{\mathfrak p}\) with \((\beta,p) =1\), \(0< \beta= \mu p< e^*_{\mathfrak p}\), \(\beta= e^*_{\mathfrak p} =\mu p\), and \(\beta> e^*_{\mathfrak p}\), where \(e^*_{\mathfrak p} =v_{\mathfrak p} (p) {p\over p-1}\). The proof consists of local calculations and depends on the preceding works. As an appendix, similar results on Artin-Schreier type \(p\)-extensions are also obtained.