Remark 2

There exists a unique homomorphism $\lambda :$ F(Fl(G)) $\rightarrow \pi_1(G, a)$ defined by relations (1) for every $f\in$ Fl(G). It follows from proposition 8 that the homomorphism $\lambda$ is surjective and that its kernel is the smallest normal subgroup of F(Fl(G)) containing the elements $f$, for $f\in$ Fl(A), and the elements $f\cdot \overline{f}$, for $f\in$ Fl(G).