A finite group G is coprimely invariably generated if there exists a set of generators {g1,…,gu} of G with the property that the orders |g1|,…,|gu| are pairwise coprime and that for all x1,…,xu in G the set {g1^x1,…,gu^xu} generates G. We show that if G is coprimely invariably generated, then G can be generated with three elements, or two if G is soluble, and that G has zero presentation rank. As a corollary, we show that if G is any finite group such that no proper subgroup has the same exponent as G, then G has zero presentation rank. Furthermore, we show that every finite simple group is coprimely invariably generated by two elements, except for O8+(2) which requires three elements.

Coprime invariable generation and minimal-exponent groups

DETOMI, ELOISA MICHELA;LUCCHINI, ANDREA;
2015

Abstract

A finite group G is coprimely invariably generated if there exists a set of generators {g1,…,gu} of G with the property that the orders |g1|,…,|gu| are pairwise coprime and that for all x1,…,xu in G the set {g1^x1,…,gu^xu} generates G. We show that if G is coprimely invariably generated, then G can be generated with three elements, or two if G is soluble, and that G has zero presentation rank. As a corollary, we show that if G is any finite group such that no proper subgroup has the same exponent as G, then G has zero presentation rank. Furthermore, we show that every finite simple group is coprimely invariably generated by two elements, except for O8+(2) which requires three elements.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3146539
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
  • OpenAlex ND
social impact