A free group is a group that is generated by a set of elements with no relations imposed on them.
Requires login.