When is a coalgebra a generator? (Q2478179)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | When is a coalgebra a generator? |
scientific article |
Statements
When is a coalgebra a generator? (English)
0 references
14 March 2008
0 references
The authors are interested in the following question, for a coalgebra \(C\) over a field \(k\): is the following implication true? (P) \(C\) is a generator of \(^C\mathcal M\) implies that \(C\) is left quasi-co-Frobenius. It is known that this is true if \(C\) is a projective generator, or if \(C\) is at the same time a generator for \(^C\mathcal M\) and \(\mathcal M^C\). The authors show that (P) is true if \(C\) is left semi-perfect, or, equivalently, \(C\) is strictly quasi-finite. Also the converse is true: if \(C\) is left quasi-co-Frobenius, then \(C\) generates \(^C\mathcal M\) and \(C\) is left semi-perfect. They also show -- using different methods -- that (P) is true if \(C\) has finite coradical series.
0 references
coalgebras
0 references
comodules
0 references
generators
0 references
left quasi-co-Frobenius coalgebras
0 references
coradical series
0 references