Cohomology and Extensions
The free group on a given set is the free object on in the category of groups. The elements of are called the generators of this group.
Every subgroup of a free group is itself a free group. This is the Nielsen-Schreier theorem.
Revised on October 9, 2012 22:09:04
by Urs Schreiber