When is a coalgebra a generator? (Q2478179): Difference between revisions

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.