I'm not really sure what you're trying to get at. The idea is that a group is generated by a subset if (roughly) all elements in the group are just products of things in the set, and things whose inverse is in the set. What if you had a finite group , what finite set has the property that every element of is a product of things in this set?