Monogenic Cyclotomic compositions

Abstract

Let $m$ and $n$ be positive integers, and let $p$ be a prime. Let $T(x)=\Phi_{p^m}(\Phi_{2^n}(x))$, where $\Phi_k(x)$ is the cyclotomic polynomial of index $k$. In this article, we prove that $T(x)$ is irreducible over $\mathbf Q$ and that

$\left\{1,\theta,\theta^2,\ldots,\theta^{2^{n-1}p^{m-1}(p-1)-1}\right\}$

is a basis for the ring of integers of $\mathbf Q (\theta)$, where $T(\theta)= 0$.