The genus fields of Kummer function fields. (Q1869791)

For an algebraic function field \(E/k\) over the rational function field \(k=\mathbb{F}_q (t) \) with finite \(\mathbb{F}_q \), the author gives a definition of its genus field \(G(E)\) in analogy to that for a number field \(E/\mathbb{Q}\), namely \(G(E)\) is the maximal abelian subextension of the Hilbert class field of \(E\) (i.e. maximal unramified extension with splitting infinite divisors) which is a compositum of \(E\) with an abelian field over \(k\). Then for Kummer function fields \(E=k(\sqrt[\ell ]{D})\), \(G(E)\) are determined explicitly. For example, if \(D=a P(t)_1^{r_1}\cdots P(t)_n^{r_n}\) with monic irreducible \(P_i\) and \(\ell \mid \)deg\((P_i)\), then \(G(E)=k(\sqrt[\ell ]{a},\sqrt[\ell ]{P_1},\cdots ,\sqrt[\ell ]{P_n})\).