The free group on a set consists of reduced words in letters , with multiplication followed by cancellation. Every map from to a group extends uniquely to a homomorphism from .
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!