Ramification indices, differents, and integral bases for radical extensions. I. (Q1176777)

Let \(\mathfrak o\) be a Krull domain and \(K_ 0\) the quotient field of \(\mathfrak o\). Let \(K/K_ 0\) be a separable pure extension of degree \(n\), i.e., \(K=K_ 0(y)\) with \(y^ n=B\in{\mathfrak o}\), and \(\mathfrak O\) the integral closure of \(\mathfrak o\) in \(K\). In this paper the author studies the existence of relative integral basis of \(\mathfrak O\) over \(\mathfrak o\). This generalizes results of his preceding paper [Colloq. Math. Soc. Janos Bolyai 51, 795-827 (1990; Zbl 0723.11056)] which treats the case where \(K/K_ 0\) is a Kummer extension. In fact the following two cases (A) and (B) are discussed: (A) For every prime divisor \(\mathfrak p\) of \(n\) it holds that \(v_{\mathfrak p}(B)=\nu\) with \((\nu,n)=1\), (B) \(n\) is a power of a prime \(p\), i.e., \(n=p^ r\), and \(B\) is prime to \(n\). In each case and in a mixed case of these cases some sufficient conditions are obtained that \(\mathfrak O\) has a relative integral basis over \(\mathfrak o\), and in that case a basis is also given explicitly. The proof consists of calculations of ramification indices and the discriminant. It is announced that the other cases are discussed in the following paper [same title II to appear in Vol. 57 of the same journal].