Welcome to the community hub built on top of the Gabriel's theorem Wikipedia article.
Here, you can discuss, collect, and organize anything related to Gabriel's theorem. The
purpose of the hub is to conne...
A quiver is of finite type if it has only finitely many isomorphism classes of indecomposable representations. Gabriel (1972) classified all quivers of finite type, and also their indecomposable representations. More precisely, Gabriel's theorem states that:
A (connected) quiver is of finite type if and only if its underlying graph (when the directions of the arrows are ignored) is one of the ADEDynkin diagrams: , , , , .
The indecomposable representations are in a one-to-one correspondence with the positive roots of the root system of the Dynkin diagram.
Dlab & Ringel (1973) found a generalization of Gabriel's theorem in which all Dynkin diagrams of finite-dimensional semisimpleLie algebras occur. Victor Kac (Kac (1983)) extended these results to all quivers, not only of Dynkin type, relating their indecomposable representations to the roots of Kac–Moody algebras.
Kac, Victor (1983), "Root systems, representations of quivers and invariant theory", in Gherardelli, Francesco (ed.), Invariant theory: proceedings of the 1st 1982 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.), held at Montecatini, Italy, June 10-18, 1982, Lecture Notes in Mathematics 996, Springer, pp. 74–108, ISBN978-3-540-12319-4