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, L be algebraic number fields with K ⊆ L, and $O_K$, $O_L$ their respective rings of integers. We consider the trace map $T=T_{L/K}:L\to K$ and the $O_K$-ideal $T\left(O_L\right)\subseteq O_K$. By I(L/K) we denote the group indexof $T\left(O_L\right)$ in $O_K$ (i.e., the norm of $T\left(O_L\right)$ over ℚ). It seems to be difficult to determine I(L/K) in the general case. If K and L are absolutely abelian number fields, however, we obtain a fairly explicit description of the number I(L/K). This is a consequence of our description of the Galois module structure of $T\left(O_L\right)$ (Theorem 1). The case...

This paper provides a complete catalog of the break numbers that occur in the ramification filtration of fully and thus wildly ramified quaternion extensions of dyadic number fields which contain $\sqrt{-1}$ (along with some partial results for the more general case). This catalog depends upon the refined ramification filtration, which as defined in [2] is associated with the biquadratic subfield. Moreover we find that quaternion counter-examples to the conclusion of the Hasse-Arf Theorem are extremely rare...