Let X be a Cantor set, and let A be a unital separable simple amenable [Formula: see text]-stable C*-algebra with rationally tracial rank no more than one, which satisfies the Universal Coefficient Theorem (UCT). We use C(X, A) to denote the algebra of all continuous functions from X to A. Let α be an automorphism on C(X, A). Suppose that C(X, A) is α-simple, [α|1⊗A] = [ id |1⊗A] in KL(1 ⊗ A, C(X, A)), τ(α(1 ⊗ a)) = τ(1 ⊗ a) for all τ ∈ T(C(X, A)) and all a ∈ A, and [Formula: see text] for all u ∈ U(A) (where α‡ and id‡ are homomorphisms from U(C(X, A))/CU(C(X, A)) → U(C(X, A))/CU(C(X, A)) induced by α and id, respectively, and where CU(C(X, A)) is the closure of the subgroup generated by commutators of the unitary group U(C(X, A)) of C(X, A)), then the corresponding crossed product C(X, A) ⋊α ℤ is a unital simple [Formula: see text]-stable C*-algebra with rationally tracial rank no more than one, which satisfies the UCT. Let X be a Cantor set and 𝕋 be the circle. Let γ : X × 𝕋n → X × 𝕋n be a minimal homeomorphism. It is proved that, as long as the cocycles are rotations, the tracial rank of the corresponding crossed product C*-algebra is always no more than one.
Strong Morita equivalence for inclusions of $C^*$-algebras induced by twisted actions of a countable discrete group