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.