Serial coalgebras and their valued Gabriel quivers. (Q934043)

Let \(K\) be an arbitrary field and \(C\) a \(K\)-coalgebra. We denote by \(C\)-comod the category of finite dimensional left \(C\)-comodules. We recall from the paper [\textit{J. Cuadra, J. Gómez-Torrecillas}, J. Pure Appl. Algebra 189, No. 1-3, 89-107 (2004; Zbl 1063.16042)] that \(C\) is defined to be left (resp. right) serial if every indecomposable injective left (resp. right) \(C\)-comodule is uniserial, that is, its lattice of subcomodules is a chain. The coalgebra \(C\) is defined to be serial if \(C\) is both left and right serial. Necessary and sufficient conditions for a basic and indecomposable \(K\)-coalgebra \(C\) to be serial are given in terms of the valued Gabriel quiver of \(C\) [see \textit{J. Kosakowska, D. Simson}, J. Algebra 293, No. 2, 457-505 (2005; Zbl 1116.16038)]. Given a serial coalgebra \(C\), the authors study the structure of almost split sequences in the category \(C\)-comod and describe the Auslander-Reiten quiver of the category \(C\)-comod, [compare with loc. cit.]. Valued Gabriel quivers of basic and indecomposable serial coalgebras that are Hom-computable (resp. representation-directed) are described in the paper. We recall from [\textit{D. Simson}, J. Algebra 315, No. 1, 42-75 (2007; Zbl 1131.16020)] that a coalgebra \(C\) is defined to be Hom-computable, if \(\dim_K\Hom_C(E,E')\) is finite, for any pair \(E,E'\) of indecomposable injective left (and right) \(C\)-comodules, and \(C\) is defined to be representation-directed if every (socle) finitely copresented left \(C\)-comodule \(M\) is directing, that is, there is no cycle \[ M=M_0\to M_1\to M_2\to\cdots\to M_{d-1}\to M_d=M, \] with \(d\geq 1\), of non-zero non-isomorphisms between indecomposable finitely copresented left \(C\)-comodules \(M_0,\dots,M_d\). Finally, a left \(C\)-comodule \(M\) is defined to be finitely copresented if \(M\) admits an exact sequence \(0\to M\to E_0\to E_1\), where \(E_0\) and \(E_1\) are injective and socle-finite left \(C\)-comodules. It is also proved that, if \(C\) is a basic indecomposable socle-finite \(K\)-coalgebra that is prime, hereditary and co-Noetherian then \(C\) is serial. As a consequence, a coalgebra version of the Eisenbud-Griffith theorem is proved; it asserts that every subcoalgebra of a prime hereditary and strictly quasi-finite coalgebra is serial.