In function fields in positive characteristic, we provide a concrete example of completely normal elements for a finite Galois extension. More precisely, for a nonabelian extension, we construct completely normal elements for Drinfeld modular function fields using Siegel functions in function fields. For an abelian extension, we construct completely normal elements for cyclotomic function fields.

To give a relatively elementary proof of the Brumer–Stark conjecture in a function field context involving no algebraic geometry beyond the Riemann–Roch theorem for curves, Hayes Compos. Math., vol. 55, 1985, pp. 209–239) defined a normalizing field $H_\mathfrak{e}^*$ associated with a fixed sgn-normalized Drinfeld module and its extension field $K_\mathfrak{m}$, which is an analogue of cyclotomic function fields over a rational function field. We present explicitly in this note the formulae for the genus of the two fields and the maximal real subfield $H_\mathfrak{m}$ of $K_\mathfrak{m}$. In some sense, our results can be regarded as generalizations of formulae for the genus of classical cyclotomic function fields obtained by Hayes Trans. Amer. Math. Soc., vol. 189, 1974, pp. 77–91) and Kida and Murabayashi (Tokyo J. Math., vol. 14(1), 1991, pp. 45–56).

We define a topological space over the p-adic numbers, in which Euler products and Dirichlet series converge. We then show how the classical Riemann zeta function has a (p-adic) Euler product structure at the negative integers. Finally, as a corollary of these results, we derive a new formula for the non-Archimedean Euler–Mascheroni constant.

We prove that the p-adic zeta-function constructed by Kubota and Leopoldt has the Dirichlet series expansion Where the convergence of the first summation is for the p-adic topology. The proof of this formula relates the values of p(–s, ω1+σ) for s ∈ Zp, with a branch of the ‘sth-fractional derivative’, of a suitable generating function.

We find a basis for the universal punctured even distribution and then a basis for the cyclotomic units over function fields.