On the class groups of pure function fields (Q1115479): Difference between revisions

Following the genus theory for algebraic function fields developed by \textit{M. L. Madan} [Arch. Math. 19, 121-124 (1968; Zbl 0245.12012)] and \textit{M. Rosen} [J. Algebra 26, 98-108 (1973; Zbl 0265.12003)] the author proves the following theorem: Let p, \(\ell\) be primes, p odd, \(\neq \ell\), and \(r_ p\) the number of irreducible factors of \(X^ p-1\) in \({\mathbb{F}}_{\ell}[X]\). For any finite abelian group A with rank \(2(r_ p-1)\) and exponent relatively prime to \(\ell p\), there exist infinitely many pure extensions K over \({\mathbb{F}}_{\ell}(X)\) of degree \( p\) for which the divisor class group of degree zero contains a subgroup isomorphic to A. In the proof it is shown that we can take K being generated by the p-th root of \(X^{pN}-1\), \((N,\ell p)=1\) for infinitely many special \(N\in {\mathbb{Z}}.\) The author gets related results in the ``real'' and ``imaginary'' cases (defined according to the behaviour of the infinite prime divisor (1/X) in a pure extension K) where the divisor class group of degree zero is replaced by the ideal class group of the integral closure of \({\mathbb{F}}_{\ell}[X]\) in K.