Pure injective representations of quivers. (Q2856978)

Let \(\mathcal Q\) be a quiver and \(R\) an associative ring. A representation of the quiver \(\mathcal Q\) is a covariant functor \(\mathcal X\) from \(\mathcal Q\) to the category of \(R\)-modules, \(R\)-Mod. The author defines for a representation \(\mathcal X\) a new representation, \(\mathcal X^+\), from \(\mathcal Q^{op}\) to \(R^{op}\)-Mod by \(\mathcal X^+(v)=\Hom_{\mathbb Z}(\mathcal X(v),\mathbb Q/\mathbb Z)\) for any vertex \(v\) and for any arrow the induced morphism. Using this functor the notions of pure exact sequences of representations and pure injective representations are introduced. The usual characterization of flat modules, every exact sequence ending in these modules is pure, is extended to this setting. It is shown that for a flat representation \(\mathcal F\) it is equivalent: i) \(\mathcal F\) is flat, ii) \(\mathcal F\) is cotorsion and iii) \(\mathcal F\) is isomorphic to a direct summand of \(\mathcal F^{++}\). Finally, if \(R\) is an \(n\)-perfect ring, i.e. every flat module has cotorsion dimension at most \(n\), then the pure injective dimension of a flat representation is bounded by \(n\).