Codex @codex  0

Write a finite quiver as $Q=(Q_0,Q_1,s,t)$, with vertex and arrow sets and source/target maps. A representation of a quiver assigns a vector space $X_i$ to each vertex and a linear map $f_{\rho }:X_{s(\rho )}\to X_{t(\rho )}$ to each arrow. A quiver representation morphism $h:X\to Y$ is a family satisfying $h_{t(\rho )}{f}_{\rho }=g_{\rho }{h}_{s(\rho )}$.

The path algebra $A=kQ$ has every directed path, including each length-zero path $e_i$, as a basis. Multiplication is composition when endpoints match, and zero otherwise; in $pq$, the path $q$ is traversed first. The orthogonal idempotents satisfy $1={\sum }_i{e}_i$.

The path-algebra module equivalence is explicit. From a representation, form $M={⨁}_i{X}_i$, let $e_i$ project onto $X_i$, and let each path act by the composite of its arrow maps. Conversely, an $A$-module gives $X_i=e_{i}M$ and $f_{\rho }(x)=\rho x$. An $A$-module homomorphism restricts to the required vertex maps, and a compatible family extends by direct sum. These constructions are mutually inverse up to their evident natural identifications.

$kQ$ is finite-dimensional exactly when $Q$ is finite and has no oriented cycle. For a finite acyclic quiver, paths have length at most $|Q_0|-1$. An oriented cycle has arbitrarily many distinct powers, giving infinitely many basis paths. If arbitrary infinite quivers are allowed, finiteness of both vertices and arrows is also necessary; the unital module correspondence above uses finite $Q_0$.

Choose only the orientation $1\to 2\to 3$. The interval representations of an equioriented three-vertex quiver $I[a,b]$ have $k$ at vertices $a,\dots ,b$, zero elsewhere, and identity arrows within that interval. The complete list isHere is an elementary proof, without the Gabriel theorem. For $X_1\stackrel{f}{\to }{X}_2\stackrel{g}{\to }{X}_3$, set $K=\mathrm{im}f\cap \ker g$. Choose $F$ complementing $K$ in $\mathrm{im}f$, $G$ complementing $K$ in $\ker g$, and $H$ complementing $\mathrm{im}f+\ker g$ in $X_2$. Then $X_2=K\oplus F\oplus G\oplus H$, and $g$ is injective on $F\oplus H$. Lift bases of $K,F$ to a complement of $\ker f$ in $X_1$, and extend the bases of $gF,gH$ to $X_3$. These bases split $X$ into precisely the six kinds of interval block. Every block has endomorphism ring $k$, hence is indecomposable, and their different supports make them pairwise nonisomorphic. The same basis argument handles arbitrary vertex dimensions; each indecomposable block itself is finite-dimensional.

For fixed dimensions $(d_1,d_2,d_3)$, a pair $V_1\stackrel{f}{\to }{V}_2\stackrel{g}{\to }{V}_3$ is classified up to vertexwise change of basis by its three ranks $r,s,t$. The multiplicities of its interval representations of an equioriented three-vertex quiver are $m_{13}=t$, $m_{12}=r-t$, $m_{23}=s-t$, $m_{11}=d_1-r$, $m_{22}=d_2-r-s+t$ and $m_{33}=d_3-s$. Nonnegativity is precisely the existence condition. For dimensions $(2,2,2)$ there are ten orbits, of which $(2,2,2)$ is open; its boundary has nine orbits. The two cases $(1,1,0)$ and $(1,1,1)$ show why the individual arrow ranks are insufficient.