Every finitely generated group is the automorphism group of a Riemann surface (compact for finite groups), proved via maximal non-arithmetic triangle groups and Margulis' commensurability theorem.
Realisation of groups as automorphism groups in categories
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
It is shown that in various categories, including many consisting of maps or hypermaps, oriented or unoriented, of a given hyperbolic type, every countable group $A$ is isomorphic to the automorphism group of uncountably many non-isomorphic objects, infinitely many of them finite if $A$ is finite. In particular, this applies to dessins d'enfants, regarded as finite oriented hypermaps. The proof, involving maximal subgroups of various triangle groups, yields a simple construction of a regular map whose automorphism group contains an isomorphic copy of every finite group.
fields
math.GR 1years
2019 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
A short proof of Greenberg's Theorem
Every finitely generated group is the automorphism group of a Riemann surface (compact for finite groups), proved via maximal non-arithmetic triangle groups and Margulis' commensurability theorem.