Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-3/6/a/ii/solution
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 3 6 a ii Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
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 givesThe 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!