Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For infinite groups (ex. Free Groups), a subgroup may have more number of generators than the group. For finite groups, is the number of generators of subgroup less than number of generators of group?

[Of course, we understand number of generators to mean "minimum number of generators"].

share|cite|improve this question
Here's a counterexample (of minimal order!) on Vipul Naik's wiki, which is always good for this sort of thing:… – Dylan Moreland Sep 7 '11 at 5:05
up vote 7 down vote accepted

Take any group that cannot be generated by less than $n$ generators, e.g. $\overbrace{\mathbb{Z}/2\mathbb{Z}\times\ldots \mathbb{Z}/2\mathbb{Z}}^n$. Embed it into a symmetric group, e.g. by letting it act on itself by permutations. As you know, any symmetric group $S_m$ can be generated by two elements, a 2-cycles and an $m$-cycle. This way you get arbitrarily "bad" counterexamples to your question.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.