An object X in a category C with an initial object is called indecomposable if X is not the initial object and X is not isomorphic to a coproduct of two noninitial objects. A group G is called indecomposable if it cannot be expressed as the internal direct product of two proper normal subgroups of G. This is equivalent to saying that G is not isomorphic to the direct product of two nontrivial groups.
A quiver Q is a directed graph, specified by a set of vertices Q0, a set of arrows Q1, and head and tail maps
h, t : Q1 → Q0
We always assume that Q is finite, i.e., the sets Q0 and Q1 are finite.
A (complex) representation of a quiver Q consists of complex vector spaces Vi for i ∈ Q0 and linear maps
φa : Vt(a) → Vh(a)
for a ∈ Q1. A morphism between such representations (V, φ) and (W, ψ) is a collection of linear maps fi : Vi → Wi for i ∈ Q0 such that the diagram
commutes ∀ a ∈ Q1. A representation of Q is finite-dimensional if each vector space Vi is. The dimension vector of such a representation is just the tuple of non-negative integers (dim Vi)i∈Q0.
Rep(Q) is the category of finite-dimensional representations of Q. This category is additive; we can add morphisms by adding the corresponding linear maps fi, the trivial representation in which each Vi = 0 is a zero object, and the direct sum of two representations is obtained by taking the direct sums of the vector spaces associated to each vertex. If Q is the one-arrow quiver, • → •, then the classification of indecomposable objects of Rep(Q), yields the objects E ∈ Rep(Q) which do not have a non-trivial direct sum decomposition E = A ⊕ B. An object of Rep(Q) is just a linear map of finite-dimensional vector spaces f: V1 → V2. If W = im(f) is a nonzero proper subspace of V2, then the splitting V2 = U ⊕ W, and the corresponding object of Rep(Q) splits as a direct sum of the two representations
V1 →ƒ W and 0 → W
Thus if an object f: V1 → V2 of Rep(Q) is indecomposable, the map f must be surjective. Similarly, if ƒ is nonzero, then it must also be injective. Continuing in this way, one sees that Rep(Q) has exactly three indecomposable objects up to isomorphism:
C → 0, 0 → C, C →id C
Every other object of Rep(Q) is a direct sum of copies of these basic representations.
2 thoughts on “Indecomposable Objects – Part 1”
[…] Indecomposable Objects – Part 1 June 5, 2018 […]
[…] a quiver Q, the category Rep(Q) of finite-dimensional representations of Q is abelian. A morphism f : V → […]