residually finite group
type of mathematical group
finite group
mathematical group based upon a finite number of elements
free group
free object in the category of groups; a group admitting a presentation without any relations
type of mathematical group