Coalgebras with a radical rational functor.
type: Item
instance of: scholarly article
title: Coalgebras with a radical rational functor.
zbMATH Open document ID: 1085.16032
published in: Journal of Algebra
publication date: 2005-08-22T00:00:00Z
review text: Let \(C\) be a coalgebra locally projective over a commutative (usually also Noetherian) ring \(K\) with dual \(C^*\) an algebra. The rational functor Rat from \(C^*\)-Mod, the category of left \(C^*\)-modules, to Comod-\(C\), the category of right \(C\)-comodules, is defined by taking \(M\) to \(\text{Rat}(M)\) where \(\text{Rat}(M)\) is the set of rational elements in \(M\). This paper studies the question of when the rational functor, which is a hereditary preradical, is a radical functor, or equivalently when a filter of left ideals, \(\mathcal L\), is a Gabriel filter, for a class of coalgebras defined using a strong semilattice of semigroups. The coalgebras studied in this paper are of the form \(C=K[S]\) where \(S\) is a semigroup constructed as follows. Let \(Y\) be an infinite, residually finite semilattice and let \(S'=\sum\{S_\alpha\mid\alpha\in Y\}\) be a strong semilattice sum of finite semigroups (the definition of strong semilattice of semigroups is given in the introduction) with \(S_\alpha=S_\alpha^2\) and such that each map \(\varphi\colon S_\alpha\to S_\beta\) is onto. Then \(S\) is the semigroup obtained by adjoining an identity element. A left ideal \(I\) of \(C^*\) containing the generalized power series ring \(K[\![\bigcup_{\alpha\in X}S_\alpha]\!]\) where \(Y-X\) is finite lies in the filter \(\mathcal L\). The authors show that all ideals in \(\mathcal L\) have this form and show that if \(Y\cup\{e\}\) is a mu-semilattice, then \(\mathcal L\) is a Gabriel filter. They give an example to show \(\mathcal L\) a Gabriel filter does not imply that \(\mathcal L\) has a cofinal subset of finitely generated left ideals, thus answering in the negative a conjecture of Cuadra, Năstăsescu and Van Oystaeyen. Finally the authors consider some new examples of left semiperfect coalgebras, i.e., coalgebras such that every simple right comodule has a projective cover in Comod-\(C\), by showing that if \(K\) is QF and each \(S_\alpha\) is a monoid, then \(C\) …
Mathematics Subject Classification ID: 16W30
Mathematics Subject Classification ID: 16S90
Mathematics Subject Classification ID: 16D90
Mathematics Subject Classification ID: 16S36
zbMATH DE Number: 2196718
zbMATH Keywords: coalgebras
zbMATH Keywords: radical functors
zbMATH Keywords: rational functors
zbMATH Keywords: categories of comodules
zbMATH Keywords: strong semilattices of semigroups
zbMATH Keywords: Gabriel filters
author: Mark L. Teply
author: Blas Torrecillas
reviewed by: Margaret Beattie
MaRDI profile type: MaRDI publication profile
full work available at URL: j.jalgebra.2005.05.016
OpenAlex ID: W2060516181
cites work: Q4431279
cites work: Q3848243
cites work: Graded almost Noetherian rings and applications to coalgebras
cites work: Q4520725
cites work: Q4550556
cites work: Semiperfect coalgebras
cites work: Q4083905
cites work: Q4495715
DOI: 10.1016/J.JALGEBRA.2005.05.016
Recommended article: Extensions of rational modules.
Recommended article: Quasi-co-Frobenius coalgebras
Recommended article: Locally finite coalgebras and the locally nilpotent radical. I
Recommended article: Graded almost Noetherian rings and applications to coalgebras
Recommended article: On extensions of rational modules.
description: scientific article; zbMATH DE number 2196718