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.