Corings with decomposition and semiperfect corings.

DOI10.1007/S10468-009-9153-6MaRDI QIDQ838982zbMATH OpenOpenAlexFDO

Authors Laiachi El Kaoutit, José Gómez-Torrecillas

Publication date 1 September 2009

Published in Algebras and Representation Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0902.2273

corings Doi-Koppinen Hopf modules graded modules right semiperfect coalgebras

Free, projective, and flat modules and ideals in associative algebras (16D40) Noncommutative local and semilocal rings, perfect rings (16L30) Coalgebras and comodules; corings (16T15) Graded rings and modules (associative rings and algebras) (16W50)

Abstract: We give a characterization, in terms of Galois infinite comatrix corings, of the corings that decompose as a direct sum of left comodules which are finitely generated as left modules. Then we show that the associated rational functor is exact. This is the case of a right semiperfect coring which is locally projective and whose Galois comodule is a projective left unital module with superfluous radical.

Review text

Let \(K\) be a commutative ring, \(A\) a \(K\)-algebra and \(\mathcal C\) a coring. The authors obtain several characterizations of the fact that the coring decomposes as a direct sum of finitely generated projective, as \(A\)-module, left subcomodules. In particular, this property is equivalent to the fact that the coring is projective as left \(A\)-module and there exists a set, \(\mathbf P\), of small projectives in the category of right \(\mathcal C\)-comodules verifying that its direct sum admits a decomposition of finitely generated \(R\)-submodules, where \(R=\bigoplus_{P,Q\in\mathbf P}\Hom_{\mathcal C}(P,Q)\). This result is a generalization of a classical characterization of right semiperfect coalgebras. Moreover, it is shown that for the preceding type of corings the rational functor is exact. In the last section, right semiperfect corings (i.e. every finitely generated right \(\mathcal C\)-comodule has a projective cover) and the case when the set \(\mathbf P\) has a unique element are studied.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Corings with decomposition and semiperfect corings.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q838982)