Higher rank subgroups in the class groups of imaginary function fields (Q2502915)

Let \(k={\mathbb F}(T)\) be a rational function field over the finite field \({\mathbb F}\) of \(q\) elements. In [Proc. Am. Math. Soc. 133, No. 10, 2883--2889 (2005; Zbl 1100.11037)] the authors proved that for relatively prime integers \(m,n\in{\mathbb Z}\), \(m,n>1\) not divisible by the characteristic of \({\mathbb F}\), there exist infinitely many imaginary congruence function fields \(K\) over \({\mathbb F}\) of degree \(m\) over \(k\) such that the infinite prime is inert and the divisor class group \(Cl_ K\) contains a subgroup isomorphic to \(({\mathbb Z}/n{\mathbb Z})^ {m-1}\). In the paper under review the authors extend the result to fields such that the divisor class group \(Cl_ K\) contains a subgroup isomorphic to \(({\mathbb Z}/n{\mathbb Z})^ {m}\) under certain restrictions. The integers \(m\) and \(n\) satisfy that \((n,q-1)=1\), \((q,2^ m n)=1\), \(p|q-1\) for every prime \(p\) dividing \(m\), \((-\zeta/2)^{(q-1)/(m,q-1)}\) in \({\mathbb F}\) where \(\zeta\) is a primitive \((q-1)\)st root of unity in \({\mathbb F}\), and \(q\equiv 1\bmod 8\) if \(4|m\). The authors consider a polynomial \(f(X) = \prod _ {i=0}^ {m-1}(X-B_ i)+ D^ n\) where \(B_ 0,\dots, B_ {m-1}\) and \(D\) are suitable polynomials in \({\mathbb F}[T]\). Then, if \(\theta\) is a root of \(f(X)\), \(K=k(\theta)\) satisfies the required conditions.