¿Cada grupo finito $G$ tiene un conjunto de generadores de modo que la suma de las órdenes de los generadores sea menor o igual que $|G|$ ?
Seguramente esto es cierto, pero no entiendo por qué.
Esto se ve fácilmente como cierto para el grupo simétrico, los grupos abelianos, los cuaterniones, y de su clasificación se deduce que los grupos simples también tienen esta propiedad.
