On coreflexive coalgebras and comodules over commutative rings. (Q1886241)

A coalgebra \(C\) over a field is called coreflexive if the canonical embedding of \(C\) into \(C^{*0}\) is surjective, where \(C^{*0}\) is the continuous dual of the algebra \(C^*\), i.e., \(C^{*0}=\{f\text{ in }C^{**}\mid f(J)=0\) for some cofinite ideal \(J\) of \(C^*\}\). This idea was studied in the 1970's by the reviewer [Am. J. Math. 94, 1111-1130 (1972; Zbl 0261.16013)] and by \textit{D. E. Radford} [J. Algebra 26, 512-535 (1973; Zbl 0272.16012)]. The author of the paper under review generalizes this in several directions. The ground field is replaced by a commutative ring \(R\), and continuous duals are defined for \(C^*\)-modules. The filter of cofinite ideals of an algebra is generalized to other filters based on other topologies. Rational modules are generalized in a natural way. Certain assumptions are sometimes needed, e.g., duality works well when \(R\) is Noetherian. We give one particular result. In the paper of the reviewer cited above, it is shown that \(C\) is coreflexive if and only if every locally finite left \(C^*\)-module is rational. This result is generalized in the paper under review to the situation where \(R\) is Noetherian, \(C\) is locally projective and \(C^*\) is cofinitely cogenerated.