free group

free object in the category of groups; a group admitting a presentation without any relations