Generating pairs and group actions (Q392504): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 6 users not shown) | |||
Property / review text | |||
The paper considers orientation-preserving actions of finite groups \(G\) on closed orientable surfaces \(\Sigma_g\), of genus \(g\), and in particular large, almost free actions: the author calls such an action \textit{almost free} if it has exactly one orbit of points with non-trivial stabilizers, and \textit{large} if \(|G| \geq g\). Lifting to the universal covering, such a large, almost free action is uniformized by a Fuchsian group \(\Gamma_n\) with presentation \(\langle A,B \mid [A,B]^n = 1\rangle\) (i.e., of signature \((1;n)\)), with \(n>1\) (equivalently, the quotient surface \(\Sigma/G\) has genus one and a single branch point of degree \(n\)), and the \(G\)-action is determined by the canonical surjection \(p:\Gamma_n \to G\); in particular, \(G\) is non-abelian and generated by two elements (also, as a consequence of the formula of Riemann-Hurwitz, \(2(g-1) < |G| \leq 4(g-1)\)). Two \(G\)-actions on a surface are equivalent if they are conjugate by a diffeomorphism of the surface (i.e., not allowing automorphisms of \(G\)). The main result of the paper states then that, for a non-abelian 2-generator group \(G\), the equivalence classes of large, almost free \(G\)-actions on closed orientable surfaces correspond to the Nielsen equivalence classes of generating pairs of \(G\) (which occur as \(p(A), p(B)\) for surjections \(p\) as above). We recall that two generating pairs are Nielsen equivalent if one can be obtained form the other by multiplying a generator by the other generator or its inverse, and then iterating; a crucial point in the proof of the main result is the fact that any two generating pairs of a group \(\Gamma_n\) are Nielsen equivalent. As applications and illustrations, the large, almost free actions on surfaces of genus 3 and 4 are considered as well as actions of the alternating group \(A_5\) and the special linear groups \(\text{SL}(2,p)\), \(p\) prime. | |||
Property / review text: The paper considers orientation-preserving actions of finite groups \(G\) on closed orientable surfaces \(\Sigma_g\), of genus \(g\), and in particular large, almost free actions: the author calls such an action \textit{almost free} if it has exactly one orbit of points with non-trivial stabilizers, and \textit{large} if \(|G| \geq g\). Lifting to the universal covering, such a large, almost free action is uniformized by a Fuchsian group \(\Gamma_n\) with presentation \(\langle A,B \mid [A,B]^n = 1\rangle\) (i.e., of signature \((1;n)\)), with \(n>1\) (equivalently, the quotient surface \(\Sigma/G\) has genus one and a single branch point of degree \(n\)), and the \(G\)-action is determined by the canonical surjection \(p:\Gamma_n \to G\); in particular, \(G\) is non-abelian and generated by two elements (also, as a consequence of the formula of Riemann-Hurwitz, \(2(g-1) < |G| \leq 4(g-1)\)). Two \(G\)-actions on a surface are equivalent if they are conjugate by a diffeomorphism of the surface (i.e., not allowing automorphisms of \(G\)). The main result of the paper states then that, for a non-abelian 2-generator group \(G\), the equivalence classes of large, almost free \(G\)-actions on closed orientable surfaces correspond to the Nielsen equivalence classes of generating pairs of \(G\) (which occur as \(p(A), p(B)\) for surjections \(p\) as above). We recall that two generating pairs are Nielsen equivalent if one can be obtained form the other by multiplying a generator by the other generator or its inverse, and then iterating; a crucial point in the proof of the main result is the fact that any two generating pairs of a group \(\Gamma_n\) are Nielsen equivalent. As applications and illustrations, the large, almost free actions on surfaces of genus 3 and 4 are considered as well as actions of the alternating group \(A_5\) and the special linear groups \(\text{SL}(2,p)\), \(p\) prime. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57M60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F99 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6244990 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
surface | |||
Property / zbMATH Keywords: surface / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite group action | |||
Property / zbMATH Keywords: finite group action / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Nielsen equivalent generating sets | |||
Property / zbMATH Keywords: Nielsen equivalent generating sets / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Bruno P. Zimmermann / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: GAP / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jpaa.2013.10.001 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1985568022 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A lower bound for the number of group actions on a compact Riemann surface / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4349308 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classifying finite group actions on surfaces of low genus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996420 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generation and presentation of one-relator groups with centre / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the automorphisms of the classical groups. With a supplement by Loo-Keng Hua / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On <i>T</i>-systems of groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5584601 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: <i>T</i>-systems of certain finite simple groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two-generator discrete subgroups of 𝑃𝑆𝐿(2,𝑅) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite Quotients of the Automorphism Group of a Free Group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Branch Loci in Teichmuller Space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the automorphisms of the symplectic group over any field / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5284123 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nielsen Equivalence and Simple-Homotopy Type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nielsen equivalence in Fuchsian groups and Seifert fibered spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized Montesinos knots, tunnels and \({\mathcal N}\)-torsion / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generating systems of groups and Reidemeister-Whitehead torsion / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4273700 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the complexity of the Heegaard structure of hyperbolic 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorial group theory. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Classification of Non-Euclidean Plane Crystallographic Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free actions on handlebodies / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Writing Elements of PSL(2,<i>q</i>) as Commutators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: NIELSEN EQUIVALENCE OF GENERATING PAIRS OF SL(2,<i>q</i>) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Heegaard splittings of Seifert fibered spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Zwei Klassen charakteristischer Untergruppen und ihre Faktorgruppen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Isomorphism Problem for Two-Generator One-Relator Groups with Torsion is Solvable / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two generator Fuchsian groups of genus one / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Correction to ''Two generator Fuchsian groups of genus one'' / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: All generating pairs of all two-generator Fuchsian groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimal relation modules of free nilpotent groups / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:10, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generating pairs and group actions |
scientific article |
Statements
Generating pairs and group actions (English)
0 references
14 January 2014
0 references
The paper considers orientation-preserving actions of finite groups \(G\) on closed orientable surfaces \(\Sigma_g\), of genus \(g\), and in particular large, almost free actions: the author calls such an action \textit{almost free} if it has exactly one orbit of points with non-trivial stabilizers, and \textit{large} if \(|G| \geq g\). Lifting to the universal covering, such a large, almost free action is uniformized by a Fuchsian group \(\Gamma_n\) with presentation \(\langle A,B \mid [A,B]^n = 1\rangle\) (i.e., of signature \((1;n)\)), with \(n>1\) (equivalently, the quotient surface \(\Sigma/G\) has genus one and a single branch point of degree \(n\)), and the \(G\)-action is determined by the canonical surjection \(p:\Gamma_n \to G\); in particular, \(G\) is non-abelian and generated by two elements (also, as a consequence of the formula of Riemann-Hurwitz, \(2(g-1) < |G| \leq 4(g-1)\)). Two \(G\)-actions on a surface are equivalent if they are conjugate by a diffeomorphism of the surface (i.e., not allowing automorphisms of \(G\)). The main result of the paper states then that, for a non-abelian 2-generator group \(G\), the equivalence classes of large, almost free \(G\)-actions on closed orientable surfaces correspond to the Nielsen equivalence classes of generating pairs of \(G\) (which occur as \(p(A), p(B)\) for surjections \(p\) as above). We recall that two generating pairs are Nielsen equivalent if one can be obtained form the other by multiplying a generator by the other generator or its inverse, and then iterating; a crucial point in the proof of the main result is the fact that any two generating pairs of a group \(\Gamma_n\) are Nielsen equivalent. As applications and illustrations, the large, almost free actions on surfaces of genus 3 and 4 are considered as well as actions of the alternating group \(A_5\) and the special linear groups \(\text{SL}(2,p)\), \(p\) prime.
0 references
surface
0 references
finite group action
0 references
Nielsen equivalent generating sets
0 references