Existenz von Ganzheitsbasen bei Kummererweiterungen und Komposita. (Existence of integral bases for Kummer extensions and composites) (Q1115484)

Let R be a Dedekind domain with quotient field K. Let L be a finite separable extension of K, and let S denote the integral closure of R in L. This paper studies the condition that L has integral basis over K. In the first part, the author proves, under certain conditions, that L has an integral basis over K if and only if there exists an element b of R such that \(d_{L/K}=(b^ 2)\). The proof depends on a theorem of \textit{E. Artin} [Colloq. Int. CNRS 24, 19-20 (1950; Zbl 0039.029)]. The second part applies this result to the case that L is of Kummer type. Let p be a prime number and assume p is a unit of R. Let \(L=K(^ P\sqrt{a_ 1},...,^ P\sqrt{a_ t})\), \(a_ i\in R\) and let \(\tilde L/\tilde K\) be an extension such that \(L\supset \tilde L\supset \tilde K\supset K\). Then the author gives some criteria that \(\tilde L\) has an integral basis over \(\tilde K.\) In particular, it is proved that if R is principal and \([\tilde L:\tilde K]\geq 3\), then \(\tilde L\) has an integral basis over \(\tilde K.\) Several results on the existence of fields which have no integral basis are also presented without proof from the author's dissertation.