On the AF embeddability of crossed products of AF algebras by the integers

It is shown that if A is an AF algebra then a crossed product of A by the integers can be embedded into an AF algebra if and only if the crossed product is stably finite. This equivalence follows from a simple K-theoretic characterization of AF embeddability. It is then shown that if a crossed product of an AF algebra by the integers is AF embeddable then the AF embedding can be chosen in such a way as to induce a rationally injective map on K_0 of the crossed product.