Smooth quotient by a free finite group action
= Smooth quotient by a free finite group action
A finite group acting freely by diffeomorphisms on a <smooth manifold> has a smooth quotient. Choose each coordinate neighbourhood disjoint from all its nontrivial translates and transport its chart through the quotient map. The resulting transition maps are restrictions of the original transition maps composed with group elements.