The \(C^1\) generic diffeomorphism has trivial centralizer (Q1026660)

Let \(M\) be a closed manifold and let \(f\) be its \(C^1\)-diffeomorphism. The paper investigates properties of the centralizer of \(f\). The centralizer of \(f\) is called trivial if it is equal to the cyclic group generated by \(f\). The main result of the paper says that there exists a residual subset of the group of \(C^1\)-diffeomorphisms of \(M\) consisting of elements with trivial centralizer.