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!