Free Group

- Pure Mathematics -
Algebra Dictionary
A group generated by a set S with no relations other than those forced by the group axioms: elements are reduced words in S ∪ S^{-1} and multiplication is concatenation followed by free reduction; equivalently characterized by a universal property for maps from S to groups.