English

Finite groups with the minimal generating set exchange property

Group Theory 2025-06-03 v1

Abstract

Let d(G)d(G) be the smallest cardinality of a generating set of a finite group G.G. We give a complete classification of the finite groups with the property that, whenever x1,,xd(G)=y1,,yd(G)=G \langle x_1, \dots, x_{d(G)} \rangle = \langle y_1, \dots, y_{d(G)} \rangle = G, for any 1id(G)1 \leq i \leq d(G) there exists 1jd(G)1 \leq j \leq d(G) such that x1,,xi1,yj,xi+1,,xd(G)=G.\langle x_1, \dots, x_{i-1}, y_j, x_{i+1}, \dots, x_{d(G)} \rangle = G. We also prove that for every finite group GG and every maximal subgroup MM of GG, there exists a generating set for GG of minimal size in which at least d(G)2d(G)-2 elements belong to MM. We conjecture that the stronger statement holds, that there exists a generating set of size d(G)d(G) in which only one element does not belong to MM, and we prove this conjecture for some suitable choices of MM.

Keywords

Cite

@article{arxiv.2506.01638,
  title  = {Finite groups with the minimal generating set exchange property},
  author = {Andrea Lucchini and Patricia Medina Capilla},
  journal= {arXiv preprint arXiv:2506.01638},
  year   = {2025}
}
R2 v1 2026-07-01T02:54:23.480Z