Monads and comonads in module categories

Details Monads and comonads in module categories Monads and comonads in module categories

2008-04-09

arxiv.org/abs/0804.1460v1

J. Algebra 322 (2009) 1719-1747

Mathematics

Rings and Algebras

35 pages, LaTeX

Scientific paper

10.1016/j.jalgebra.2009.06.003

Let $A$ be a ring and $\M_A$ the category of $A$-modules. It is well known in module theory that for any $A $-bimodule $B$, $B$ is an $A$-ring if and only if the functor $-\otimes_A B: \M_A\to \M_A$ is a monad (or triple). Similarly, an $A $-bimodule $\C$ is an $A$-coring provided the functor $-\otimes_A\C:\M_A\to \M_A$ is a comonad (or cotriple). The related categories of modules (or algebras) of $-\otimes_A B$ and comodules (or coalgebras) of $-\otimes_A\C$ are well studied in the literature. On the other hand, the right adjoint endofunctors $\Hom_A(B,-)$ and $\Hom_A(\C,-)$ are a comonad and a monad, respectively, but the corresponding (co)module categories did not find much attention so far. The category of $\Hom_A(B,-)$-comodules is isomorphic to the category of $B$-modules, while the category of $\Hom_A(\C,-)$-modules (called $\C$-contramodules by Eilenberg and Moore) need not be equivalent to the category of $\C$-comodules. The purpose of this paper is to investigate these categories and their relationships based on some observations of the categorical background. This leads to a deeper understanding and characterisations of algebraic structures such as corings, bialgebras and Hopf algebras. For example, it turns out that the categories of $\C$-comodules and $\Hom_A(\C,-)$-modules are equivalent provided $\C$ is a coseparable coring. Furthermore, a bialgebra $H$ over a commutative ring $R$ is a Hopf algebra if and only if $\Hom_R(H-)$ is a Hopf bimonad on $\M_R$ and in this case the categories of $H$-Hopf modules and mixed $\Hom_R(H,-)$-bimodules are both equivalent to $\M_R$.

Affiliated with

Also associated with

No associations

Rating

Monads and comonads in module categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Monads and comonads in module categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Monads and comonads in module categories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-574695