Minimum size of generating set is bounded by sum of exponents of prime divisors of order
Suppose is a finite group of order , which has prime factorization:
Then, the minimum size of generating set for is at most equal to:
- Any generating set of minimum size must be an minimal generating set (in the sense of being irredundant).
- Size of minimal generating set is bounded by max-length
- Max-length is bounded by sum of exponents of prime divisors of order
The proof follows directly by combining Facts (1)-(3).