Finite groups act freely on suitable closed orientable surfaces
ID: finite-groups-act-freely-on-suitable-closed-orientable-surfaces
If a finite group is generated by elements, send the -generators of the genus- surface group to those generators and its -generators to the identity. The surface relation is satisfied, so this is a surjective group homomorphism. Its kernel defines a connected regular covering space, on which the deck transformation group acts freely. The lifted orientation and multiplicativity of the Euler characteristic give genus .
New to topics? Read the docs here!