One of the oldest problems of algebraic number theory is to find a method to determine if the ring of integers of a number field K is Z [ θ ] for some θ ∈ K ; a field for which the answer to this question is affirmative is referred to as a monogenic field. Suppose f ( x ) = x m − a ∈ Z [ x ] is a monic irreducible polynomial and α n ∈ C is a root of f n ( x ) , the n-fold composition of f. In this article, we prove a necessary and sufficient condition for K n = Q ( α n ) to be monogenic for every n ∈ N and m ≥ 2.