Let $p$ be a prime number. A finite Galois extension $N/F$ of a number field $F$ with group $G$ has a normal $p$-integral basis ($p$-NIB for short) when ${𝒪}_N^{\prime }$ is free of rank one over the group ring ${𝒪}_F^{\prime }\left[G\right]$. Here, ${𝒪}_F^{\prime }={𝒪}_F[1/p]$ is the ring of $p$-integers of $F$. Let $m=p^e$ be a power of $p$ and $N/F$ a cyclic extension of degree $m$. When ${\zeta }_m\in F^{\times }$, we give a necessary and sufficient condition for $N/F$ to have a $p$-NIB (Theorem 3). When ${\zeta }_m\notin F^{\times }$ and $p\nmid [F\left({\zeta }_m\right):F]$, we show that $N/F$ has a $p$-NIB if and only if $N\left({\zeta }_m\right)/F\left({\zeta }_m\right)$ has a $p$-NIB (Theorem 1). When $p$ divides $[F\left({\zeta }_m\right):F]$, we show that this descent property...

Let $K$ be an imaginary cyclic quartic number field whose 2-class group is of type $(2,2,2)$, i.e., isomorphic to $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$. The aim of this paper is to determine the structure of the Iwasawa module of the genus field $K^{(*)}$ of $K$.

Let $K={𝔽}_q\left(T\right)$ be the rational function field over a finite field of $q$ elements. For any polynomial $f\left(T\right)\in {𝔽}_q\left[T\right]$ with positive degree, denote by ${\Lambda }_f$ the torsion points of the Carlitz module for the polynomial ring ${𝔽}_q\left[T\right]$. In this short paper, we will determine an explicit formula for the analytic class number for the unique subfield $M$ of the cyclotomic function field $K\left({\Lambda }_P\right)$ of degree $k$ over ${𝔽}_q\left(T\right)$, where $P\in {𝔽}_q\left[T\right]$ is an irreducible polynomial of positive degree and $k>1$ is a positive divisor of $q-1$. A formula for the analytic class number for the...

Lately, explicit upper bounds on $\left|L\right(1,\chi \left)\right|$ (for primitive Dirichlet characters $\chi$) taking into account the behaviors of $\chi$ on a given finite set of primes have been obtained. This yields explicit upper bounds on residues of Dedekind zeta functions of abelian number fields taking into account the behavior of small primes, and it as been explained how such bounds yield improvements on lower bounds of relative class numbers of CM-fields whose maximal totally real subfields are abelian. We present here some other...

1. Introduction. Let p be a prime number and ${\mathbb{Z}}_p$ the ring of p-adic integers. Let k be a finite extension of the rational number field ℚ, $k_{\infty }$ a ${\mathbb{Z}}_p$-extension of k, $k_n$ the nth layer of $k_{\infty }/k$, and $A_n$ the p-Sylow subgroup of the ideal class group of $k_n$. Iwasawa proved the following well-known theorem about the order $A_n$ of $A_n$: Theorem A (Iwasawa). Let $k_{\infty }/k$ be a ${\mathbb{Z}}_p$-extension and $A_n$ the p-Sylow subgroup of the ideal class group of $k_n$, where $k_n$ is the $n$th layer of $k_{\infty }/k$. Then there exist integers $\lambda =\lambda (k_{\infty }/k)\ge 0$, $\mu =\mu (k_{\infty }/k)\ge 0$, $\nu =\nu (k_{\infty }/k)$, and n₀ ≥ 0 such that $A_n=p^{\lambda n+\mu p^n+\nu }$ for...