Let Pk be the subgroup generated by k th powers of primitive elements in Fr, the free group of rank r. We show that F2∕Pk is finite if and only if k is 1, 2 or 3. We also fully characterize F2∕Pk for k = 2,3,4. In particular, we give a faithful 9–dimensional representation of F2∕P4 with infinite image.
Keywords: Burnside problem, primitive elements, characteristic subgroups, square-tiled surface
Bou-Rabee, Khalid  1 ; Hooper, W Patrick  1
@article{10_2140_agt_2020_20_3329,
author = {Bou-Rabee, Khalid and Hooper, W Patrick},
title = {The extrinsic primitive torsion problem},
journal = {Algebraic and Geometric Topology},
pages = {3329--3376},
year = {2020},
volume = {20},
number = {7},
doi = {10.2140/agt.2020.20.3329},
url = {http://geodesic.mathdoc.fr/articles/10.2140/agt.2020.20.3329/}
}
TY - JOUR AU - Bou-Rabee, Khalid AU - Hooper, W Patrick TI - The extrinsic primitive torsion problem JO - Algebraic and Geometric Topology PY - 2020 SP - 3329 EP - 3376 VL - 20 IS - 7 UR - http://geodesic.mathdoc.fr/articles/10.2140/agt.2020.20.3329/ DO - 10.2140/agt.2020.20.3329 ID - 10_2140_agt_2020_20_3329 ER -
Bou-Rabee, Khalid; Hooper, W Patrick. The extrinsic primitive torsion problem. Algebraic and Geometric Topology, Tome 20 (2020) no. 7, pp. 3329-3376. doi: 10.2140/agt.2020.20.3329
[1] , , Short laws for finite groups and residual finiteness growth, Trans. Amer. Math. Soc. 371 (2019) 6447 | DOI
[2] , On an unsettled question in the theory of discontinuous groups, Q. J. Pure Appl. Math. 33 (1902) 230
[3] , , , The theory of nilpotent groups, Birkhäuser (2017) | DOI
[4] , Recurrence, ergodicity and invariant measures for cocycles over a rotation, from: "Ergodic theory" (editor I Assani), Contemp. Math. 485, Amer. Math. Soc. (2009) 45 | DOI
[5] , , Small cancellation theory over Burnside groups, Adv. Math. 353 (2019) 722 | DOI
[6] , On the Lyapunov exponents of the Kontsevich–Zorich cocycle, from: "Handbook of dynamical systems, I-B" (editors B Hasselblatt, A Katok), Elsevier (2006) 549 | DOI
[7] , , An example of a Teichmüller disk in genus 4 with degenerate Kontsevich–Zorich spectrum, preprint (2008)
[8] , , , Square-tiled cyclic covers, J. Mod. Dyn. 5 (2011) 285 | DOI
[9] , , On the class field tower, Izv. Akad. Nauk SSSR Ser. Mat. 28 (1964) 261
[10] , Teichmüller curves defined by characteristic origamis, from: "The geometry of Riemann surfaces and abelian varieties" (editors J M Muñoz Porras, S Popescu, R E Rodríguez), Contemp. Math. 397, Amer. Math. Soc. (2006) 133 | DOI
[11] , , An extraordinary origami curve, Math. Nachr. 281 (2008) 219 | DOI
[12] , The invariant measures of some infinite interval exchange maps, Geom. Topol. 19 (2015) 1895 | DOI
[13] , , Quotients of surface groups and homology of finite covers via quantum representations, Invent. Math. 206 (2016) 269 | DOI
[14] , , Divisibility and laws in finite simple groups, Math. Ann. 364 (2016) 79 | DOI
[15] , , Simple closed curves, finite covers of surfaces, and power subgroups of Out(Fn), Duke Math. J. 168 (2019) 2701 | DOI
[16] , , Some examples of isotropic SL(2, R)–invariant subbundles of the Hodge bundle, Int. Math. Res. Not. 2015 (2015) 8657 | DOI
[17] , An infinite group with subgroups of prime orders, Izv. Akad. Nauk SSSR Ser. Mat. 44 (1980) 309
[18] , GAP: groups, algorithms, and programming, software (2017)
[19] , SageMath, software (2019)
[20] , Flat surfaces, from: "Frontiers in number theory, physics, and geometry, I" (editors P Cartier, B Julia, P Moussa, P Vanhove), Springer (2006) 437
Cité par Sources :