Finite groups cannot act freely on Euclidean space
ID: finite-groups-cannot-act-freely-on-euclidean-space
If a nontrivial finite group acted freely on , a prime-order cyclic subgroup would too. The quotient is an -manifold with contractible universal cover. The singular version of cellular free resolution from a contractible universal cover identifies its cohomology with group cohomology of . The periodic resolution of a finite cyclic group gives for every . But Poincaré duality for noncompact manifolds makes the quotient cohomology zero above dimension . This contradiction excludes the action, for arbitrary homeomorphisms, not only Euclidean isometries.
New to topics? Read the docs here!