A characterization of algebras for which every indecomposable module has a core (Q1077515)

In [Mem. Am. Math. Soc. 187 (1977; Zbl 0363.16015)] \textit{R. Gordon} and \textit{E. L. Green} have characterized radical squared zero Artin algebras with the property that every indecomposable module of finite length has a core by properties of the lengths of projective and injective indecomposables or by the shape of the separated quiver resp. Hereby the core C(M) of an (indecomposable) module M is the intersection of all nonsuperfluous submodules and M is called a module with core, if C(M)\(\neq 0.\) In this paper the authors now give a full description of all algebras for which every indecomposable has a core; main result of the paper is the following Theorem: For a finite dimensional algebra A over an algebraically closed field the following statements are equivalent: (i) Every indecomposable A-module has a core. (ii) The core of any indecomposable nonlocal A-module is colocal. (iii) (1) The radical of any nonuniserial local A-module L is a sum of two uniserial submodules. (2) The radical of any local noncolocal A-module L is a direct sum of two uniserial submodules \(L_ 1\) and \(L_ 2\) where \(E(L_ 1)/soc(L_ 1)\) or \(E(L_ 2)/soc(L_ 2)\) is colocal. (3) Any colocal nonlocal A-module L is a sum of a uniserial submodule \(L_ 1\) and a local submodule \(L_ 2\) such that \(L_ 1\cap L_ 2\) is simple and if \(L_ i\) is uniserial, then \(L_ i/(L_ 1\cap L_ 2)\) is simple and \(P(L_ i)\) is uniserial. In {\S} 1 of the clearly written paper some necessary conditions for the statements of the theorem are given; in {\S} 2 the theorem is proved by the use of f.e. vector space methods for factor algebras of hereditary algebras. The general case then is done with covering technics in {\S} 3.