Friedman’s theorem: a new proof using strong convergence

5 Weak and strong convergence

5.1 The free group and its reduced algebra

Definition 5.1.1
#

We denote as \(\mathbb {F}_r= \langle g_1, \ldots , g_r \rangle \) the free group with \(r\) generators.