Let $p$ be a prime number. We say that a number field $F$ satisfies the condition $\left(H_{p^n}^{\prime }\right)$ when any abelian extension $N/F$ of exponent dividing $p^n$ has a normal integral basis with respect to the ring of $p$-integers. We also say that $F$ satisfies $\left(H_{p^{\infty }}^{\prime }\right)$ when it satisfies $\left(H_{p^n}^{\prime }\right)$ for all $n\ge 1$. It is known that the rationals $\mathbb{Q}$ satisfy $\left(H_{p^{\infty }}^{\prime }\right)$ for all prime numbers $p$. In this paper, we give a simple condition for a number field $F$ to satisfy $\left(H_{p^n}^{\prime }\right)$ in terms of the ideal class group of $K=F\left({\zeta }_{p^n}\right)$ and a “Stickelberger ideal” associated to the Galois group...

In [14] we studied the nonclassical Hopf-Galois module structure of rings of algebraic integers in some tamely ramified extensions of local and global fields, and proved a partial generalisation of Noether’s theorem to this setting. In this paper we consider tame Galois extensions of number fields $L/K$ with group $G\cong C_2\times C_2$ and study in detail the local and global structure of the ring of integers ${𝔒}_L$ as a module over its associated order ${𝔄}_H$ in each of the Hopf algebras $H$ giving a nonclassical Hopf-Galois structure...