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.
Articles by others on the same topic
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 .