A Computer Search for Free Actions on Surfaces

From MaRDI portal





If a finite group \(G\) acts freely on an orientable closed surface \(T\) and contains orientation-reversing elements, then the orbit space is a non-orientable surface \(U\). Let \(N\) denote the kernel of the homomorphism \(\pi_1U\to\mathbb{Z}_2\) sending each generator to the nontrivial element of \(\mathbb{Z}_2\). Then actions of the above type correspond bijectively to epimorphisms \(\pi_1U\to G\) whose restriction to \(N\) is not surjective. This is used to run a computer search for all such actions where the (necessarily even) order of \(G\) is \(2n\leq 14\) and \(T\) is of genus \(n+1\). In this case, \(U\) is of genus 3, and the search algorithm just checks all possible images of the three generators of \(\pi_1 U\).











This page was built for publication: A Computer Search for Free Actions on Surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4221593)