Commutators of diffeomorphisms of a manifold with boundary
A well known theorem of Herman-Thurston states that the identity component of the group of diffeomorphisms of a boundaryless manifold is perfect and simple. We generalize this result to manifolds with boundary. Remarks on -diffeomorphisms are included.