Duality and rational modules in Hopf algebras over commutative rings (Q5938605): Difference between revisions

Let \(A\) be an algebra over a commutative ring \(R\). In their paper [J. Pure Appl. Algebra 153, No. 2, 107-120 (2000; see the following review Zbl 0980.16029)] the first two authors and \textit{R. Wisbauer} have defined a coalgebra structure in the finite-dual \(A^\circ\) provided that \(A^\circ\subseteq R^A\) is a pure \(R\)-submodule. In this paper it is shown that, if this is the case, then the category of rational left \(A\)-modules is isomorphic to the category of right \(A^\circ\)-comodules. Suppose that \(H\) is a Hopf algebra over a commutative Noetherian ring \(R\) such that \(H^\circ\subseteq R^H\) is a pure \(R\)-submodule; it is shown that a version of the Blattner-Montgomery duality theorem [\textit{R. J. Blattner, S. Montgomery}, J. Algebra 95, 153-172 (1985; Zbl 0589.16010)] holds in this context. This result generalizes the duality theorem of \textit{C. Chen} and \textit{W. D. Nichols} [in Commun. Algebra 18, No. 10, 3209-3221 (1990; Zbl 0742.16018)]. A class of algebras over a commutative Noetherian ring \(R\) is presented which satisfy that \(A^\circ\) is pure in \(R^A\).