Definition:Free Group

Definition
The free group on $n$ generators is a group whose presentation is:


 * $\mathbb F_n = \left \langle {a_1, a_2, \ldots, a_n}\right \rangle$

In this context, free means free of non-trivial relations.

Also see

 * Universal Property of Free Group on Set
 * Definition:Free Abelian Group
 * Definition:Free Product of Groups