Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-3/6/a/ii/solution

If is indecomposable, part (i) makes it a brick module. For its nonzero dimension vector of a quiver representation ,
The Tits form of a quiver takes integer values on integer vectors, so and has no self-extensions.
Conversely, suppose has nonnegative integer entries and . Choose a representation of that dimension vector whose orbit has maximal dimension. Such an orbit exists because dimensions are integers bounded by . If with nonzero , a nonzero extension in either direction would, by part 5(c), produce a middle representation of the same dimension vector with larger orbit. Hence .
Writing and , the Ringel form identity then gives
The last inequality uses positive integral values of at both nonzero vectors. This contradiction makes indecomposable. Thus the indecomposable dimension vectors are exactly the positive roots .

New to topics? Read the docs here!