Genus fields of Kummer extensions of rational function fields (Q2667080)

The goal of this paper is to determine the genus field of a general Kummer extension of a global rational function field. Genus fields for congruence function fields were defined by \textit{M. Rosen} [Expo. Math. 5, 365--378 (1987; Zbl 0632.12017)]. There are several results known about the genus field of a global rational function field so far including [\textit{M. Maldonado-Ramírez} et al., Finite Fields Appl. 20, 40--54 (2013; Zbl 1285.11140); \textit{J. F. Barreto-Castañeda} et al., Rocky Mt. J. Math. 48, No. 7, 2099--2133 (2018; Zbl 1425.11184)]. The study of the genus fields of Kummer extensions was first studied by \textit{G. Peng} [J. Number Theory 98, No. 2, 221--227 (2003; Zbl 1049.11116)], then followed by \textit{V. Bautista-Ancona} et al. [Int. J. Number Theory 9, No. 5, 1249--1262 (2013; Zbl 1276.11187)], and \textit{C. D. Reyes-Morales} and \textit{G. Villa-Salvador} [Int. J. Math. 32, No. 9, Article ID 2150062, 21 p. (2021; Zbl 1477.11194)]. After introducing notations and general results including Abhyankar's Lemma in Section 2, Section 3 deals with Kummer extensions of prime power degree. They begin with the cyclotomic case as follows: Based on the knowledge of the ramification index of each prime in the extension \(k(\sqrt[m]{\gamma D})\), which is computed in Theorem 3.1, one determines the maximal cyclotomic extension \(M\) of \(F:=k(\sqrt[l^n]{D^*})\) which is unramified at the finite primes in Theorem 3.2. The genus field of \(F\) over \(k\) is then the unramified extension of \(F\) of appropriate degree contained in \(M\), so that the genus field of a (not necessarily cyclic) finite cyclotomic Kummer extension of prime power degree can be determined explicitly in Theorem 3.4. Based on the cyclotomic case, the result is extended to general Kummer extensions of prime power degree in Theorem 3.6. The more general case, namely Kummer extensions of arbitrary degree, is treated in Section 4. The key point is that under some circumstances, the genus field of the composite field is the composite field of their genus fields. Consequently, the genus field in this case can be derived from Theorem 3.6, so that the main result in Theorem 4.8 is achieved.