Free actions on even-dimensional spheres have order at most two
ID: free-actions-on-even-dimensional-spheres-have-order-at-most-two
For every nonidentity element of a free group action on , its action map has no fixed point and hence degree minus one by fixed-point-free sphere maps are homotopic to the antipodal map. Degree of homeomorphisms defines a homomorphism into , whose kernel is trivial, since no nonidentity action map can have degree one. Thus the acting group has order at most two. For , freeness on its two points gives the same conclusion directly.
New to topics? Read the docs here!