Free Group

A free group on a set S is the most general group generated by S, subject to no relations other than those required by the group axioms. Every element of a free group can be written uniquely as a reduced word — a string of generators and their inverses with no canceling adjacent pairs — and every group is a quotient of some free group. The free group construction is the paradigmatic example of a free-forgetful adjunction: the functor that builds free groups is left adjoint to the forgetful functor that strips a group to its underlying set.

This pattern appears across algebra because it captures a universal feature of mathematical structure: before you can impose relations, you must have something to relate. The free group is the raw material from which all other groups are carved by quotient. Without it, the very notion of a group presentation — generators plus relations — would have no foundation.