On comonadicity of the extension-of-scalars functors (Q855971)

The aim of the paper is to discuss the Janelidze-Tholen comonadic approach to descent theory for modules [\textit{G. Janelidze} and \textit{W. Tholen}, Appl. Categ. Struct. 12, 461--477 (2004; Zbl 1078.18007)] at the level of enriched categories. The main application is that for a separable algebra \(A\) over a commutative ring, and a morphism of rings \(i:A\rightarrow B\), the following are equivalent: (i) \(i\) is a pure morphism of left \(A\)-modules; (ii) \(i\) is a pure morphism of right \(A\)-modules; (iii) the induced morphism \(i^+:B^+\rightarrow A^+\) between the character bimodules of \(B\) and \(A\) is a split epimorphism of \((A,A)\)-bimodules; (iv) the functor \(-\otimes _AB:{\mathcal M}od_A\rightarrow {\mathcal M}od_B\) is comonadic; (v) the functor \(B\otimes _A-:_A{\mathcal M}od\rightarrow _B{\mathcal M}od\) is comonadic. As applications, several known results on the comonadicity of extension of scalars functors are obtained.