English

Hurwitz Generation in Groups of Types $F_4$, $E_6$, $^2E_6$, $E_7$ and $E_8$

Group Theory 2021-08-02 v3

Abstract

A Hurwitz generating triple for a group GG is an ordered triple of elements (x,y,z)G3(x,y,z) \in G^3 where x2=y3=z7=xyz=1x^2=y^3=z^7=xyz=1 and x,y,z=G\langle x,y,z \rangle = G. For the finite quasisimple exceptional groups of types F4F_4, E6E_6, 2E6^2E_6, E7E_7 and E8E_8, we provide restrictions on which conjugacy classes xx, yy and zz can belong to if (x,y,z)(x,y,z) is a Hurwitz generating triple. We prove that there exist Hurwitz generating triples for F4(3)F_4(3), F4(5)F_4(5), F4(7)F_4(7), F4(8)F_4(8), E6(3)E_6(3) and E7(2)E_7(2), and that there are no such triples for F4(23n2)F_4(2^{3n-2}), F4(23n1)F_4(2^{3n-1}), E6(73n2)E_6(7^{3n-2}), E6(73n1)E_6(7^{3n-1}), SE6(7n)SE_6(7^n) or 2E6(7n)^2E_6(7^n) when n1n \geq 1.

Keywords

Cite

@article{arxiv.2003.12595,
  title  = {Hurwitz Generation in Groups of Types $F_4$, $E_6$, $^2E_6$, $E_7$ and $E_8$},
  author = {Emilio Pierro},
  journal= {arXiv preprint arXiv:2003.12595},
  year   = {2021}
}

Comments

Third version: 18 pages, 13 tables. Minor revisions made; explicit Hurwitz generators relegated to additional files

R2 v1 2026-06-23T14:29:44.652Z