The free group on a given set S is the free object on S in the category of groups. The elements of S are called the generators of this group.