Coherent quivers (Q6155555): Difference between revisions

A quiver is a (not necessarily finite) directed graph. Each quiver \(Q\) generates the free category \(C(Q)\) whose objects are the vertices of \(Q\) and whose set of morphisms from the vertex \(b\) to the vertex \(a\) consists of all paths starting at \(b\) and ending at \(a\), with the composite of two paths being their concatenation, see \textit{S. Mac Lane} [Categories for the working mathematician, Graduate Texts in Mathematics. 5., Springer (1971; Zbl 0232.18001)]. For each associative ring \(R\) with unity, denote by \(R\)-Mod (resp. Mod-\(R\)) the category of all left (resp. right) \(R\)-modules. A representation of \(Q\) by left (resp. right) \(R\)-modules is a functor \(C(R)\to R\)-Mod (resp. \(C(R)\to \mathrm{Mod}\)-\(R\)). In both cases the category of representations of \(Q\) is an abelian category because so are \(R\)-Mod and Mod-\(R\). A quiver \(Q\) is left (resp. right) Noetherian if for each left (resp. right) Noetherian ring \(R\) every finitely generated representation of \(Q\) by left (resp. right) \(R\)-modules is Noetherian, see \textit{E. Enochs} et al. [Quaest. Math. 25, No. 4, 531--538 (2002; Zbl 1046.16005)]. Here the terms finitely generated and Noetherian are understood in the categorical sense. The above definition is inherently left-right symmetric because the categories Mod-\(R\) and \(R^{\text{op}}\)-Mod are isomorphic. Analogously, the authors of the present paper define coherent quivers. A quiver \(Q\) is left (resp. right) coherent if for each left (resp. right) coherent ring \(R\) every finitely generated representation of \(Q\) by left (resp. right) \(R\)-modules is coherent. Recall that an object in a category with kernels is coherent if it is finitely generated and each its finitely generated subobject is finitely presented. A ring \(R\) is left (resp,. right) coherent if it is coherent as a left (resp. right) \(R\)-module. Again, this definition is inherently left-right symmetric. The main result of the paper is that each acyclic quiver is coherent.