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.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.