The set of axiom A diffeomorphisms with no cycles

LetM be aC ^∞ closed manifold and Diff¹ (M) be the space of diffeomorphisms ofM endowed with theC ¹ topology. This paper contains an affirmative answer to the following conjecture raised by Mañé, which is an extension of the stability and Ω-stability conjectures of Palis and Smale, as follows: theC ¹ interior of the subset of diffeomorphism such that all the periodic points are hyperbolic is characterized as the set of diffeomorphisms satisfying Axiom A and the no-cycles condition. Moreover, it is showed that theC ¹ interior of the set of all Kupka-Smale diffeomorphisms coincides with the set of all diffeomorphisms satisfying Axiom A and the strong transversality condition.