On comonadicity of the extension-of-scalars functors

DOI10.1016/J.JALGEBRA.2006.07.014MaRDI QIDQ855971zbMATH OpenOpenAlexFDO

Publication date 7 December 2006

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0510272

comonadicity extension of scalars functor noncommutative descent

Abstract: A criterion for comonadicity of the extension-of- scalars functor associated to an extension of (not necessarily commutative) rings is given. As an application of this criterion, some known results on the comonadicity of such functors are obtained.

Review text

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.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: On comonadicity of the extension-of-scalars functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q855971)