The Dickson subcategory splitting conjecture for pseudocompact algebras. (Q950222)

Let \(\mathcal A\) be a subcategory of a Grothendieck category \(\mathcal C\) closed under subobjects, quotients and direct sums. A preradical or torsion functor \(t\) is associated with such a category by setting \(t(M)\) to be the sum of all subobjects of \(M\) belonging to \(\mathcal A\). \(\mathcal C\) is said to have the splitting property with respect to \(\mathcal A\) if \(t(M)\) is a direct summand of \(M\) for all objects \(M\) in \(\mathcal C\). If \(\mathcal A\) is also closed under extensions, then \(\mathcal A\) is said to be a localizing subcategory. For a ring \(A\), the smallest localizing subcategory of \(_A\mathcal M\), the category of left \(A\)-modules, which contains all the simple modules is called the Dickson subcategory of \(_A\mathcal M\) and consists of all semi-Artinian modules. If the splitting property holds for the Dickson subcategory, \(A\) is said to have the Dickson splitting property. It was conjectured that if \(A\) has the Dickson splitting property, then \(A\) is semi-Artinian but it was shown by J. H. Cozzens that this conjecture fails in general. In this paper, the authors consider this conjecture when \(A=C^*\), \(C\) a coalgebra, i.e., when \(A\) is a pseudo-compact algebra. They show that the conjecture holds for such \(A\), i.e., that \(A\) has the Dickson splitting property for left \(A\)-modules if and only if \(A\) is left semi-Artinian. A corollary of this is the known fact (proved by C. Năstăsescu and B. Torrecillas, by J. Cuadra and by M. C. Iovanov) that if \(C\) is a coalgebra such that the rational submodule of any left \(C^*\)-module \(M\) splits off in \(M\), then the coalgebra \(C\) is finite dimensional. Finally, for \(C^*\) semi-Artinian, the authors point out that with additional assumptions, more can be said. For example, if \(J\), the Jacobson radical of \(C^*\), is finitely generated on the left, then the coradical filtration of \(C\) is finite.