\(\ell\)-class groups of cyclic function fields of degree \(\ell\) (Q946886): Difference between revisions

Let \(\ell\) be a prime number and \(q\) a prime power with \(\ell \nmid q\). Consider the rational function field \(F = \mathbb F(T)\) and a cyclic extension \(K/F\) of degree \(\ell\). Set \({\mathcal O}_F = \mathbb F_q[T]\), and let \({\mathcal O}_K\) be its integral closure in \(K\). In this article, the author studies the ideal class groups \(Cl(K)\) of the Dedekind domain \({\mathcal O}_K\) and the Picard group \(\text{Pic}^0(K)\). Using techniques similar to those used in the number field case by \textit{L. Rédei} [J. Reine Angew. Math. 171, 55--60 (1934; Zbl 0009.05101)] for \(\ell = 2\) and for general primes \(\ell\) by \textit{G. Gras} [Ann. Inst. Fourier 23, No. 3, 1--48 (1973; Zbl 0276.12013); 23, No. 4, 1--44 (1973; Zbl 0262.12007)], he determines the orders of the groups \(C/C^\phi\) and \(C^\phi/C^{\phi^2}\) for \(\phi = \sigma-1\), and where \(C\) is the \(\ell\)-Sylow subgroup of either \(Cl(K)\) or of \(\text{Pic}^0(K)\). The special case \(\ell = 2\) was discussed already by \textit{G. Cornelissen} [J. Number Theory 91, No. 1, 174--185 (2001; Zbl 1010.11032)]; the proofs also use genus theory for function fields as presented by \textit{B. Anglès} and \textit{J.-F. Jaulent} [Manuscr. Math. 101, No. 4, 513--532 (2000; Zbl 0982.11062)] and \textit{G. Peng} [J. Number Theory 98, No. 2, 221--227 (2003; Zbl 1049.11116)].