Definition:Free Group

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".