Comodules and Landweber exact homology theories

We show that, if E is a commutative MU-algebra spectrum such that is Landweber exact over , then the category of -comodules is equivalent to a localization of the category of -comodules. This localization depends only on the heights of E at the integer primes p. It follows, for example, that the category of -comodules is equivalent to the category of -comodules. These equivalences give simple proofs and generalizations of the Miller-Ravenel and Morava change of rings theorems. We also deduce structural results about the category of -comodules. We prove that every -comodule has a primitive, we give a classification of invariant prime ideals in , and we give a version of the Landweber filtration theorem.