scientific article; zbMATH DE number 1011033

Authors

Publication date 2 March 1998

cyclic extensions Kummer extension ramification residue field

Cyclotomic extensions (11R18) Other abelian and metabelian extensions (11R20)

Let \(p\) be a prime number, and let \(K\) be a field of characteristic different from \(p\). Assume \(K\) does not contain a primitive \(p\)th root of unity \(\varepsilon\). The present paper investigates algebraic and arithmetic properties of cyclic extensions \(L/K\) of degree \(p\). Let \(L_p= L(\varepsilon)\) and \(K_p= K(\varepsilon)\). Then \(L_p/K_p\) is a Kummer extension of degree \(p\), and \(L_p\) is written in the form \(L_p= K_p(\root p\of{B})\) for \(B\in K_p\). The fundamental idea of the paper is to investigate cyclic extensions \(L/K\) through \(L_p/K_p\), especially through \(B\). First the author deals with algebraic properties of \(L/K\). Let \(\tau\) be a generator of the Galois group of \(K_p/K\). Then Theorem 1 gives an algebraic characterization of Kummer extensions \(L_p= K_p(\root p\of{B})\) over \(K_p\) which contains a cyclic extension \(L/K\) in terms of \(B\) and \(\tau\). Next the author studies arithmetic properties of \(L/K\). Assume \(K\) is a quotient field of a Krull ring \(\mathfrak o\), and let a set \(\mathcal P\) of normalized discrete valuations in \(\mathfrak o\) be given. Let \({\mathfrak o}'\) and \({\mathcal P}'\) be the corresponding objects to \(\mathfrak o\) and \(\mathcal P\) in \(K_P\), respectively. Let \(L/K\) be a cyclic extension and let \({\mathfrak p}_1,\dots,{\mathfrak p}_r\in{\mathcal P}\) be the primes ramified in \(L/K\), and assume \(p\) is prime to \({\mathfrak p}_1,\dots,{\mathfrak p}_r\). Then Theorem 2 shows that for \(i=1,\dots,r\) the residue field \(K\text{ mod }p_i\) contains a \(p\)th root of unity \(\varepsilon\), and gives a description on a generating element \(B\in K_p\) with \(L_p= K_p(\root p\of{B})\). In particular, in the case where \({\mathfrak o}'\) is a unique factorization domain, \(B\) is written more explicitly. In the third part, the author deals with the converse problem. Let \({\mathfrak p}_1,\dots,{\mathfrak p}_r\in{\mathcal P}\) be finite primes with some conditions such as the above. Theorem 3 constructs Kummer extensions \(L_p/K_p\) which contain a cyclic extension \(L/K\) in which only \({\mathfrak p}_1,\dots,{\mathfrak p}_r\) are ramified with some exceptions. Several detailed examples are also given. The final part is concerned with integral bases and other applications.

Recommendations

Cited in

(30)

This page was built for publication:

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