Published online by Cambridge University Press: 26 February 2010
§1. Introduction. In [1], Odoni discusses the iterates of the polynomial x2 +1 and their Galois groups over the rationals (a problem initially proposed by J. McKay). Setting f1,(x) = x2+1 and fn(x) =f1(fn-1(X)) for n ≥ 2, write Kn for the splitting field of fn(x) over and Ωn = Gal (Kn/). Then Odoni proves that Ωn is isomorphic to a subgroup of [C2]n, the nth wreath power of the cyclic group C2 of order 2, and gives a simple rational criterion for Ωn [C2]n to hold. In this note we describe a computer implementation of Odoni's criterion, and state the result that Ωn [C2]n for n ≤ 5 × 107.