In group theory, a free group is a fundamental concept in algebra. It is defined as a group in which the elements are freely generated by a set of generators, meaning there are no relations among the generators other than those that are necessary to satisfy the group axioms.
New to topics? Read the docs here!