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

Integral representations related to algebraic numbers; Galois module structure of rings of integers (11R33) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Valuation rings (13F30)

Review text

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].

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Ramification indices, differents, and integral bases for radical extensions. I.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1176777)