Quasi-co-Frobenius coalgebras (Q1895591)

A coalgebra \(C\) over a field \(k\) is left quasi-co-Frobenius if \(C\) is a projective right comodule. Many of the well-known equivalent conditions for quasi-Frobenius rings are transferred from the ring case to the coalgebra case. In particular a left quasi-co-Frobenius coalgebra \(C\) is left semiperfect. \(C\) is left and right quasi-co-Frobenius iff \(C\) is a (left or right) projective generator in the category of comodules. The functor ``maximal rational submodule'' Rat from (right) \(C^*\)-modules to \(C^*\)-modules is exact iff \(C\) is (left) semiperfect. In the two- sided situation this established a (Colby-Fuller-)duality between left and right \(C^*\)-modules. Various other properties of the functor Rat are studied.