Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-3/2/b/i/solution

There is one constant path and loop generators; every other path is a word in those loops. Distinct words are distinct basis paths, so there are no relations among the generators. Therefore
the free associative algebra on generators, with each loop sent to its corresponding generator. For this is ; for it is noncommutative. The quiver with one loop is the case of the quiver with r loops.

New to topics? Read the docs here!