On the automorphism group of a toroidal hypermap

Representations of groups as automorphism groups of algebraic systems (20F29) Fuchsian groups and their generalizations (group-theoretic aspects) (20H10) Fuchsian groups and automorphic functions (aspects of compact Riemann surfaces and uniformization) (30F35)

Review text

Let \({\mathcal H}=(B,\sigma,\alpha)\) denote a hypermap where \(B\) is a finite set of brins and \(\sigma\), \(\alpha\) are two permutations of \(B\) such that the group \(\langle\sigma,\alpha\rangle\) is transitive in \(B\). In the special case \(\alpha\) is a fixed point free involution then \({\mathcal H}\) is a map. The genus \(g({\mathcal H})\) is given by Euler's formula. A hypermap is said to be planar if \(g({\mathcal H})=0\) and to be toroidal if \(g({\mathcal H})=1\). An automorphism of the hypermap \({\mathcal H}=(B,\sigma,\alpha)\) is a permutation \(\varphi\) of \(B\) commuting with both \(\sigma\) and \(\alpha\). The full automorphism group of \({\mathcal H}\) is denoted by \(\Aut({\mathcal H})\). Using a technique introduced by Jones and Singerman and based on Fuchsian groups, the author proves that: ``A finite group is an automorphism group of a toroidal hypermap if and only if it is abelian of rank at most two or it can be decomposed in the semidirect product of a cyclic group of small order (namely 2, 3, 4, or 6) and such an abelian group. Moreover for any group arising this way one can construct a toroidal hypermap having it as its full automorphism group.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: On the automorphism group of a toroidal hypermap

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